Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Harald Fecher, Sharon Shoham	State Focusing: Lazy Abstraction for the Mu-Calculus.	SPIN	2008	DBLP DOI BibTeX RDF
13	Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner	Solving µ-Calculus Parity Games by Symbolic Planning.	MoChArt	2008	DBLP DOI BibTeX RDF
13	Jianrui Wang, Richard A. Wysk	A Pi-calculus formalism for discrete event simulation.	WSC	2008	DBLP DOI BibTeX RDF
13	Sven Apel, Christian Kästner, Christian Lengauer	Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.	GPCE	2008	DBLP DOI BibTeX RDF	safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java
13	Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini	The Calculus of Looping Sequences.	SFM	2008	DBLP DOI BibTeX RDF
13	Vjekoslav Sinkovic, Mario Kusek, Gordan Jezic, Ignac Lovrek	Performance Evaluation of a Mobile Agent Network Using Network Calculus.	KES (1)	2008	DBLP DOI BibTeX RDF
13	Alexander Ferrein, Stefan Schiffer 0002, Gerhard Lakemeyer	A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus.	ICIRA (1)	2008	DBLP DOI BibTeX RDF
13	Nasir Mohyuddin, Ehsan Pakbaznia, Massoud Pedram	Probabilistic error propagation in logic circuits using the Boolean difference calculus.	ICCD	2008	DBLP DOI BibTeX RDF
13	Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos	Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.	FMOODS	2008	DBLP DOI BibTeX RDF
13	Luca Bortolussi, Alberto Policriti	Hybrid Semantics for Stochastic pi-Calculus.	AB	2008	DBLP DOI BibTeX RDF
13	Chenggong Lv, Jun Wang 0059, Lu Liu, Weijia You	The Separation of Duty with Privilege Calculus.	RSKT	2008	DBLP DOI BibTeX RDF
13	Conrad Drescher, Michael Thielscher	A Fluent Calculus Semantics for ADL with Plan Constraints.	JELIA	2008	DBLP DOI BibTeX RDF
13	Yi Zhou 0013, Yan Zhang 0003	Rule Calculus: Semantics, Axioms and Applications.	JELIA	2008	DBLP DOI BibTeX RDF
13	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre	µ-calculus Pushdown Module Checking with Imperfect State Information.	IFIP TCS	2008	DBLP DOI BibTeX RDF
13	Chunqing Chen, Jin Song Dong, Jun Sun 0001	A verification system for timed interval calculus.	ICSE	2008	DBLP DOI BibTeX RDF	real-time systems, theorem proving, specification language, pvs
13	Christophe Aubrun, Jean-Philippe Georges, Dominique Sauter, Eric Rondeau	Network calculus based fault diagnosis decision-making for Networked Control Systems.	ETFA	2008	DBLP DOI BibTeX RDF
13	Thomas Colcombet, Christof Löding	The Nesting-Depth of Disjunctive µ-Calculus for Tree Languages and the Limitedness Problem.	CSL	2008	DBLP DOI BibTeX RDF
13	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	weakest precondition, program specification, deadlock freedom, program correctness
13	Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng	Handling non-canonical software requirements based on Annotated Predicate Calculus.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness
13	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF
13	Vincent Danos, Elham Kashefi, Prakash Panangaden	The measurement calculus.	J. ACM	2007	DBLP DOI BibTeX RDF	Models for quantum computing, measurement-based quantum computing, quantum programming languages, teleportation-based quantum computing, normalization, term rewriting
13	Bruno Apolloni, Simone Bassis, Alberto Clivio, Sabrina Gaito, Dario Malchiodi	Modeling individual's aging within a bacterial population using a pi-calculus paradigm.	Nat. Comput.	2007	DBLP DOI BibTeX RDF
13	Luciano Stefanini, Laerte Sorini	Representing Fuzzy Numbers for Fuzzy Calculus.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
13	Eduardo Bonelli, Adriana B. Compagnoni	Multipoint Session Types for a Distributed Calculus.	TGC	2007	DBLP DOI BibTeX RDF
13	Aybek Mukhamedov, Mark Dermot Ryan	Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus.	TGC	2007	DBLP DOI BibTeX RDF
13	Murdoch Gabbay, Aad Mathijssen	A Formal Calculus for Informal Equality with Binding.	WoLLIC	2007	DBLP DOI BibTeX RDF
13	Khaled Mahbub, George Spanoudakis	Monitoring WS-Agreement s: An Event Calculus-Based Approach.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
13	Philippe Flajolet	Analytic combinatorics: a calculus of discrete structures.	SODA	2007	DBLP BibTeX RDF
13	Haibo Xu, Youjun Gao, Hui Tian 0003, Yang Ji, Ping Zhang 0003	Network Calculus Modeling and QoS Analysis for Wireless Packet Networks.	VTC Spring	2007	DBLP DOI BibTeX RDF
13	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	C-clock-WS: A Timed Service-Oriented Calculus.	ICTAC	2007	DBLP DOI BibTeX RDF
13	Benedetto Intrigila, Richard Statman	The Omega Rule is P11-Complete in the lambdabeta -Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
13	Sylvain Boulmé	Intuitionistic Refinement Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
13	Pawel Gluchowski	Duration Calculus for Analysis of Fault Trees with Time Dependencies.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
13	Naoki Kobayashi 0001, Takashi Suto	Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the pi -Calculus.	ICALP	2007	DBLP DOI BibTeX RDF
13	Sadaaki Miyamoto	Formulation of Fuzzy c -Means Clustering Using Calculus of Variations.	MDAI	2007	DBLP DOI BibTeX RDF
13	Matthias Weidlich 0001, Gero Decker, Mathias Weske	Efficient Analysis of BPEL 2.0 Processes Using p-Calculus.	APSCC	2007	DBLP DOI BibTeX RDF
13	Kohei Suenaga, Naoki Kobayashi 0001	Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.	ESOP	2007	DBLP DOI BibTeX RDF
13	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	A Calculus for Orchestration of Web Services.	ESOP	2007	DBLP DOI BibTeX RDF
13	Zhengqin Luo, Xiaojuan Cai, Jun Pang 0001, Yuxin Deng	Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.	ACNS	2007	DBLP DOI BibTeX RDF
13	Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth	Verifying Composite Service Transactional Behavior Using Event Calculus.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
13	Gregor Schiele, Marcus Handte, Christian Becker 0001	Good Manners for Pervasive Computing--An Approach Based on the Ambient Calculus.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
13	Huimin She, Zhonghai Lu, Axel Jantsch, Li-Rong Zheng 0001, Dian Zhou	Traffic Splitting with Network Calculus for Mesh Sensor Networks.	FGCN (2)	2007	DBLP DOI BibTeX RDF
13	Adam Chlipala	A certified type-preserving compiler from lambda calculus to assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	denotational semantics, dependent types, compiler verification, interactive proof assistants
13	Philipp Rümmer, Muhammad Ali Shah	Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.	TAP	2007	DBLP DOI BibTeX RDF	Disproving, Testing, Program verification, Program logics
13	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà	A Complete Resolution Calculus for Signed Max-SAT.	ISMVL	2007	DBLP DOI BibTeX RDF
13	Serge Abiteboul	A Calculus and Algebra for Distributed Data Management.	STACS	2007	DBLP DOI BibTeX RDF
13	Jens Chr. Godskesen	A Calculus for Mobile Ad Hoc Networks.	COORDINATION	2007	DBLP DOI BibTeX RDF
13	Makoto Tatsuta	The Maximum Length of Mu-Reduction in Lambda Mu-Calculus.	RTA	2007	DBLP DOI BibTeX RDF
13	Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas	A Cut-Free and Invariant-Free Sequent Calculus for PLTL.	CSL	2007	DBLP DOI BibTeX RDF
13	Marco Gaboardi, Simona Ronchi Della Rocca	A Soft Type Assignment System for lambda -Calculus.	CSL	2007	DBLP DOI BibTeX RDF
13	Ivan Lanese	Concurrent and Located Synchronizations in pi-Calculus.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
13	Pieter J. L. Cuijpers, Reinder J. Bril	Towards Budgeting in Real-Time Calculus: Deferrable Servers.	FORMATS	2007	DBLP DOI BibTeX RDF
13	James M. Tien	A Calculus for Service Innovation.	CEC/EEE	2007	DBLP DOI BibTeX RDF
13	Cliff B. Jones, Ken G. Pierce	What Can the pi-calculus Tell Us About the Mondex Purse System?	ICECCS	2007	DBLP DOI BibTeX RDF
13	Zina M. Ibrahim, Ahmed Y. Tawfik	An Abstract Theory and Ontology of Motion Based on the Regions Connection Calculus.	SARA	2007	DBLP DOI BibTeX RDF
13	Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya	An AOP Extended Lambda-Calculus.	SEFM	2007	DBLP DOI BibTeX RDF
13	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	The Calculus of Looping Sequences for Modeling Biological Membranes.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
13	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
13	Céline Kuttler, Joachim Niehren	Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
13	Claudio Eccher, Paola Lecca	Translating SBML Models into the Stochastic pi-Calculus for Stochastic Simulation.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
13	Michael Norrish	Mechanising lambda-calculus using a classical first order theory of terms with permutations.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF
13	Stan Kelly-Bootle	The calculus formally known as pi.	ACM Queue	2006	DBLP DOI BibTeX RDF
13	Gilles Barthe, Benjamin Grégoire, Fernando Pastawski	CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.	LPAR	2006	DBLP DOI BibTeX RDF
13	Chunqing Chen, Jin Song Dong	Applying Timed Interval Calculus to Simulink Diagrams.	ICFEM	2006	DBLP DOI BibTeX RDF	Verification, Z, Simulink, Real-Time Specification
13	Leo Freitas, Ana Cavalcanti 0001, Jim Woodcock 0001	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.	ICFEM	2006	DBLP DOI BibTeX RDF
13	Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro	: A Calculus for Service Oriented Computing.	ICSOC	2006	DBLP DOI BibTeX RDF
13	Robert Demolombe, Maria del Pilar Pozos Parra	Belief Revision in the Situation Calculus Without Plausibility Levels.	ISMIS	2006	DBLP DOI BibTeX RDF
13	Roland Meyer 0001, Johannes Faber, Andrey Rybalchenko	Model Checking Duration Calculus: A Practical Approach.	ICTAC	2006	DBLP DOI BibTeX RDF
13	Annabelle McIver	Quantitative µ-Calculus Analysis of Power Management in Wireless Networks.	ICTAC	2006	DBLP DOI BibTeX RDF
13	Vineet Padmanabhan, Guido Governatori	A Fibred Tableau Calculus for Modal Logics of Agents.	DALT	2006	DBLP DOI BibTeX RDF
13	Lorella Fatone, Pierluigi Maponi, Francesco Zirilli	Data Fusion and Filtering Via Calculus of Variations.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	Urban areas detection, Data fusion, Optimization algorithms
13	Claus Diem	An Index Calculus Algorithm for Plane Curves of Small Degree.	ANTS	2006	DBLP DOI BibTeX RDF
13	Erik Ernst, Klaus Ostermann, William R. Cook	A virtual class calculus.	POPL	2006	DBLP DOI BibTeX RDF	soundness, virtual classes
13	Arist Kojevnikov, Dmitry Itsykson	Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies.	ICALP (1)	2006	DBLP DOI BibTeX RDF
13	Benson S. Y. Lam, Hong Yan 0001	Improved Clustering Algorithm Based on Calculus of Variation.	ICPR (1)	2006	DBLP DOI BibTeX RDF
13	Nobuyuki Sugio, Shunichi Nambu, Toshinobu Kaneko	A Fast Calculus for the Linearizing Attack and Its Application to an Attack on KASUMI.	AAECC	2006	DBLP DOI BibTeX RDF
13	Manabu Shimakawa	Calculus of Interpolated Fuzzy Relation Type Fuzzy Reasoning Method.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
13	Alexander Bolotov, Oleg M. Grigoriev 0001, Vasilyi Shangin	Natural Deduction Calculus for Computation Tree Logic.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
13	Roy Dyckhoff, Delia Kesner, Stéphane Lengrand	Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.	IJCAR	2006	DBLP DOI BibTeX RDF
13	Peter Bogaert, Nico Van de Weghe, Anthony G. Cohn 0001, Frank Witlox, Philippe De Maeyer	The Qualitative Trajectory Calculus on Networks.	Spatial Cognition	2006	DBLP DOI BibTeX RDF
13	Iwan Tabakow	An Introduction to Fuzzy Propositional Calculus Using Proofs from Assumptions.	KES (2)	2006	DBLP DOI BibTeX RDF
13	Yisong Liu, Lili Dong, Yamin Sun	Cooperation Model of Multi-agent System Based on the Situation Calculus.	IAT	2006	DBLP DOI BibTeX RDF
13	Matthias Baaz, Norbert Preining, Richard Zach	Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.	ISMVL	2006	DBLP DOI BibTeX RDF
13	Meiling Wang, Lei Liu	A Pi-Calculus Based Ontology Change Management.	ASWC	2006	DBLP DOI BibTeX RDF
13	Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev 0001, Vasilyi Shangin	Natural Deduction Calculus for Linear-Time Temporal Logic.	JELIA	2006	DBLP DOI BibTeX RDF
13	Avik Chaudhuri	Dynamic Access Control in a Concurrent Object Calculus.	CONCUR	2006	DBLP DOI BibTeX RDF
13	Tachio Terauchi, Alex Aiken	A Capability Calculus for Concurrency and Determinism.	CONCUR	2006	DBLP DOI BibTeX RDF
13	Ariel Arbiser, Alexandre Miquel, Alejandro Ríos 0001	A Lambda-Calculus with Constructors.	RTA	2006	DBLP DOI BibTeX RDF
13	Tom Chothia	Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus.	FORTE	2006	DBLP DOI BibTeX RDF
13	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.	CiE	2006	DBLP DOI BibTeX RDF
13	Shawn Bowers, Bertram Ludäscher	A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
13	Yisong Liu, Gang Wang, Lili Dong, Yamin Sun	The Cooperation Behaviors of Multiple Intelligent Virtual Agents Based on the Situation Calculus.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
13	Stéphane Lengrand, Roy Dyckhoff, James McKinna	A Sequent Calculus for Type Theory.	CSL	2006	DBLP DOI BibTeX RDF
13	Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu	A Type System for the Relational Calculus of Object Systems.	ICECCS	2006	DBLP DOI BibTeX RDF
13	Daniel Köb, Franz Wotawa	Fundamentals of Debugging Using a Resolution Calculus.	FASE	2006	DBLP DOI BibTeX RDF
13	Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro	SCC: A Service Centered Calculus.	WS-FM	2006	DBLP DOI BibTeX RDF
13	Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto	Translating Orc Features into Petri Nets and the Join Calculus.	WS-FM	2006	DBLP DOI BibTeX RDF
13	Serge Autexier, Claudio Sacerdoti Coen	A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.	MKM	2006	DBLP DOI BibTeX RDF
13	Mingsheng Ying	pi-calculus with noisy channels.	Acta Informatica	2005	DBLP DOI BibTeX RDF
13	Naoki Kobayashi 0001	Type-based information flow analysis for the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF