Search results for "Calculus"

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