Home     Top: Theory: Formal Languages    [Computational Complexity   Formal Languages   Logic   Quantum Computing   Theorem Proving]

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the number of citations

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

301   The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross, Schlipf (1991)   (Correct)
279   A Framework for Defining Logics - Harper, Honsell, Plotkin (1987)   (Correct)
268   Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, Wu (1990)   (Correct)
267   Dynamic Logic - Harel, Kozen, Tiuryn (1984)   (Correct)
206   A Theory of Timed Automata - Alur, Dill (1994)   (Correct)
163   Formal Methods: State of the Art and Future Directions - Clarke, Wing (1996)   (Correct)
138   Domain Theory - Abramsky, Jung (1994)   (Correct)
130   Radiosity and realistic image synthesis - Cohen, Wallace (1993)   (Correct)
121   Telos: Representing Knowledge About Information Systems - Mylopoulos, Borgida, Jarke.. (1990)   (Correct)
94   A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson, Plotkin (1991)   (Correct)
82   What Every Computer Scientist Should Know About Floating Point.. - Goldberg (1991)   (Correct)
81   A Modal Analysis of Staged Computation - Davies, Pfenning (1996)   (Correct)
80   Exploiting Style in Architectural Design Environments - Garlan, Allen, Ockerbloom (1994)   (Correct)
78   The Syntax Definition Formalism SDF - Reference Manual - - Heering, Hendriks, Klint, Rekers (1992)   (Correct)
76   The Syntax Definition Formalism SDF - Reference Manual - Heering, Hendriks, Klint, Rekers (2001)   (Correct)
69   Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1996)   (Correct)
67   A Needed Narrowing Strategy - Antoy, Echahed, Hanus (1994)   (Correct)
65   Modelling Concurrency with Partial Orders - Pratt (1986)   (Correct)
64   Multiprocessor and Distributed System Design: The Integration of.. - Gotz, Herzog, Rettelbach (1993)   (Correct)
61   On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot (1994)   (Correct)
59   A Formal Basis for Architectural Connection - Allen, Garlan (1997)   (Correct)
56   Temporal Query Languages: a Survey - Chomicki (1995)   (Correct)
50   Parsing English with a Link Grammar - Sleator, Temperley (1991)   (Correct)
50   Relational Expressive Power of Constraint Query Languages - Benedikt, Dong, Libkin, Wong (1995)   (Correct)
45   Object-Preserving Class Transformations - Bergstein (1991)   (Correct)
44   On the synthesis of strategies in infinite games - Thomas (1995)   (Correct)
41   Spatial Reasoning with Propositional Logics - Bennett (1994)   (Correct)
40   How to Declare an Imperative - Wadler (1995)   (Correct)
40   Petri Net Algorithms in the Theory of Matrix Grammars - Hauschildt, Jantzen (1994)   (Correct)
40   The Complexity of Logic-Based Abduction - Eiter, Gottlob (1993)   (Correct)
39   Anytime Deduction for Probabilistic Logic - Frisch (1994)   (Correct)
38   A Polymorphic Record Calculus and Its Compilation - Ohori (1995)   (Correct)
38   Methods and Rules - Serge Abiteboul Georg (1993)   (Correct)
36   Asymptotic Enumeration Methods - Odlyzko (1996)   (Correct)
34   A Schema Theorem for Context-Free Grammars - Whigham (1995)   (Correct)
34   Mellin Transforms And Asymptotics: Harmonic Sums - Flajolet, Gourdon, Dumas (1995)   (Correct)
30   Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999)   (Correct)
30   Tree-Adjoining Grammars - Joshi, Schabes (1997)   (Correct)
29   Extraction of Rules from Discrete-Time Recurrent Neural Networks - Omlin, Giles (1996)   (Correct)
28   Process And Policy: Resource-Bounded Non-Demonstrative Reasoning - Loui (1993)   (Correct)
27   Constructing Deterministic Finite-State Automata in Recurrent Neural.. - Omlin, Giles (1996)   (Correct)
27   Report from the NSF Workshop on Workflow and Process Automation in.. - Sheth, Georgakopoulos, Joosten.. (1996)   (Correct)
25   Action Logic and Pure Induction - Pratt (1991)   (Correct)
25   Handling Conflict Between Domain Descriptions With Computer-Supported .. - Easterbrook (1991)   (Correct)
25   A Multiple-Method Knowledge-Acquisition Shell for the Automatic.. - Angel Puerta John (1992)   (Correct)
25   Two-dimensional languages - Giammarresi, Restivo (1997)   (Correct)
25   An Algorithm for Approximate Tandem Repeats - Landau, Schmidt, Sokol (1993)   (Correct)
24   Speech Recognition by Composition of Weighted Finite Automata - Pereira, Riley (1996)   (Correct)
24   Metalogical Frameworks - Basin, Constable (1992)   (Correct)
24   The Expression Of Graph Properties And Graph Transformations In.. - Courcelle (1997)   (Correct)
24   The Pan Language-Based Editing System - Ballance, Graham, Vanter (1991)   (Correct)
23   Continuation-Based Partial Evaluation - Lawall, Danvy (1993)   (Correct)
23   Theories Underlying Requirements Engineering: An Overview of NATURE.. - Jarke, Bubenko, Rolland, Sutcliffe.. (1993)   (Correct)
23   Higher-Order Logic as the Basis for Logic Programming - Nadathur (1989)   (Correct)
23   TIGUKAT: A Uniform Behavioral Objectbase Management System - Peters (1994)   (Correct)
22   Probabilistic predicate transformers - Morgan, McIver, Seidel (1995)   (Correct)
22   Verifying Temporal Properties without Temporal Logic - Alpern, Schneider (1989)   (Correct)
21   The Computational Analysis Of The Syntax And Interpretation Of "Free" .. - Hoffman (1995)   (Correct)
21   Generalized Alignment - McCarthy, Prince   (Correct)
21   Revisiting the Edge of Chaos: Evolving Cellular Automata to Perform.. - Mitchell (1993)   (Correct)
21   DNA computing: arrival of biological mathematics - Kari (1997)   (Correct)
20   Combinatorics of words - Choffrut, Karhumäki (1997)   (Correct)
20   Closure Analysis in Constraint Form - Palsberg (1995)   (Correct)
20   Reasoning about Knowledge and Probability - Fagin, Halpern (1994)   (Correct)
19   Membership for Limited ET0L Languages Is Not Decidable - Fernau (1994)   (Correct)
19   Automatic Average-Case Analysis Of Algorithms - Flajolet, al. (1991)   (Correct)
19   Partial Commutation and Traces - Diekert, Métivier (1997)   (Correct)
19   Regularity of Splicing Languages - Pixton (1995)   (Correct)
19   Managing Inconsistent Specifications: Reasoning, Analysis, and Action - Hunter, Nuseibeh (1998)   (Correct)
18   CPS Transformation after Strictness Analysis - Danvy, Hatcliff (1993)   (Correct)
18   Forcing Behavioral Subtyping Through Specification Inheritance - Dhara, Leavens (1997)   (Correct)
18   Managing Inconsistent Specifications: Reasoning, Analysis and Action - Hunter (1995)   (Correct)
18   DNA Computing Based on Splicing: The Existence of Universal Computers - Freund, Kari, al. (1995)   (Correct)
18   A Comparison of Languages which Operationalize and Formalise KADS.. - Fensel, van Harmelen (1994)   (Correct)
18   From Algol to Polymorphic Linear Lambda-calculus - O'Hearn, Reynolds (1997)   (Correct)
17   A Reflection on Call-by-Value - Sabry, Wadler (1996)   (Correct)
17   Aligning A Parallel English-Chinese Corpus Statistically With Lexical .. - Wu (1994)   (Correct)
17   Ontologies: Principles, Methods and Applications - Uschold, Grüninger (1996)   (Correct)
17   Jedi: Extracting and Synthesizing Information from the Web - Huck, Fankhauser, Aberer, Neuhold (1998)   (Correct)
16   Plausibility Measures and Default Reasoning - Friedman (1996)   (Correct)
16   win and sin: Predicate Transformers for Concurrency - Lamport (1990)   (Correct)
16   Polymorphism and Type Inference in Database Programming - Buneman, Ohori   (Correct)
16   The Three Dimensions of Requirements Engineering - Pohl (1993)   (Correct)
15   Event-Clock Automata: A Determinizable Class of Timed Automata - Alur, Fix, Henzinger (1999)   (Correct)
15   Analysis of Dynamical Recognizers - Blair, Pollack (1996)   (Correct)
15   Classification Of Research Efforts In Requirements Engineering - Zave (1997)   (Correct)
15   Axel Thue's work on repetitions in words - Berstel (1992)   (Correct)
14   Asymptotic Properties Of Data Compression And Suffix Trees - Szpankowski (1993)   (Correct)
14   A Compendium of Problems Complete for P - Greenlaw, Hoover, Ruzzo (1991)   (Correct)
14   Polynomial Algorithms for the Synthesis of Bounded Nets - Badouel, Bernardinello, Darondeau (1994)   (Correct)
14   Visual Models of Plants Interacting with Their Environment - Mech, Prusinkiewicz (1996)   (Correct)
14   Super Logic Programs - Brass, Przymusinski (2000)   (Correct)
14   Towards a Methodology for Building Ontologies - Uschold, King (1995)   (Correct)
14   Coordination mechanisms: Towards a conceptual foundation of CSCW.. - Schmidt, Simone (1996)   (Correct)
14   Sur La Complexité Des Suites Infinies - Allouche (1994)   (Correct)
13   On the Interleaving Semantics of Transformation Units - A Step into.. - Kreowski, Kuske (1994)   (Correct)
13   Artificial Intelligence: A Computational Perspective - Nebel (1994)   (Correct)
13   Specification-based Testing of Reactive Software: A Case Study in.. - Jagadeesan, Porter, Puchol, Ramming, .. (1997)   (Correct)
13   Precise Flow-Insensitive May-Alias Analysis is NP-Hard - Horwitz (1997)   (Correct)
13   A polynomial-time algorithm for deciding bisimulation equivalence of.. - Hirshfeld, Jerrum, Moller (1996)   (Correct)
13   Undecidability of Static Analysis - Landi (1992)   (Correct)
13   Modular Logic Programming - Brogi, Mancarella, Pedreschi, Turini (1994)   (Correct)
13   An action-based framework for verifying logical and behavioural.. - De Nicola, Fantechi, Gnesi, Ristori (1993)   (Correct)
12   Modular Domain Specific Languages and Tools - Hudak (1998)   (Correct)
12   DECLARE: A Prototype Declarative Proof System for Higher Order Logic - Syme (1997)   (Correct)
12   Two Components of An Action Language - Lifschitz (1996)   (Correct)
12   Gates Accept Concurrent Behavior - Gupta (1993)   (Correct)
12   Context-Free Languages and Push-Down Automata - Autebert, Berstel, Boasson (1997)   (Correct)
11   Data-Oriented Language Processing - An Overview - Bod, Scha (1996)   (Correct)
11   On Probabilistic Model Checking - Huth, Kwiatkowska (1996)   (Correct)
11   Parametricity and Local Variables - O'Hearn, Tennent (1995)   (Correct)
11   Lattice Frameworks for Multisource and Bidirectional Data Flow.. - Masticola (1995)   (Correct)
11   Length Considerations in Context-free Languages - Raz (1997)   (Correct)
11   Features of Architecture Description Languages - Paul Kogut (1994)   (Correct)
11   Self-Alignment in Words and their Applications - Apostolico, Szpankowski (1992)   (Correct)
11   Splicing Semigroups of Dominoes and DNA - Culik, II, Harju (1991)   (Correct)
11   Formal Specification Languages in Knowledge and Software Engineering - Fensel (1995)   (Correct)
11   The Concurrent Language Shared Prolog - Brogi, Ciancarini (1991)   (Correct)
11   The Marriage of Effects and Monads - Wadler, Thiemann (1998)   (Correct)
11   Building Ontologies: Towards a Unified Methodology - Uschold (1996)   (Correct)
10   From objects to classes: Algorithms for optimal object-oriented design - Lieberherr, Bergstein, Silva-Lepe (1992)   (Correct)
10   Syntactic Codes and Grammar Refinement - Kracht (1995)   (Correct)
10   Evolving Stochastic Context-Free Grammars from Examples Using a.. - Keller, Rüdi Lutz   (Correct)
10   Controlling Generalisation and Polyvariance in Partial Deduction of.. - Leuschel, Martens, De Schreye (1997)   (Correct)
10   Compositional Semantics for a Language of Imperfect Information - Hodges (1997)   (Correct)
9   Affix Grammars for Natural Languages - Koster (1991)   (Correct)
9   Emergence of Net-grammar in Communicating Agents - Takashi Hashimoto (1996)   (Correct)
9   Case-Based Representation and Learning of Pattern Languages - Jantke, Lange (1993)   (Correct)
9   Synthesis of Mixed Software-Hardware Implementations from CFSM.. - Chiodo, Giusto, Hsieh, Jurecska.. (1993)   (Correct)
9   Computational Foundations of Basic Recursive Function Theory - Constable, Smith (1988)   (Correct)
9   Modelling Autosegmental Phonology with Multi-Tape Finite State.. - Wiebe (1992)   (Correct)
9   A Recurrent Network that performs a Context-Sensitive Prediction Task - Mark Steijvers, Peter Grünwald (1996)   (Correct)
9   Narrowing-driven Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996)   (Correct)
9   Rewrite Systems for Integer Arithmetic - Walters, Zantema (1995)   (Correct)
9   Animation of Plant Development - Prusinkiewicz, Hammel, Mjolsness (1993)   (Correct)
9   Composition and Integrity Preservation of Secure Reactive Systems - Pfitzmann, Waidner (2000)   (Correct)
9   Regular Languages are Testable with a Constant Number of Queries - Alon, Krivelevich, Newman, Szegedy (1999)   (Correct)
9   Embedding Time Granularity in a Logical Specification Language for.. - Ciapessoni, Corsetti, Montanari.. (1993)   (Correct)
9   A Metalanguage for Programming with Bound Names Modulo Renaming - Pitts, Gabbay (2000)   (Correct)
8   Using Natural Language Interfaces - Ogden, Bernick (1988)   (Correct)
8   A Guided Tour Across the Boundaries of Learning Recursive Languages - Zeugmann, Lange (1994)   (Correct)
8   Transforming the Theorem Prover into a Digital Design Tool: From.. - Hardin, Wilding, Greve (1998)   (Correct)
8   MobiS: A Specification Language for Mobile Systems - Mascolo (1999)   (Correct)
8   On Binary Methods - Bruce, Cardelli, Castagna, Group.. (1995)   (Correct)
8   Decision Problems For Patterns - Jiang (1995)   (Correct)
8   Control of Polynomial Dynamic Systems: An Example - Dutertre, al. (1994)   (Correct)
8   Interconvertibility of Set Constraints and Context-Free Language.. - Melski, Reps (1998)   (Correct)
8   Automatic Recognition of Tractability in Inference Relations - McAllester (1993)   (Correct)
8   Autocorrelation On Words And Its Applications - Analysis of Suffix.. - Jacquet, Szpankowski (1994)   (Correct)
8   The Role of Natural Language in Requirements Engineering - Ryan (1993)   (Correct)
8   Bringing Objects into COBOL: MOORE - A tool for migration from.. - Fergen, Reichelt, Schmidt (1994)   (Correct)
8   Possibly Infinite Sequences in Theorem Provers: A Comparative Study - Devillers, Griffioen, Müller (1997)   (Correct)
8   Branching Time and Partial Order in Temporal Logics - Penczek (1995)   (Correct)
8   Computational Dialectics - Gordon (1994)   (Correct)
8   Petri Nets with Marking-Dependent Arc Cardinality: Properties and.. - Ciardo (1994)   (Correct)
8   A Fully Formalized Theory for Describing Visual Notations (Extended.. - Haarslev (1996)   (Correct)
8   A Case Study: Assumptions and Limitations of a Problem-Solving Method - Fensel (1995)   (Correct)
7   Incremental Class Dictionary Learning and Optimization - Bergstein, Lieberherr (1991)   (Correct)
7   Optimizing an Arbitrary Function is Hard for the Genetic Algorithm - Hart, Belew (1991)   (Correct)
7   Parsing of Context-Free Languages - Sikkel, Nijholt (1997)   (Correct)
7   A Graphical Environment for Design of Concurrent Real-Time Systems - Moser, Ramakrishna, KUTTY..   (Correct)
7   Disjunctive Datalog - Eiter, Gottlob, Mannila (1997)   (Correct)
7   An Overview of the ISO/VDM-SL Standard - Plat, Larsen (1992)   (Correct)
7   Joining and Rotating Data with Molecules - Arita, Hagiya, Suyama (1997)   (Correct)
7   Reserved Graph Grammar: A Specification Tool for Diagrammatic VPLs - Zhang, Zhang (1997)   (Correct)
7   Assisting requirement formalization by means of natural language.. - Fantechi, Gnesi, Ristori, Carenini.. (1994)   (Correct)
7   A Connectionist Symbol Manipulator That Discovers the Structure of.. - Mozer, Das (1993)   (Correct)
7   Tree Automata Help One To Solve Equational Formulae In AC-Theories - Lugiez, Moysset (1994)   (Correct)
7   Paradigm merger in natural language processing - Gazdar (1996)   (Correct)
7   A Mechanism for Establishing Policies for Electronic Commerce - Minsky, Ungureanu (1998)   (Correct)
7   An Ontology-based Broker: Making Problem-Solving Method Reuse Work - Fensel (1997)   (Correct)
7   Analytic Analysis of Algorithms - Flajolet (1992)   (Correct)
7   A timed LOTOS supporting a dense time domain and including new timed.. - Leduc, Léonard (1993)   (Correct)
7   Abstraction of Object-Oriented Data Models - Karl Lieberherr Paul (1990)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute