Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Moshe Y. Vardi |
Reasoning about The Past with Two-Way Automata. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Massimo Merro, Davide Sangiorgi |
On Asynchrony in Name-Passing Calculi. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Neil Ghani, Valeria de Paiva, Eike Ritter |
Explicit Substitutions for Constructive Necessity. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Martín Abadi, Andrew D. Gordon 0001 |
A Bisimulation Method for Cryptographic Protocols. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Luigi Liquori |
On Object Extension. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Uwe Waldmann |
Superposition for Divisible Torsion-Free Abelian Groups. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Serenella Cerrito, Marta Cialdea Mayer |
Bounded Model Search in Linear Temporal Logic and Its Application to Planning. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Xinxin Liu, C. R. Ramakrishnan 0001, Scott A. Smolka |
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce |
Location-Independent Communication for Mobile Agents: A Two-Level Architecture. |
ICCL Workshop: Internet Programming Languages |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Jan Vitek, Giuseppe Castagna |
Seal: A Framework for Secure Mobile Computations. |
ICCL Workshop: Internet Programming Languages |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Moshe Y. Vardi |
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Xiaogang Zhang, John Potter |
A Compositional Approach to Concurrent Objects. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | César Muñoz |
A Left-Linear Variant of Lambda-Sigma. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Di Cosmo, Delia Kesner |
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Pietro Di Gianantonio |
An Abstract Data Type for Real Numbers. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
real number computability, denotational and operational semantics, abstract data types, domain theory |
13 | Yuxi Fu |
A Proof Theoretical Approach to Communication. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Karl Crary |
Foundations for the Implementation of Higher-Order Subtyping. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Robert E. Bruccoleri |
WRAPGEN - A Tool for the Use of Fortran and C Together in Portable Programs. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
FORTRAN C |
13 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer |
Adding Design Strategies to Fork Algebras. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Dieter Nazareth |
Specifying Type Systems. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
polymorphic type system, type inference, qualified types, axiomatic specification |
13 | Maria C. F. Ferreira, Delia Kesner, Laurence Puel |
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Regimantas Pliuskevicius |
On Saturation with Flexible Function Symbols. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Michele Boreale, Luca Trevisan |
Bisimilarity Problems Requiring Exponential Time. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Giuseppe De Giacomo, Fabio Massacci |
Tableaux and Algorithms for Propositional Dynamic Logic with Converse. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Eike Ritter, David J. Pym, Lincoln A. Wallen |
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Michele Boreale |
On the Expressiveness of Internal Mobility in Name-Passing Calculi. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Rajeev Goré |
Cut-free Display Calculi for Relation Algebras. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Richard Statman |
On Cartesian Monoids. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing |
A New Strategy for Semantic Matching |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Xinxin Liu 0008, David Walker 0008 |
Confluence of Processes and Systems of Objects. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Serge Abiteboul, Gerd G. Hillebrand |
Space Usage in Functional Query Languages. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Michele Boreale, Luca Trevisan |
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
13 | James Clifford, Albert Croker, Alexander Tuzhilin |
On Completeness of Historical Relational Query Languages. |
ACM Trans. Database Syst. |
1994 |
DBLP DOI BibTeX RDF |
temporal grouping, temporal logic, query languages, completeness, temporal databases, relational model, historical databases |
13 | Dale Miller 0001 |
Specifications Using Multiple-Conclusion Logic Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Tom Mens, Kim Mens, Patrick Steyaert |
OPUS: a Formal Approach to Object-Orientation. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Vasco Thudichum Vasconcelos |
Typed Concurrent Objects. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
|
13 | David Aspinall 0001 |
Subtyping with Singleton Types. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
13 | David Scholefield, Hussein S. M. Zedan, Jifeng He 0001 |
Real-Time Refinement: Semantics and Application. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Furio Honsell, Marina Lenisa |
Some Results on the Full Abstraction Problem for Restricted Lambda Calculi. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Joachim Parrow, Davide Sangiorgi |
Algebraic Theories for Name-Passing Calculi. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Alan Jeffrey |
A Chemical Abstract Machine for Graph Reduction. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
13 | David Scholefield, Hussein S. M. Zedan, Jifeng He 0001 |
A Predicative Semantics for the Refinement of Real-Time Systems. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Anindya Banerjee 0001, David A. Schmidt |
A Categorical Interpretation of Landin's Correspondence Principle. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Daniel J. Dougherty |
Some Lambda Calculi with Categorial Sums and Products. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Fehime Nihan Kesim, Marek J. Sergot |
Versioning of Objects in Deductive Databases. |
DOOD |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Lars-Henrik Eriksson |
Finitary Partial Inductive Definitions as a General Logic. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
13 | Amr Sabry, Matthias Felleisen |
Reasoning About Programs in Continuation-Passing Style. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Henrik Reif Andersen |
Model Checking and Boolean Graphs. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Kim Guldstrand Larsen, Arne Skou |
Compositional Verification of Probabilistic Processes. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Mauro Negri, Giuseppe Pelagatti, Licia Sbattella |
Formal Semantics of SQL Queries. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
query semantics, SQL, SQL, query equivalence |
13 | Roberto Gorrieri, Ugo Montanari |
Distributed Implementation of CCS. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics |
13 | Weidong Chen 0005, David Scott Warren |
Compilation of Predicate Abstractions in Higher-Order Logic Programming. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Ulf R. Schmerl |
A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Weidong Chen |
Declarative Specification and Evaluation of Database Updates. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
13 | John Field |
On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Éric Badouel |
Algebraic Closed Theories. |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Richard Hull 0001, Jianwen Su |
Untyped Sets, Invention, and Computable Queries. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Felleisen |
The Theory and Practice of First-Class Prompts. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Egidio Astesiano, Gianna Reggio |
SMoLCS-Driven Concurrent Calculi. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Flemming Nielson |
Strictness Analysis and Denotational Abstract Interpretation. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Tsung-Min Kuo, Prateek Mishra |
On Strictness and its Analysis. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
ML |
13 | Mitchell Wand |
Embedding Type Structure in Semantics. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
13 | Pierre-Louis Curien |
Categorial Combinatory Logic. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
13 | Alan J. Demers, James E. Donahue |
Data Types, Parameters, and Type Checking. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
13 | D. M. Symes |
New Control Structures to Aid Gotolessness. |
POPL |
1975 |
DBLP DOI BibTeX RDF |
|
13 | |
Tuple Relational Calculus. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Predicate Calculus. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Calculus Expression. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | |
Domain Relational Calculus. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
Tableau calculus for preference-based conditional logics: PCL and its extensions. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Tableaux calculi, conditional logics |
13 | Roland Meyer 0001 |
A theory of structural stationarity in the pi -Calculus. |
Acta Informatica |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Luca Bortolussi, Alberto Policriti |
Hybrid Dynamics of Stochastic pi-Calculus. |
Math. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000). 92C99, 68U20, 93A99 |
13 | Stefan Kolodzinski, Edward Hrynkiewicz |
An utilisation of Boolean differential calculus in variables partition calculation for decomposition of logic functions. |
DDECS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Feng Gu 0006, Julie Greensmith, Uwe Aickelin |
Exploration of the Dendritic Cell Algorithm Using the Duration Calculus. |
ICARIS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus. |
AICI |
2009 |
DBLP DOI BibTeX RDF |
Formal representation and analysis, Time-concerned program systems, Belief and decision, Near miss accident |
13 | Yohei Kurata, Hui Shi 0001 |
Toward Heterogeneous Cardinal Direction Calculus. |
KI |
2009 |
DBLP DOI BibTeX RDF |
cardinal direction relations, heterogeneous spatial calculi, composition, converse |
13 | Luís Dominguez |
Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Chuck C. Liang, Dale Miller 0001 |
A Unified Sequent Calculus for Focused Proofs. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
A calculus of atomic actions. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
13 | Naoki Kobayashi 0001, C.-H. Luke Ong |
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Oana Andrei, Hélène Kirchner |
A Higher-Order Graph Calculus for Autonomic Computing. |
Graph Theory, Computational Intelligence and Thought |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Kung-Kiu Lau, Mario Ornaghi |
Control Encapsulation: A Calculus for Exogenous Composition of Software Components. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Bogdan Groza, Marius Minea |
A Calculus to Detect Guessing Attacks. |
ISC |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
A Schemata Calculus for Propositional Logic. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Benjamin Weiß 0001 |
Predicate Abstraction in a Program Logic Calculus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Roland Meyer 0001, Roberto Gorrieri |
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Xiangxi Li, Yu Zhang, Yuxin Deng |
Verifying Anonymous Credential Systems in Applied Pi Calculus. |
CANS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Eijiro Sumii |
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Erika Ábrahám, Andreas Grüner, Martin Steffen |
Heap-abstraction for an object-oriented calculus with thread classes. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics |
13 | Dean A. Carlson, George Leitmann |
Fields of extremals and sufficient conditions for the simplest problem of the calculus of variations. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Field of extremals, Sufficient conditions, Direct method |
13 | Gabriel Ciobanu |
Behaviour Equivalences in Timed Distributed pi-Calculus. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Enrique H. Ruspini |
Epistemic Logics, Probability, and the Calculus of Evidence. |
Classic Works of the Dempster-Shafer Theory of Belief Functions |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jifeng He 0001 |
Transaction Calculus. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Kaustuv Chaudhuri |
Focusing Strategies in the Sequent Calculus of Synthetic Connectives. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Jifeng He 0001 |
Transaction Calculus. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ralph Matthes |
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Susumu Nishimura |
Safe Modification of Pointer Programs in Refinement Calculus. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Søren Riis |
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Algebraic proof complexity, predicate logic, Propositional proof complexity |
13 | Zining Cao |
A Logic for Distributed Higher Order pi-Calculus. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|