|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4972 occurrences of 1938 keywords
|
|
|
Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
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 |
|
|
|