Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Davide Sangiorgi |
Internal Mobility and Agent-Passing Calculi. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Ichiro Satoh, Mario Tokoro |
Time and Asynchrony in Interactions among Distributed Real-Time Objects. |
ECOOP |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Huimin Lin |
Unique Fixpoint Induction for Mobile Processes. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Torben Braüner |
The Girard Translation Extended with Recursion. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Tanel Tammet |
Completeness of Resolution for Definite Answers with Case Analysis. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Chaochen Zhou |
Duration Calculi: An Overview (Invited Paper). |
Formal Methods in Programming and Their Applications |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Mayr |
Refinements and Extensions of Model Elimination. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Weeks, Matthias Felleisen |
On the Orthogonality of Assignments and Procedures in Algol. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
ALGOL-60, ALGOL |
17 | Robin Milner |
Action Calculi, or Syntactic Action Structures. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Gérard Boudol |
Some Chemical Abstract Machines. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Thérèse Hardin |
Eta-conversion for the Languages of Explicit Substitutions. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
17 | David Sands |
Time Analysis, Cost Equivalence and Program Refinement. |
FSTTCS |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy |
Explicit Substitutions. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
17 | David J. Pym, Lincoln A. Wallen |
Investigations into Proof-Search in a System of First-Order Dependent Function Types. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Walther |
Many-Sorted Inferences in Automated Theorem Proving. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
17 | José Meseguer 0001 |
Relating Models of Polymorphism. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Michael Beeson |
Some Applications of Gentzen's Proof Theory in Automated Deduction. |
ELP |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Richard Kennaway, M. Ronan Sleep |
Director Strings as Combinators. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan K. Lee, Jens Palsberg |
Featherweight X10: a core calculus for async-finish parallelism. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
parallelism, static analysis, operational semantics |
17 | Neil D. Jones, Lars Kristiansen |
A flow calculus of mwp-bounds for complexity analysis. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
automatable complexity analysis of imperative programs, static program anaysis, Implicit computational complexity |
17 | Frank Puhlmann, Mathias Weske |
A Look Around the Corner: The Pi-Calculus. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Andrew H. Gleibman |
Intelligent Processing of an Unrestricted Text in First Order String Calculus. |
Trans. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry |
The Arrow Calculus as a Quantum Programming Language. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mudhakar Srivatsa, Dakshi Agrawal, Steffen Reidt |
A metadata calculus for secure information sharing. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
access control, risk management, information flow |
17 | Naoki Kobayashi 0001, C.-H. Luke Ong |
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ugo Dal Lago, Simone Martini 0001 |
On Constructor Rewrite Systems and the Lambda-Calculus. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Wojciech Buszkowski, Maciej Farulewski |
Nonassociative Lambek Calculus with Additives and Context-Free Languages. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Besana, Adam Barker |
An Executable Calculus for Service Choreography. |
OTM Conferences (1) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Matthew Curland, Terry A. Halpin, Kurt Stirewalt |
A Role Calculus for ORM. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Hui Hou, Jinzhao Wu |
Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Natthapong Jungteerapanich |
A Tableau System for the Modal µ-Calculus. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Régis Alenda, Nicola Olivetti, Camilla Schwind |
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Bianca Boretti, Sara Negri |
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mathias John, Cédric Lhoussaine, Joachim Niehren |
Dynamic Compartments in the Imperative pi-Calculus. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yury Savateev |
Product-Free Lambek Calculus Is NP-Complete. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Makoto Tatsuta |
Non-Commutative First-Order Sequent Calculus. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jingwei Huang 0002, David M. Nicol |
A calculus of trust and its application to PKI and identity management. |
IDtrust |
2009 |
DBLP DOI BibTeX RDF |
semantics of trust, social networks, uncertainty, PKI, risk assessment, identity management, trust modeling |
17 | Stephan Grimm, Pascal Hitzler |
A Preferential Tableaux Calculus for Circumscriptive ALCO{\mathcal ALCO}. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoyue Jiang |
New perspectives on network calculus. |
SIGMETRICS Perform. Evaluation Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | A. Y. Vaninsky |
Using Graphing Calculators for Teaching Advanced Calculus Courses. |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hong Zhang, Lei Liu |
An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting. |
ISECS |
2008 |
DBLP DOI BibTeX RDF |
Boxed Ambients, the ambient occurrence counting, abstract interpretation |
17 | Philipp Rümmer |
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Walid Belkhir, Luigi Santocanale |
The Variable Hierarchy for the Lattice µ-Calculus. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jing Li 0062, Huibiao Zhu, Jifeng He 0001 |
An Observational Model for Transactional Calculus of Services Orchestration. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Bruni, Leonardo Gaetano Mezzina |
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hualiang Li, Tülay Adali |
Stability analysis of complex maximum likelihood ica using Wirtinger calculus. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Doina Bucur, Mogens Nielsen |
Secure Data Flow in a Calculus for Context Awareness. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
security, Ubiquitous Computing, context awareness, type system, Mobile Ambients |
17 | Bruno Barras, Bruno Bernardo |
The Implicit Calculus of Constructions as a Programming Language with Dependent Types. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hugo Torres Vieira, Luís Caires, João Costa Seco |
The Conversation Calculus: A Model of Service-Oriented Computation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Monadic Translation of Intuitionistic Sequent Calculus. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Peter Höfner, Georg Struth |
On Automating the Calculus of Relations. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 |
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Leonardo Gaetano Mezzina |
How to Infer Finite Session Types in a Calculus of Services and Sessions. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Étienne Lozes, Jules Villard |
A Spatial Equational Logic for the Applied pi-Calculus. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Heverton B. Macêdo, Marcelo J. L. Lima, Gina M. B. Oliveira |
Searching for a Cryptographic Model Based on the Pre-Image Calculus of Cellular Automata. |
SBRN |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Marek Kwiatkowski, Ian Stark |
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Schmidt-Schauß, Elena Machkasova |
A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Temesghen Kahsai, Marino Miculan |
Implementing Spi Calculus Using Nominal Techniques. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Roland Meyer 0001 |
On Boundedness in Depth in the pi-Calculus. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
Verification of Choreographies During Execution Using the Reactive Event Calculus. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Marco Pedicini, Francesco Quaglia |
PELCR: Parallel environment for optimal lambda-calculus reduction. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
optimal reduction, virtual reduction, Functional programming, linear logic, parallel implementation, geometry of interaction |
17 | Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind |
A sequent calculus and a theorem prover for standard conditional logics. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Analytic sequent calculi, labeled deductive systems, logic programming, proof theory, automated deduction, conditional logics |
17 | Michael Moortgat |
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Annie Foret |
Pregroup Calculus as a Logic Functor. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups |
17 | Thomas Bolander, René Rydhof Hansen |
Hybrid Logical Analyses of the Ambient Calculus. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
static analysis, Hybrid logic, mobile ambients |
17 | Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
A calculus of challenges and responses. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, authentication protocols, process calculi |
17 | Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu 0001, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan |
Modelling with Relational Calculus of Object and Component Systems - rCOS. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
Design, Refinement, Transformation, Requirements Modelling |
17 | Slawomir P. Maludzinski, Grzegorz Dobrowolski |
Agent Environment and Knowledge in Distributed Join Calculus. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Zining Cao |
Bisimulations for a Distributed Higher Order pi -Calculus. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Christophe Fouqueré |
A Logical Calculus for Modelling Interferences. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | René David, Karim Nour |
An Arithmetical Proof of the Strong Normalization for the lambda -Calculus with Recursive Equations on Types. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lionel Vaux |
Convolution λ̅μ-Calculus. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Dang Van Hung |
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Hirschkoff, Damien Pous |
A Distribution Law for CCS and a New Congruence Result for the pi-Calculus. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Etienne E. Kerre |
An Overview of Fuzzy Relational Calculus and Its Applications. |
MDAI |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Alwen Tiu |
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
A Probabilistic Applied Pi-Calculus. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
A Concurrent Calculus with Atomic Transactions. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
Static vs Dynamic Typing for Access Control in Pi-Calculus. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jens B. Schmitt, Frank A. Zdarsky, Lothar Thiele |
A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Roberto M. Amadio, Frédéric Dabrowski |
Feasible reactivity in a synchronous Pi-calculus. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
concurrency, reactivity, resources control |
17 | Céline Kuttler, Cédric Lhoussaine, Joachim Niehren |
A Stochastic Pi Calculus for Concurrent Objects. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ehrhard, Olivier Laurent 0001 |
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Laura Bozzelli |
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Phillips, Luca Cardelli |
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sergei N. Artëmov, Eduardo Bonelli |
The Intensional Lambda Calculus. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hidenori Kurokawa |
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Fabio Gadducci, Alberto Lluch-Lafuente |
Graphical Encoding of a Spatial Logic for the pi -Calculus. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Konstantin Korovin, Andrei Voronkov |
Integrating Linear Arithmetic into Superposition Calculus. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Fei Xu, Zhiwei Yu |
A Workflow Verification Method Based on Calculus. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Céline Kuttler |
Simulating Bacterial Transcription and Translation in a Stochastic pi Calculus. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Almut Burchard, Jörg Liebeherr, Stephen D. Patek |
A Min-Plus Calculus for End-to-End Statistical Service Guarantees. |
IEEE Trans. Inf. Theory |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Bruni, Ivan Lanese |
PRISMA: A Mobile Calculus with Parametric Synchronization. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Silvia Crafa, Sabina Rossi |
P-congruences as non-interference for the pi-calculus. |
FMSE |
2006 |
DBLP DOI BibTeX RDF |
process calculi, noninterference, downgrading |
17 | Peter Baumgartner 0001, Alexander Fuchs 0003, Cesare Tinelli |
Lemma Learning in the Model Evolution Calculus. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulation Congruences in the Calculus of Looping Sequences. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor |
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ming-Deh A. Huang, Wayne Raskind |
Signature Calculus and Discrete Logarithm Problems. |
ANTS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jing Zhou, Guosun Zeng |
Describing and Reasoning on the Composition of Grid Services Using Pi-Calculus. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the Confluence of lambda-Calculus with Conditional Rewriting. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|