Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Roberto Bruni, Cosimo Laneve, Ugo Montanari |
Orchestrating Transactions in Join Calculus. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Julien Forest |
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Christos Efstratiou, Adrian Friday, Nigel Davies 0001, Keith Cheverst |
Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems. |
POLICY |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Maribel Fernández, Paula Severi |
An Operational Approach to Program Extraction in the Calculus of Constructions. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Michael Beeson, Freek Wiedijk |
The Meaning of Infinity in Calculus and Computer Algebra Systems. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Jeremy E. Dawson, Rajeev Goré |
Machine-Checking the Timed Interval Calculus. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
Reasoning about time, theorem proving, automated reasoning |
13 | Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens |
Enriching OCL Using Observational Mu-Calculus. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Yibei Ling, Jie Mi, Xiaola Lin |
A Variational Calculus Approach to Optimal Checkpoint Placement. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Aperiodic checkpointing, periodic checkpointing, system failure rate |
13 | Mohammad Ardeshir, Wim Ruitenburg |
Basic Propositional Calculus II. Interpolation. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Basic logic, Interpolation, Kripke model |
13 | Jean-Louis Krivine |
Typed lambda-calculus in classical Zermelo-Frænkel set theory. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03E40, 03B40, 68N18 |
13 | Ernst-Erich Doberkat, Eugenio G. Omodeo |
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Birgit Elbl |
Modeling Meta-logical Features in a Calculus with Frozen Variables. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
logic programming, control, substructural logic |
13 | Philipp Rohde |
Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
13 | David Hemer, Ian J. Hayes, Paul A. Strooper |
Refinement Calculus for Logic Programming in Isabelle/HOL. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Gian-Luigi Ferrari 0002, Emilio Tuosto |
A debugging calculus for mobile ambients. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Thierry Joly |
The Finitely Generated Types of the lambda-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
13 | C. Barry Jay |
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Gero Iwan |
History-Based Diagnosis Templates in the Framework of the Situation Calculus. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Jerome Vouillon |
Combining subsumption and binary methods: an object calculus with views. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Atsushi Igarashi, Naoki Kobayashi 0001 |
A generic type system for the Pi-calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Maria Grazia Buscemi, Vladimiro Sassone |
High-Level Petri Nets as Type Theories in the Join Calculus. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Sylvain Conchon, François Pottier |
JOIN(X): Constraint-Based Type Inference for the Join-Calculus. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Valentina A. M. Tamma, Simon Parsons |
Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Ulrike Sattler, Moshe Y. Vardi |
The Hybrid µ-Calculus. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Bernhard Beckert, Steffen Schlager |
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Maria Teresa Hortalá-González, Eva Ullán |
An Abstract Machine Based System for a Lazy Narrowing Calculus. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Sriram K. Rajamani, Jakob Rehof |
A Behavioral Module System for the Pi-Calculus. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Serjantov, Peter Sewell, Keith Wansbrough |
The UDP Calculus: Rigorous Semantics for Real Networking. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Kazunori Iwata 0001, Shingo Itabashi, Naohiro Ishii |
A Protocol for Multi-Threaded Processes with Choice in pi-Calculus. |
International Conference on Computational Science (2) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Benedikt Bollig, Martin Leucker, Michael Weber 0002 |
Parallel Model Checking for the Alternation Free µ-Calculus. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Sergio Brandano |
The Event Calculus Assessed. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Catuscia Palamidessi, Frank D. Valencia |
A Temporal Concurrent Constraint Programming Calculus. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
Typing Mobility in the Seal Calculus. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Samson Abramsky, Marina Lenisa |
Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Antonio Chella, Marcello Frixione, Salvatore Gaglio |
Symbolic and Conceptual Representation of Dynamic Scenes: Interpreting Situation Calculus on Conceptual Spaces. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
13 | André Windisch, Dieter Monjau |
An operational framework for the multi-lingual system simulation based on pi-calculus. |
SCCC |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Tony Clark 0001, Andy Evans, Stuart Kent 0001 |
The Metamodelling Language Calculus: Foundation Semantics for UML. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Bernhard Reus, Martin Wirsing, Rolf Hennicker |
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Dieter Spreen |
A New Model Construction for the Polymorphic Lambda Calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Tijani Chahed, Gérard Hébuterne, Caroline Fayet |
Mapping of Loss and Delay Between IP and ATM Using Network Calculus. |
NETWORKING |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure |
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Frédéric Prost |
A Static Calculus of Dependencies for the lambda-Cube. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi |
Homogenization and the Polynominal Calculus. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki |
Constructive Data Refinement in Typed Lambda Calculus. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Kathleen Fisher, John H. Reppy, Jon G. Riecke |
A Calculus for Compiling and Linking Classes. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer |
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Steffen Hölldobler, Hans-Peter Störr |
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Martin C. Henson, Steve Reeves |
Program Development and Specification Refinement in the Schema Calculus. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Allan Ramsay |
Theorem Proving for Constructive lambda-Calculus. |
AIMSA |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Leliane Nunes de Barros, Paulo E. Santos |
The Nature of Knowledge in an Abductive Event Calculus Planner. |
EKAW |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Antonio Frias Delgado, Jose Antonio Jimenez Millan |
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Naoki Kobayashi 0001, Shin Saito, Eijiro Sumii |
An Implicitly-Typed Deadlock-Free Process Calculus. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Felix Joachimski, Ralph Matthes |
Standardization and Confluence for a Lambda Calculus with Generalized Applications. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Massimo Merro, Josva Kleist, Uwe Nestmann |
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Dimitar P. Guelev |
A Complete Fragment of Higher-Order Duration µ-Calculus. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Carsten Damm, Markus Holzer 0001, Pierre McKenzie |
The Complexity of Tensor Calculus. |
CCC |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Stephen Zimmerbaum, Richard B. Scherl |
Sensing Actions, Time, and Concurrency in the Situation Calculus. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Murray Shanahan |
The Event Calculus Explained. |
Artificial Intelligence Today |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Torben Æ. Mogensen |
Linear Time Self-Interpretation of the Pure Lambda Calculus. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Pietro Di Gianantonio, Gianluca Franco, Furio Honsell |
Game Semantics for Untyped lambda beta eta-Calculus. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Yann Rouzaud |
Interpreting the B-Method in the Refinement Calculus. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Maria Luisa Bonet, Nicola Galesi |
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus. |
FOCS |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Abel 0001, Thorsten Altenkirch |
A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types. |
TYPES |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Klaus-Dieter Schewe, Bernhard Thalheim |
A Generalization of Dijkstra's Calculus to Typed Program Specifications. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Peter Baumgartner 0001, Norbert Eisinger, Ulrich Furbach |
A Confluent Connection Calculus. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Li Li 0024, Jifeng He 0001 |
A Denotational Semantics of Timed RSL Using Duration Calculus. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, Real-time requirements, design specification |
13 | Martin Otto 0001 |
Eliminating Recursion in the µ-Calculus. |
STACS |
1999 |
DBLP DOI BibTeX RDF |
|
13 | David Dennis, Vladik Kreinovich, Siegfried M. Rump |
Intervals and the Origins of Calculus. |
Reliab. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Martin Hesketh, Maciej Koutny |
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation |
13 | Rutger M. Dijkstra |
Computation Calculus - Bridging a Formalization Gap. |
MPC |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Julian C. Bradfield |
Simplifying the Modal Mu-Calculus Alternation Hierarchy. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Christoph Sprenger 0001 |
A Verified Model Checker for the Modal µ-calculus in Coq. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
Extension Calculus and Query Answering in Prioritized Default Logic. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
knowledge representation, priorities, nonmonotonic reasoning, default logic, logic for artificial intelligence |
13 | Ken-etsu Fujita |
Polymorphic Call-by-Value Calculus Based on Classical Proofs. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Peter Scholz |
A Refinement Calculus for Statecharts. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Abelardo Pardo, Gary D. Hachtel |
Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa |
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Martin Hofmann 0001, Thomas Streicher |
Continuation Models are Universal for Lambda-Mu-Calculus. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Anna Philippou, David Walker 0008 |
On Confluence in the pi-Calculus. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Olaf Burkart, Bernhard Steffen |
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
13 | C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler |
A Monadic Calculus for Parallel Costing of a Functional Language of Arrays. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
13 | António Ravara, Vasco Thudichum Vasconcelos |
Behavioural Types for a Calculus of Concurrent Objects. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Gian-Luigi Ferrari 0002, Ugo Montanari |
A Tile-Based Coordination View of Asynchronous pi-Calculus. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Gang Chen |
Subtyping Calculus of Construction (Extended Abstract). |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Jan Krajícek |
Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Dieter Hutter, Michael Kohlhase |
A Colored Version of the Lambda-Calculus. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Martin Hofmann 0001 |
A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam |
Automating Proofs of Integrity Constraints in Situation Calculus. |
ISMIS |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Amy P. Felty |
Proof Search with Set Variable Instantiation in the Calculus of Constructions. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Andrew M. Pitts, Joshua R. X. Ross |
Process Calculus Based upon Evaluation to Committed Form. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Julian C. Bradfield |
The Modal mu-calculus Alternation Hierarchy is Strict. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
mu-calculi, temporal logic, hierarchies, alternation |
13 | Roland Fettig, Bernd Löchner |
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Arnaud Venet |
Abstract Interpretation of the pi-Calculus. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Luca Roversi |
A Type-Free Resource-Aware Lambda-Calculus. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Michal Walicki, Sigurd Meldal |
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
reasoning with nondeterminism, algebraic specifications |
13 | Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana |
From Duration Calculus To Linear Hybrid Automata. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Otmane Aït Mohamed |
Mechanizing a pi-Calculus Equivalence in HOL. |
TPHOLs |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Koichi Nakahara, Aart Middeldorp, Tetsuo Ida |
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Milena Stefanova, Herman Geuvers |
A Simple Model Construction for the Calculus of Constructions. |
TYPES |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Xinxin Liu 0008, David Walker 0008 |
A Polymorphic Type System for the Polyadic pi-calculus. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|