Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Nicolas Peltier	Some Techniques for Proving Termination of the Hyperresolution Calculus.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	hyperresolution, decision procedures, complexity measures
13	Stephen A. Cook, Tsuyoshi Morioka	Quantified propositional calculus and a second-order theory for NC1.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Computational Complexity, Proof Complexity, Bounded Arithmetic
13	Silvia Crafa, Sabina Rossi	A Theory of Noninterference for the pi-Calculus.	TGC	2005	DBLP DOI BibTeX RDF
13	Mohsen Rouached, Olivier Perrin 0001, Claude Godart	A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus.	WISE	2005	DBLP DOI BibTeX RDF
13	Brian Warboys, Robert Mark Greenwood, Ian Robertson, Ronald Morrison, Dharini Balasubramaniam, Graham N. C. Kirby, Kath Mickan	The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a pi-Calculus Based Architecture Description Language.	EWSA	2005	DBLP DOI BibTeX RDF
13	Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith	PiDuce: A Process Calculus with Native XML Datatypes.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
13	Martin Fränzle, Michael R. Hansen	A Robust Interpretation of Duration Calculus.	ICTAC	2005	DBLP DOI BibTeX RDF	Metric-time temporal logic, Robust interpretation, Discrete time vs. dense time
13	Peter Selinger, Benoît Valiron	A Lambda Calculus for Quantum Computation with Classical Control.	TLCA	2005	DBLP DOI BibTeX RDF
13	Marco Ragni, Alexander Scivos	Dependency Calculus: Reasoning in a General Point Relation Algebra.	KI	2005	DBLP DOI BibTeX RDF
13	Albert Visser	Löb's Logic Meets the µ-Calculus.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
13	Alan Jeffrey, Julian Rathke	Full Abstraction for Polymorphic Pi-Calculus.	FoSSaCS	2005	DBLP DOI BibTeX RDF
13	Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche	Petri Net + Nested Relational Calculus = Dataflow.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
13	Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide	Fact Calculus: Using ORM and Lisa-D to Reason About Domains.	OTM Workshops	2005	DBLP DOI BibTeX RDF
13	Luciano Lenzini, Linda Martorini, Enzo Mingozzi, Giovanni Stea	Exploiting Network Calculus for Delay-Based Admission Control in a Sink-Tree Network.	FIRB-Perf	2005	DBLP DOI BibTeX RDF
13	Yinhua Lü, Xiaorong Chen, Luming Fang, Hangjun Wang	Towards a Symbolic Bisimulation for the Spi Calculus.	MSN	2005	DBLP DOI BibTeX RDF
13	Adelinde M. Uhrmacher, Corrado Priami	Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS.	WSC	2005	DBLP DOI BibTeX RDF
13	Aleksy Schubert	A Self-dependency Constraint in the Simply Typed Lambda Calculus.	FCT	2005	DBLP DOI BibTeX RDF
13	Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider	Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
13	Martin Giese	A Calculus for Type Predicates and Type Coercion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
13	Murtaza Zafer, Eytan H. Modiano	A calculus approach to minimum energy transmission policies with quality of service guarantees.	INFOCOM	2005	DBLP DOI BibTeX RDF
13	Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract.	ICDT	2005	DBLP DOI BibTeX RDF
13	Minxia Luo, Huacan He	A Propositional Calculus Formal Deductive System LU of Universal Logic and Its Completeness.	FSKD (1)	2005	DBLP DOI BibTeX RDF
13	Rocco De Nicola, Gian-Luigi Ferrari 0002, Ugo Montanari, Rosario Pugliese, Emilio Tuosto	A Process Calculus for QoS-Aware Applications.	COORDINATION	2005	DBLP DOI BibTeX RDF
13	Bow-Yaw Wang	Proving forall-µ-Calculus Properties with SAT-Based Model Checking.	FORTE	2005	DBLP DOI BibTeX RDF
13	Robert Demolombe, Ana María Otermin Fernandez	Intention Recognition in the Situation Calculus and Probability Theory Frameworks.	CLIMA	2005	DBLP DOI BibTeX RDF
13	Laurence Cholvy, Christophe Garion, Claire Saurel	Ability in a Multi-agent Context: A Model in the Situation Calculus.	CLIMA	2005	DBLP DOI BibTeX RDF
13	Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham	Don't Know in the µ-Calculus.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Martin Lange	Weak Automata for the Linear Time µ-Calculus.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Julian C. Bradfield, Jacques Duparc, Sandra Quickert	Transfinite Extension of the Mu-Calculus.	CSL	2005	DBLP DOI BibTeX RDF
13	Bruno Barras, Benjamin Grégoire	On the Role of Type Decorations in the Calculus of Inductive Constructions.	CSL	2005	DBLP DOI BibTeX RDF
13	Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek	Interactive Learning and Mathematical Calculus.	MKM	2005	DBLP DOI BibTeX RDF
13	Jianhua Dai, Weidong Chen 0002, Yunhe Pan	Sequent calculus system for rough sets based on rough Stone algebras.	GrC	2005	DBLP DOI BibTeX RDF
13	Joost Engelfriet, Tjalling Gelsema	A new natural structural congruence in the pi-calculus with replication.	Acta Informatica	2004	DBLP DOI BibTeX RDF
13	Oliver Schulte, James P. Delgrande	Representing von Neumann-Morgenstern Games in the Situation Calculus.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	reasoning about actions and change, game theory, knowledge representation, multiagent systems, decision theory
13	Zhiming Liu 0001, Anders P. Ravn, Xiaoshan Li	Unifying proof methodologies of duration calculus and timed linear temporal logic.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Design, Verification, Real-time, Specification, Refinement
13	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Access control for mobile agents: The calculus of boxed ambients.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Ambient calculi, access control systems, mobile computation, type systems, type safety
13	Nikos Mylonakis, Fernando Orejas	A Distributed and Mobile Component System Based on the Ambient Calculus.	WADT	2004	DBLP DOI BibTeX RDF
13	Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre	An Equational Calculus for Alloy.	ICFEM	2004	DBLP DOI BibTeX RDF
13	Lorenzo Bettini, Viviana Bono, Silvia Likavec	A core calculus of mixins and incomplete objects.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	incomplete objects, types, language design, mixins
13	Lorenzo Bettini, Viviana Bono, Silvia Likavec	A core calculus of higher-order mixins and classes.	SAC	2004	DBLP DOI BibTeX RDF
13	Samuel Colin, Georges Mariano, Vincent Poirriez	Duration Calculus: A Real-Time Semantic for B.	ICTAC	2004	DBLP DOI BibTeX RDF
13	Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe	Theories of Intentions in the Framework of Situation Calculus.	DALT	2004	DBLP DOI BibTeX RDF
13	Chiara Braghin, Daniele Gorla, Vladimiro Sassone	A Distributed Calculus for Ro^le-Based Access Control.	CSFW	2004	DBLP DOI BibTeX RDF
13	Murdoch Gabbay, James Cheney	A Sequent Calculus for Nominal Logic.	LICS	2004	DBLP DOI BibTeX RDF
13	Patrick Baillot, Kazushige Terui	Light Types for Polynomial Time Computation in Lambda-Calculus.	LICS	2004	DBLP DOI BibTeX RDF
13	Tom Murphy VII, Karl Crary, Robert Harper 0001, Frank Pfenning	A Symmetric Modal Lambda Calculus for Distributed Computing.	LICS	2004	DBLP DOI BibTeX RDF
13	Benedetto Intrigila, Richard Statman	The Omega Rule is II_2^0-Hard in the lambda beta -Calculus.	LICS	2004	DBLP DOI BibTeX RDF
13	Michael Soltys	LA, Permutations, and the Hajós Calculus.	ICALP	2004	DBLP DOI BibTeX RDF
13	Roberto Zunino, Pierpaolo Degano	A Note on the Perfect Encryption Assumption in a Process Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
13	Martín Abadi, Bruno Blanchet, Cédric Fournet	Just Fast Keying in the Pi Calculus.	ESOP	2004	DBLP DOI BibTeX RDF
13	Paolo Rocchi	Some notes for the uniform calculus of redundancy.	SMC (2)	2004	DBLP DOI BibTeX RDF
13	Elmar Ahle, Dirk Söffker	Learning from interaction with the environment using a situation-operator calculus with application to mobile robots.	SMC (4)	2004	DBLP DOI BibTeX RDF
13	E. V. Kouzmin, Nikolay V. Shilov 0002, Valery A. Sokolov	Model Checking mu-Calculus in Well-Structured Transition Systems.	TIME	2004	DBLP DOI BibTeX RDF
13	Vincent Danos, Sylvain Pradalier	Projective Brane Calculus.	CMSB	2004	DBLP DOI BibTeX RDF
13	George Spanoudakis, Khaled Mahbub	Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus.	ASE	2004	DBLP DOI BibTeX RDF
13	Robert Demolombe, Andreas Herzig	Obligation Change in Dependence Logic and Situation Calculus.	DEON	2004	DBLP DOI BibTeX RDF
13	Philippe de Groote, Sylvain Salvati	Higher-Order Matching in the Linear lambda-calculus with Pairing.	CSL	2004	DBLP DOI BibTeX RDF
13	Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato	A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.	CSL	2004	DBLP DOI BibTeX RDF
13	Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot	Discretionary Overriding of Access Control in the Privilege Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
13	Loïc Colson, Natasa Jonoska, Maurice Margenstern	lambda-P Systems and Typed lambda-Calculus.	Workshop on Membrane Computing	2004	DBLP DOI BibTeX RDF
13	Felix Joachimski, Ralph Matthes	Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
13	Bernhard K. Aichernig	Mutation Testing in the Refinement Calculus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage
13	Wendy MacCaull, Ewa Orlowska	A Calculus of Typed Relations.	RelMiCS	2003	DBLP DOI BibTeX RDF	Relational proof system, typed relations, nondeterministic databases, information relations, relational database
13	Magali Contensin, Laurence Pierre	Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs.	MEMOCODE	2003	DBLP DOI BibTeX RDF
13	Georg Struth	A Calculus for Set-Based Program Development.	ICFEM	2003	DBLP DOI BibTeX RDF
13	Saskia Janssens, Bernard De Baets, Hans E. De Meyer	Inequalities in Fuzzy Probability Calculus.	IFSA	2003	DBLP DOI BibTeX RDF
13	Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa	Reasoning about Pointers in Refinement Calculus.	APSEC	2003	DBLP DOI BibTeX RDF
13	André Arnold, Luigi Santocanale	Ambiguous Classes in the Games µ-Calculus Hierarchy.	FoSSaCS	2003	DBLP DOI BibTeX RDF
13	Christoph Sprenger 0001, Mads Dam	On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus.	FoSSaCS	2003	DBLP DOI BibTeX RDF
13	Naoki Kobayashi 0001	Useless Code Elimination and Programm Slicing for the Pi-Calculus.	APLAS	2003	DBLP DOI BibTeX RDF
13	Cédric Lhoussaine	Type Inference for a Distributed pi-Calculus.	ESOP	2003	DBLP DOI BibTeX RDF
13	Robert Saxon Milnikel	A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract).	ECSQARU	2003	DBLP DOI BibTeX RDF
13	Sergei Soloviev 0001, David Chemouil	Some Algebraic Structures in Lambda-Calculus with Inductive Types.	TYPES	2003	DBLP DOI BibTeX RDF
13	Lorenzo Bettini, Viviana Bono, Silvia Likavec	A Core Calculus of Higher-Order Mixins and Classes.	TYPES	2003	DBLP DOI BibTeX RDF
13	Claudio Sacerdoti Coen	A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics.	ICTCS	2003	DBLP DOI BibTeX RDF
13	Moshe Deutsch, Martin C. Henson, Steve Reeves	Operation Refinement and Monotonicity in the Schema Calculus.	ZB	2003	DBLP DOI BibTeX RDF
13	Arild Waaler, Roger Antonsen	A Free Variable Sequent Calculus with Uniform Variable Splitting.	TABLEAUX	2003	DBLP DOI BibTeX RDF
13	Stefan Förster, Marco Fischer, André Windisch, Burkhard Balser, Dieter Monjau	A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.	IEEE International Workshop on Rapid System Prototyping	2003	DBLP DOI BibTeX RDF
13	Ahmet Yantir, Ünal Ufuktepe	Basic Calculus on Time Scale with Mathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
13	Hervé Paulino, Luís M. B. Lopes, Fernando M. A. Silva	Mob: A Scripting Language for Mobile Agents Based on a Process Calculus.	ICWE	2003	DBLP DOI BibTeX RDF
13	Philippe Balbiani, Jean-François Condotta, Gérard Ligozat	On the Consistency Problem for the INDU Calculus.	TIME	2003	DBLP DOI BibTeX RDF
13	Yafei Hou, Shiyong Zhang, YiPing Zhong	Scheduling Model in Global Real-Time High Performance Computing with Network Calculus.	GCC (2)	2003	DBLP DOI BibTeX RDF
13	Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari	Causal pi-Calculus for Biochemical Modelling.	CMSB	2003	DBLP DOI BibTeX RDF	Formal Description of Biochemical Processes, Concurrency, Causality, Bio-informatics, Reduction Semantics
13	Arosha K. Bandara, Emil Lupu, Alessandra Russo	Using Event Calculus to Formalise Policy Specification and Analysis.	POLICY	2003	DBLP DOI BibTeX RDF
13	Ickjai Lee, Mary-Anne Williams	Multi-level Clustering and Reasoning about Its Clusters Using Region Connection Calculus.	PAKDD	2003	DBLP DOI BibTeX RDF
13	Lutz Schröder	Henkin Models of the Partial sigma-Calculus.	CSL	2003	DBLP DOI BibTeX RDF
13	Georg Moser, Richard Zach	The Epsilon Calculus (Tutorial).	CSL	2003	DBLP DOI BibTeX RDF
13	Franck Pommereau	Causal Time Calculus.	FORMATS	2003	DBLP DOI BibTeX RDF
13	Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi	Homogenization and the polynomial calculus.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 68Q17
13	Carsten Damm, Markus Holzer 0001, Pierre McKenzie	The complexity of tensor calculus.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 15A69, 68Q70, 68Q17, 68Q15, 68Q05
13	Yoriyuki Yamagata	Strong normalization of a symmetric lambda calculus for second-order classical logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
13	Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li	Towards a Refinement Calculus for Object Systems.	IEEE ICCI	2002	DBLP DOI BibTeX RDF
13	Sibylle Peuker, Ian J. Hayes	Towards a Refinement Calculus for Concurrent Real-Time Programs.	ICFEM	2002	DBLP DOI BibTeX RDF
13	Vincent Simonet	Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types.	CSFW	2002	DBLP DOI BibTeX RDF
13	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Local Parallel Model Checking for the Alternation-Free µ-Calculus.	SPIN	2002	DBLP DOI BibTeX RDF
13	Luís Cruz-Filipe	A Constructive Formalization of the Fundamental Theorem of Calculus.	TYPES	2002	DBLP DOI BibTeX RDF
13	Gwen Salaün, Michel Allemand, J. Christian Attiogbé	A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.	COMPSAC	2002	DBLP DOI BibTeX RDF
13	Nathalie Chetcuti-Sperandio	Tableau-Based Automated Deduction for Duration Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
13	Uwe Petermann	A Confluent Theory Connection Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
13	Yinxing Wei, Shen-sheng Zhang, Jian Cao 0001	Coordination among Multi-agents Using Process Calculus and ECA Rule.	EDCIS	2002	DBLP DOI BibTeX RDF