Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Baohua Fan, Heying Zhang, Wenhua Dou	A Time Varying Network Calculus.	NCM	2009	DBLP DOI BibTeX RDF	convolution, network calculus, time varying, dioid
18	Jens B. Schmitt, Ivan Martinovic	Demultiplexing in Network Calculus- A Stochastic Scaling Approach.	QEST	2009	DBLP DOI BibTeX RDF	demultiplexing, stochastic scaling, network calculus, performance bounds
18	Zhanjun Li, Yongzhong Huang, Shaozhong Guo	Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns.	ITNG	2009	DBLP DOI BibTeX RDF	parallel computing patterns, Pi Calculus, grid workflow, formalizing description
18	Victor Khomenko, Roland Meyer 0001	Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete.	ACSD	2009	DBLP DOI BibTeX RDF	Structural Congruence, Computational Complexity, Graph Isomorphism, pi-Calculus
18	Huiqiang Wang, Hongwu Lv, Guangsheng Feng	A Self-Reflection Model for Autonomic Computing Systems Based on p-Calculus.	NSS	2009	DBLP DOI BibTeX RDF	p-Calculus, context-awareness, autonomic computing, self-awareness, self-reflection
18	Zining Cao	A True Concurrent Process Calculus and Its Conflict Bisimulation.	SNPD	2009	DBLP DOI BibTeX RDF	Bisimulation, Process Calculus, True Concurrency
18	Wei Zheng, Yian Zhu, Fang-fang Duan	Timed High-Order p Calculus and Multi-resolution Time Constraints.	SNPD	2009	DBLP DOI BibTeX RDF	component-based real-time software, timed high-order p calculus, weak-timed mutual-simulation relationship, multi-resolution time constraints
18	Xiaojuan Cai, Yonggen Gu	Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	Probabilistic Applied Pi Calculus, Dinning Cryptographer Problem, Anonymity
18	Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana	On a Graph Calculus for Algebras of Relations.	WoLLIC	2008	DBLP DOI BibTeX RDF	Relational language, reasoning from hypotheses, graph calculus, completeness, complementation
18	Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn	Lambda Calculus as a Workflow Model.	GPC Workshops	2008	DBLP DOI BibTeX RDF	workflow, lambda calculus
18	Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel	Calculus of Nonrigid Surfaces for Geometry and Texture Manipulation.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Isometric embedding, minimum-distortion mapping, generalized multidimensional scaling, expression exaggeration, virtual dressing, virtual body painting, calculus of surfaces, texture mapping, morphing, correspondence problem, face animation
18	Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen	Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	lambda-I-calculus, thunkification translation, normalization, functionals, continuation passing style translation
18	Grigori Mints, Darko Sarenac	Completeness of indexed epsilon-calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Epsilon calculus, Finite choice, Completeness
18	Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine	The receptive distributed pi-calculus.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	resource access control, distribution, ?-Calculus, receptivity
18	Sungwoo Park	A calculus for probabilistic languages.	TLDI	2003	DBLP DOI BibTeX RDF	probabilistic calculus, probabilistic language, refinement type system
18	Ivan Kramosil	Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions.	Soft Comput.	2001	DBLP DOI BibTeX RDF	First-order predicate calculus, Standard semantics, Boolean-like semantics, Frequentistic semantics, Completeness theorems
18	Marco Pedicini, Francesco Quaglia	A parallel implementation for optimal lambda-calculus reduction.	PPDP	2000	DBLP DOI BibTeX RDF	optimal reduction, virtual reduction, functional programming, linear logic, lambda calculus, parallel implementation, geometry of interaction
18	Atsushi Ohori	A Polymorphic Record Calculus and Its Compilation.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	record calculus, compilation, polymorphism, type inference, type theory
18	Toniann Pitassi, Alasdair Urquhart	The Complexity of the Hajós Calculus	FOCS	1992	DBLP DOI BibTeX RDF	Hajos calculus, nondeterministic procedure, polynomially-bounded, Frege proof systems, complexity, graph theory
18	E. Allen Emerson, Charanjit S. Jutla	Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	infinite trees, online algorithms, decidability, finite automata, equivalence, complementation, mu-calculus, infinite games, determinacy
18	C.-H. Luke Ong	Fully Abstract Models of the Lazy Lambda Calculus	FOCS	1988	DBLP DOI BibTeX RDF	convergence testing, lazy lambda calculus, lazy languages, functional languages, proof theory, model theory, abstract models
17	Linda Postniece	Deep Inference in Bi-intuitionistic Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
17	Lutz Straßburger	Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic.	TLCA	2009	DBLP DOI BibTeX RDF
17	Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani	Normal Bisimulations in Calculi with Passivation.	FoSSaCS	2009	DBLP DOI BibTeX RDF
17	Peter Baumgartner 0001, Uwe Waldmann	Superposition and Model Evolution Combined.	CADE	2009	DBLP DOI BibTeX RDF
17	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
17	Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach	Superposition Modulo Linear Arithmetic SUP(LA).	FroCoS	2009	DBLP DOI BibTeX RDF
17	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
17	Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli	(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.	LPAR	2008	DBLP DOI BibTeX RDF
17	Yves Bertot	A Short Presentation of Coq.	TPHOLs	2008	DBLP DOI BibTeX RDF
17	Kentaro Kikuchi, Stéphane Lengrand	Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.	FoSSaCS	2008	DBLP DOI BibTeX RDF
17	Kazuyuki Asada	Extensional Universal Types for Call-by-Value.	APLAS	2008	DBLP DOI BibTeX RDF
17	Lijun Lun, Hui Xu	An Approach to Software Architecture Testing.	ICYCS	2008	DBLP DOI BibTeX RDF
17	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.	IJCAR	2008	DBLP DOI BibTeX RDF
17	José Nuno Oliveira	Extended Static Checking by Calculation Using the Pointfree Transform.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF	formal methods, Theoretical foundations, proof obligations, extended static checking
17	Malgorzata Biernacka, Olivier Danvy	A concrete framework for environment machines.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	closures, derivation, Abstract machines, explicit substitutions
17	Alessandro Ferrante, Aniello Murano	Enriched µ-Calculi Module Checking.	FoSSaCS	2007	DBLP DOI BibTeX RDF
17	Jan Schwinghammer	On Normalization by Evaluation for Object Calculi.	TYPES	2007	DBLP DOI BibTeX RDF
17	Matthias Baaz, George Metcalfe	Proof Theory for First Order Lukasiewicz Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
17	Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya	On Sampling Abstraction of Continuous Time Logic with Durations.	TACAS	2007	DBLP DOI BibTeX RDF
17	Philippe Bidinger, Adriana B. Compagnoni	Pict Correctness Revisited.	FMOODS	2007	DBLP DOI BibTeX RDF
17	Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel	Modeling Static Biological Compartments with Beta-binders.	AB	2007	DBLP DOI BibTeX RDF
17	José Espírito Santo	Delayed Substitutions.	RTA	2007	DBLP DOI BibTeX RDF
17	Kentaro Kikuchi	Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.	RTA	2007	DBLP DOI BibTeX RDF
17	Rajeev Goré, Linh Anh Nguyen	Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.	CLIMA	2007	DBLP DOI BibTeX RDF
17	Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001	The next 700 data description languages.	POPL	2006	DBLP DOI BibTeX RDF	domain-specific languages, dependent types, data description language
17	Naoki Kobayashi 0001	A New Type System for Deadlock-Free Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
17	José Espírito Santo, Maria João Frade, Luís Pinto 0001	Structural Proof Theory as Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
17	Ping Yang 0002, Yifei Dong, C. R. Ramakrishnan 0001, Scott A. Smolka	A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.	PADL	2005	DBLP DOI BibTeX RDF
17	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
17	Ugo Montanari, Marco Pistore	History-Dependent Automata: An Introduction.	SFM	2005	DBLP DOI BibTeX RDF
17	Jens Otten	Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
17	Jochen Renz, Gérard Ligozat	Weak Composition for Qualitative Spatial and Temporal Reasoning.	CP	2005	DBLP DOI BibTeX RDF
17	Yih-Jiun Lee, Peter Henderson 0001	A Practical Modelling Notation for Secure Distributed Computation.	AINA	2005	DBLP DOI BibTeX RDF
17	Jan van Eijck	Natural Logic for Natural Language.	TbiLLC	2005	DBLP DOI BibTeX RDF
17	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Inflationary fixed points in modal logic.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Fixed-point logics, complexity, modal logic, decidability, expressive power
17	Mariya Koshkina, Franck van Breugel	Modelling and verifying web service orchestration by means of the concurrency workbench.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	concurrency workbench of the new century, process algebra compiler, web service, modelling, verification, business process, BPEL4WS
17	Simon Helsen, Peter Thiemann 0001	Polymorphic specialization for ML.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	regions, program specialization, Binding-time analysis
17	Carlos Areces, Daniel Gorín	Ordered Resolution with Selection for H(@).	LPAR	2004	DBLP DOI BibTeX RDF
17	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Comparing Recursion, Replication, and Iteration in Process Calculi.	ICALP	2004	DBLP DOI BibTeX RDF
17	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne	Characterizing strong normalization in a language with control operators.	PPDP	2004	DBLP DOI BibTeX RDF	functional programming, continuations, classical logic, intersection type
17	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Imperative Object-Based Calculi in Co-inductive Type Theories.	LPAR	2003	DBLP DOI BibTeX RDF
17	Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca	Mixin Modules and Computational Effects.	ICALP	2003	DBLP DOI BibTeX RDF
17	Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone	Secrecy in Untrusted Networks.	ICALP	2003	DBLP DOI BibTeX RDF
17	Reinhold Letz, Gernot Stenz	Universal Variables in Disconnection Tableaux.	TABLEAUX	2003	DBLP DOI BibTeX RDF
17	Reinhard Moratz, Bernhard Nebel, Christian Freksa	Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs.	Spatial Cognition	2003	DBLP DOI BibTeX RDF	Cognitive Modelling, Robot Navigation, Qualitative Spatial Reasoning
17	Vladimir Rogozhin, Elena Boian	Simulation of Mobile Ambients by P Systems. Part 1.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
17	Kohei Honda 0001, Nobuko Yoshida	A uniform type structure for secure information flow.	POPL	2002	DBLP DOI BibTeX RDF
17	Ulrich Schöpp, Alex K. Simpson	Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.	FoSSaCS	2002	DBLP DOI BibTeX RDF
17	Martin Erwig, Deling Ren	A rule-based language for programming software updates.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	type change, update program, update safey, type correctness
17	Michael Huth 0001	Model Checking Modal Transition Systems Using Kripke Structures.	VMCAI	2002	DBLP DOI BibTeX RDF
17	Ichiro Ogata	A Proof Theoretical Account of Continuation Passing Style.	CSL	2002	DBLP DOI BibTeX RDF	Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value
17	Reinhold Letz, Gernot Stenz	Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux.	LPAR	2001	DBLP DOI BibTeX RDF
17	Ugo de'Liguoro	Characterizing Convergent Terms in Object Calculi via Intersection Types.	TLCA	2001	DBLP DOI BibTeX RDF
17	Francesco Ranzato	On the Completeness of Model Checking.	ESOP	2001	DBLP DOI BibTeX RDF
17	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Inflationary Fixed Points in Modal Logic.	CSL	2001	DBLP DOI BibTeX RDF
17	Iluju Kiringa	Simulation of Advanced Transaction Models Using GOLOG.	DBPL	2001	DBLP DOI BibTeX RDF
17	Ricardo Caferra, Nicolas Peltier, François Puitg	Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF	Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning
17	Jean-Louis Krivine	The Curry-Howard Correspondence in Set Theory.	LICS	2000	DBLP DOI BibTeX RDF
17	Luca Cardelli, Andrew D. Gordon 0001	Anytime, Anywhere: Modal Logics for Mobile Ambients.	POPL	2000	DBLP DOI BibTeX RDF
17	Albert Atserias, Nicola Galesi, Ricard Gavaldà	Monotone Proofs of the Pigeon Hole Principle.	ICALP	2000	DBLP DOI BibTeX RDF
17	Kohei Honda 0001, Vasco Thudichum Vasconcelos, Nobuko Yoshida	Secure Information Flow as Typed Process Behaviour.	ESOP	2000	DBLP DOI BibTeX RDF
17	Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets	Evidence Algorithm and Sequent Logical Inference Search.	LPAR	1999	DBLP DOI BibTeX RDF
17	Eike Ritter	Characterising Explicit Substitutions which Preserve Termination.	TLCA	1999	DBLP DOI BibTeX RDF
17	Alan Jeffrey, Julian Rathke	Towards a Theory of Bisimulation for Local Names.	LICS	1999	DBLP DOI BibTeX RDF	nominal calculi, semantics, bisimulation
17	Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov	Probabilistic Polynomial-Time Equivalence and Security Analysis.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
17	Gilles Barthe, Maria João Frade	Constructor Subtyping.	ESOP	1999	DBLP DOI BibTeX RDF
17	Anna Mikhajlova, Joakim von Wright	Proving Isomorphism of First-Order Logic Proof Systems in HOL.	TPHOLs	1998	DBLP DOI BibTeX RDF
17	Tyrone O'Neill, Norman Y. Foo	Reasoning about Continuous Change.	PRICAI	1998	DBLP DOI BibTeX RDF
17	Ian Mackie	YALE: Yet Another Lambda Evaluator Based on Interaction Nets.	ICFP	1998	DBLP DOI BibTeX RDF
17	Jochen Renz, Bernhard Nebel	Spatial Reasoning with Topological Information.	Spatial Cognition	1998	DBLP DOI BibTeX RDF
17	Bruce C. Hartman, Thomas Lee Rodgers	Developing Proficiency in Math: Cause and Effect in a Cognitive Process.	HICSS (1)	1998	DBLP DOI BibTeX RDF
17	Michael Thielscher	Towards State Update Axioms: Reifying Successor State Axioms.	JELIA	1998	DBLP DOI BibTeX RDF
17	Jan Willem Klop	Origin Tracking in Term Rewriting (Abstract).	RTA	1998	DBLP DOI BibTeX RDF
17	N. Raja 0001, R. K. Shyamasundar	Actors as a Coordinating Model of Computation (Extended Abstract).	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
17	Leonid Libkin, Rona Machlin, Limsoon Wong	A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
17	V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles	Tree Adjoining Grammars in Noncommutative Linear Logic.	LACL	1996	DBLP DOI BibTeX RDF
17	Björn Victor, Joachim Parrow	Constraints as Processes.	CONCUR	1996	DBLP DOI BibTeX RDF
17	Vincent Danos, Marco Pedicini, Laurent Regnier	Directed Virtual Reductions.	CSL	1996	DBLP DOI BibTeX RDF
17	Satoshi Okui, Aart Middeldorp, Tetsuo Ida	Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract).	TAPSOFT	1995	DBLP DOI BibTeX RDF