Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin |
A classification of symbolic transition systems. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms |
13 | Jens Palsberg, Tian Zhao 0002, Trevor Jim |
Automatic discovery of covariant read-only fields. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
constraints, Types |
13 | Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse |
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
13 | John Marchesini, Sean W. Smith |
Modeling Public Key Infrastructures in the Real World. |
EuroPKI |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
On Superposition-Based Satisfiability Procedures and Their Combination. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Michael Minock |
A Phrasal Approach to Natural Language Interfaces over Databases. |
NLDB |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Pablo Barceló, Leonid Libkin |
Temporal Logics over Unranked Trees. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Luigi Santocanale |
Completions of µ-algebras. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Neubauer, Peter Thiemann 0001 |
From sequential programs to multi-tier applications by program transformation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
application partioning, concurrency, type systems |
13 | Bernd Mahr, Sebastian Bab |
inT-Integration of Logics. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Min Zhang, Guoqiang Li 0001, Yuxi Fu, Zhizhou Zhang 0003, Lin He 0007 |
Typing Aberrance in Signal Transduction. |
ICNC (3) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Regimantas Pliuskevicius, Aida Pliuskeviciene |
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Paula Severi, Fer-Jan de Vries |
Order Structures on Böhm-Like Models. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Vitus S. W. Lam, Julian A. Padget |
An integrated environment for communicating UML statechart diagrams. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Rafael del Vado Vírseda |
Declarative Constraint Programming with Definitional Trees. |
FroCoS |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Zsolt Németh, Christian Pérez, Thierry Priol |
Workflow Enactment Based on a Chemical Metaphor. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Antonio Di Nola, Ada Lettieri |
On normal forms in Lukasiewicz logic. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
McNaughton function, Separation of variables |
13 | Christopher A. Stone |
Extensible objects without labels. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Extensible objects, object calculi |
13 | Ken Mano, Yoshinobu Kawabe |
The Nepi Network Programming System: A Programming Environment for Distributed Systems. |
NCA |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park |
The Inverse Method for the Logic of Bunched Implications. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Yuxin Deng, Davide Sangiorgi |
Towards an Algebraic Theory of Typed Mobile Processes. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
13 | David Sinclair, David Gray, Geoff W. Hamilton |
Synthesising Attacks on Cryptographic Protocols. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
security, model checking, cryptographic protocols |
13 | Jochen Renz, Debasis Mitra 0003 |
Qualitative Direction Calculi with Arbitrary Granularity. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann |
Modular Proof Systems for Partial Functions with Weak Equality. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
13 | José Poveda, Michael Gould |
Directional Neighbourhood Calculations in Spatial Partition Trees. |
DEXA Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Masahito Hasegawa |
Semantics of Linear Continuation-Passing in Call-by-Name. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Marco Ragni, Stefan Wölfl 0001 |
Branching Allen. |
Spatial Cognition |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Qin Ma 0002, Luc Maranget |
Compiling Pattern Matching in Join-Patterns. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Paul-André Melliès |
Asynchronous Games 2: The True Concurrency of Innocence. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Katsunori Nakamura, Akira Fusaoka |
On Description and Reasoning About Hybrid Systems. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper |
Developing Logic Programs from Specifications Using Stepwise Refinement. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater |
Notations for the Specification and Verification of Composite Web Services. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Maria Luisa Bonet, Nicola Galesi |
Degree complexity for a modified pigeonhole principle. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Ziller, Klaus Schneider 0001 |
A Generalised Approach to Supervisor Synthesis. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Chunping Li |
The Process Semantics Based Reasoning about Continuous Change. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
Replication vs. Recursive Definitions in Channel Based Calculi. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Gustavo Villavicencio |
Formal Program Reversing by Conditioned Slicing. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
conditioned slicing, algebra of programming, formal methods, Reverse engineering, denotational semantics |
13 | Yukiyoshi Kameyama, Masahito Hasegawa |
A sound and complete axiomatization of delimited continuations. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
continuation, axiomatization, CPS-translation |
13 | Harry G. Mairson |
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Dimitri Hendriks, Vincent van Oostrom |
adbmal |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Sasa Buvac |
A Deduction Theorem for Normal Modal Propositional Logic. |
CONTEXT |
2003 |
DBLP DOI BibTeX RDF |
|
13 | David de Frutos-Escrig, Olga Marroquín Alonso |
Replicated Ambient Petri Nets. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |
A functional correspondence between evaluators and abstract machines. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion |
13 | David S. Wile |
Architecture Style-Based Calculi for Non-functional Properties. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Lutz Straßburger |
A Local System for Linear Logic. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Alessio Guglielmi, Lutz Straßburger |
A Non-commutative Extension of MELL. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Ralph-Johan Back |
SFI: A Refinement Based Layered Software Architecture. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Mogens Nielsen, Frank D. Valencia |
Temporal Concurrent Constraint Programming: Applications and Behavior. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
13 | David Sands 0001, Jörgen Gustavsson, Andrew Moran |
Lambda Calculi and Linear Speedups. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer |
A General Theorem Prover for Quantified Modal Logics. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Gernot Stenz |
DCTP 1.2 - System Abstract. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Martin Giese |
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Robert P. Goldman |
A Stochastic Model for Intrusions. |
RAID |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Dirk Pattinson, Martin Wirsing |
Making Components Move: A Separation of Concerns Approach. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Masahito Hasegawa |
Classical Linear Logic of Implications. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Harry G. Mairson |
From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper |
Refinement of Higher-Order Logic Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Qinghe Yin, Yuming Jiang 0001, Shengming Jiang, Peng Yong Kong |
Analysis on Generalized Stochastically Bounded Bursty Traffic for Communication Networks. |
LCN |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Voronkov |
How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
theorem proving, modal logic, description logics, proof-search, inverse method |
13 | Kai Brünnler, Alwen Fernanto Tiu |
A Local System for Classical Logic. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Daniel J. Dougherty, Pierre Lescanne |
Reductions, Intersection Types, and Explicit Substitutions. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Carroll Morgan, Annabelle McIver |
Cost Analysis of Games, Using Program Logic. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Davide Sangiorgi, Andrea Valente |
A Distributed Abstract Machine for Safe Ambients. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
String Operations in Query Languages. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Reasoning about Security in Mobile Ambients. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Iain Phillips 0001 |
CCS with Priority Guards. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Eduardo Bonelli, Delia Kesner, Alejandro Ríos 0001 |
From Higher-Order to First-Order Rewriting. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Courtieu |
Normalized Types. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Voronkov |
How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | José Espírito Santo |
Revisiting the Correspondence between Cut Elimination and Normalisation. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski |
Proof Nets and Explicit Substitutions. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce |
Has our curriculum become math-phobic? (an American perspective). |
ITiCSE |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Frédéric Loulergue |
BSlambdap: Functional BSP Programs on Enumerated Vectors. |
ISHPC |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Thomas A. Henzinger, Rupak Majumdar |
A Classification of Symbolic Transition Systems. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Pedro J. Martín, Antonio Gavilanes |
Simultaneous Rigid Sorted Unification. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Cédric Fournet, Jean-Jacques Lévy, Alan Schmitt |
An Asynchronous, Distributed Implementation of Mobile Ambients. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Andrew D. Gordon 0001 |
Notes on Nominal Calculi for Security and Mobility. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Michael Schenke, Ernst-Rüdiger Olderog |
Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. |
Acta Informatica |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Henning Dierks |
Synthesizing controllers from real-time specifications. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Atsushi Ohori |
A Curry-Howard Isomorphism for Compilation and Program Execution. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Masahiko Sato 0001, Takafumi Sakurai, Rod M. Burstall |
Explicit Environments. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Seikoh Mikami, Yohji Akama |
A Study of Abramsky's Linear Chemical Abstract Machine. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Michael Thielscher |
A Theory of First-Order Counterfactual Reasoning. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Luca Chittaro, Carlo Combi |
Reasoning about Events with Imprecise Location and Multiple Granularities. |
DEXA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Rosa M. Jiménez, Fernando Orejas |
An Algebraic Framework for Higher-Order Modules. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Luis Mandel, María Victoria Cengarle |
On the Expressive Power of OCL. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Frédéric Lang, Pierre Lescanne, Luigi Liquori |
A Framework for Defining Object-Calculi. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues |
13 | John Power, Hayo Thielecke |
Closed Freyd- and kappa-categories. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Zhong Shao |
Transparent Modules with Fully Syntactic Signatures. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Gérard Boudol, Silvano Dal-Zilio |
An Interpretation of Extensible Objects. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Christoph Benzmüller |
Extensional Higher-Order Paramodulation and RUE-Resolution. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Hirschkoff |
On the Benefits of Using the Up-To Techniques for Bisimulation Verification. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Nobuko Yoshida, Matthew Hennessy |
Suptyping and Locality in Distributed Higher Order Processes (extended abstract). |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori |
Maintenance of Ambiences for Mobile Systems. |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Yoshiki Kinoshita, John Power |
Data-Refinement for Call-By-Value Programming Languages. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Wilke |
CTL+ is Exponentially more Succinct than CTL. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
13 | John K. Debenham |
Representing "Just Invalid" Knowledge. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
knowledge representation, expert systems |
13 | Ralph-Johan Back, Qiwen Xu |
Refinement of Fair Action Systems. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
13 | David A. Naumann |
Beyond Fun: Order and Membership in Polytypic Imperative Programming. |
MPC |
1998 |
DBLP DOI BibTeX RDF |
|