|
|
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 |
36 | Chris George, Zhiming Liu 0001, Jim Woodcock 0001 (eds.) |
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Alan Burns 0001, Andy J. Wellings |
Delivering Real-Time Behaviour. |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Chris George |
Applicative Modelling with RAISE. |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Cliff B. Jones |
Understanding Programming Language Concepts Via Operational Semantics. |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Corrado Böhm (eds.) |
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975 |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Corrado Böhm, Mariangiola Dezani-Ciancaglini |
Lambda-terms as total or partial functions on normal forms. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Dana S. Scott |
Some philosophical issues concerning theories of combinators. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Marisa Venturini Zilli |
A model with nondeterministic computation. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Carlo Batini, Alberto Pettorossi |
On subrecursiveness in weak combinatory logic. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | J. W. de Bakker |
Least fixed points revisited. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Vladimir Yu. Sazonov |
Sequentially and parallelly computable functionals. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Dana S. Scott |
Combinators and classes. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | A. Dubinsky |
Computation on arbitrary algebras. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | |
Open problems. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Henk Barendregt |
Normed uniformly reflexive structures. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Giuseppe Jacopini |
A condition for identifying two elements of whatever model of combinatory logic. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Jan Willem Klop |
On solvability by lambda I - terms. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Peter H. Welch |
Continuous semantics and inside-out reductions. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
35 | Oliver Bittel |
Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving |
35 | Barbara Petit |
A Polymorphic Type System for the Lambda-Calculus with Constructors. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
strong normalisation, pattern matching, polymorphism, lambda-calculus |
35 | Anne Bouillard, Eric Thierry |
An Algorithmic Toolbox for Network Calculus. |
Discret. Event Dyn. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Functional (min,+) algebra, Algorithmics, Computational complexity, Network calculus |
35 | Marie-Renée Fleury, Myriam Quatrini |
A Mixed lambda-calculus. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization |
35 | Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
Building Decision Procedures in the Calculus of Inductive Constructions. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Inductive Constructions, Decision procedures, Theorem provers |
35 | András Gulyás, József Bíró |
Workload Loss Examinations with a Novel Probabilistic Extension of Network Calculus. |
Networking |
2006 |
DBLP DOI BibTeX RDF |
statistical multi- plexing, Network calculus, resource estimation |
35 | Yuming Jiang 0001 |
A basic stochastic network calculus. |
SIGCOMM |
2006 |
DBLP DOI BibTeX RDF |
independent case analysis, stochastic arrival curve, stochastic network calculus, stochastic quality of service guarantee, stochastic service curve, stochastic strict server |
35 | Hongbing Chen, Qun Yang, Manwu Xu |
A Calculus for MAS Interaction Protocol. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
Dialogue protocol, Multi-agent, Interaction protocol, ?-Calculus |
35 | Li Kuang, Ying Li 0001, ShuiGuang Deng, Jian Wu 0001, Wei Shi, Zhaohui Wu 0001 |
Expressing Service and Query Behavior Using pi-Calculus for Matchmaking. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
Service Behavior, Web Service, pi-calculus, Service Matchmaking |
35 | Frédéric Peschanski, Samuel Hym |
A stackless runtime environment for a Pi-calculus. |
VEE |
2006 |
DBLP DOI BibTeX RDF |
garbage collection, interpreter, operational semantics, Pi-calculus |
35 | Simon Helsen |
Bisimilarity for the Region Calculus. |
High. Order Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
region calculus, bisimulation, equational theory, contextual equivalence |
35 | Martin Fränzle |
Model-checking dense-time Duration Calculus. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Dense-time Duration Calculus, Model-checking, Decidability |
35 | Silvio do Lago Pereira, Leliane Nunes de Barros |
High-Level Robot Programming: An Abductive Approach Using Event Calculus. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
planning, abduction, event calculus, cognitive robotics |
35 | Luigi Liquori, Bernard P. Serpette |
iRho: an imperative rewriting calculus. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics |
35 | Thomas M. Schmidt, Frederick E. Petry, Roy Ladner |
The Object Event Calculus and Temporal Geographic Information Systems. |
IEA/AIE |
2003 |
DBLP DOI BibTeX RDF |
temporal object model, Event Calculus, spatiotemporal data, Temporal GIS |
35 | Riccardo Pucella |
Towards a formalization for COM part i: the primitive calculus. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
components, interfaces, type system, formalism, calculus, COM |
35 | Carola Eschenbach |
A Predication Calculus for Qualitative Spatial Representations. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
Topology, Inferences, Axiomatics, Qualitative Spatial Reasoning, Spatial Structure, Predication Calculus, Mereology |
35 | Alexander A. Razborov |
Lower Bounds for the Polynomial Calculus. |
Comput. Complex. |
1998 |
DBLP DOI BibTeX RDF |
polynomial calculus, Proof complexity, pigeonhole principle |
35 | Yuxi Fu |
The x-Calculus. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
bisimulation, pi-calculus |
35 | Luis Mandel, María Victoria Cengarle |
The Disjunctive Constrained Lambda Calculus. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
constraints, functional programming, lambda calculus, denotational semantics, multiple solutions |
35 | Michael R. Hansen, Zhou Chaochen |
Semantics and Completeness of Duration Calculus. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic |
35 | Markus Fidler, Jens B. Schmitt |
On the way to a distributed systems calculus: an end-to-end network calculus with data scaling. |
SIGMETRICS/Performance |
2006 |
DBLP DOI BibTeX RDF |
network calculus, packetizers, scaling functions |
34 | Nicolas Tabareau |
A theory of distributed aspects. |
AOSD |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Michele Bugliesi, Marco Giunti |
Secure implementations of typed channel abstractions. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
language encodings, typed behavioral theories, full abstraction |
34 | Orna Kupferman, Moshe Y. Vardi |
Π2 ∩ Σ2 ≡ AFMC. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Minimality Results for the Spatial Logics. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
The Rho Cube. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Matching Power. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Cristian Ene, Traian Muntean |
Expressiveness of Point-to-Point versus Broadcast Communications. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Davide Sangiorgi |
An Investigation into Functions as Processes. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Baohua Fan, Heying Zhang, Wenhua Dou |
A Max-plus Network Calculus. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Daisuke Kimura, Makoto Tatsuta |
Dual Calculus with Inductive and Coinductive Types. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Viorica R. Chifu, Ioan Salomie, Simona Manole |
Fluent Calculus Based Web Service Composition. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
34 | William Blum, C.-H. Luke Ong |
The Safe Lambda Calculus. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Juliana de Melo Bezerra, Celso Massaki Hirata |
A Semantics for UML-RT using n-calculus. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Ozan Kahramanogullari |
Reducing Nondeterminism in the Calculus of Structures. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Alexander J. Summers, Steffen van Bakel |
Approaches to Polymorphism in Classical Sequent Calculus. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget |
Sharing in the Weak Lambda-Calculus. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
34 | James Laird |
A Calculus of Coroutines. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Kentaro Kikuchi |
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Min Zhang, Guoqiang Li 0001, Yuxi Fu, Zhizhou Zhang 0003, Lin He 0007 |
Representation of the Signal Transduction with Aberrance Using Ipi Calculus. |
CIS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Philippe Bidinger, Jean-Bernard Stefani |
The Kell Calculus: Operational Semantics and Type System. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Karol Ostrovsky, K. V. S. Prasad, Walid Taha |
Towards a primitive higher order calculus of broadcasting systems. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
calculi, semantics, concurrency, broadcasting, programming languages, ethernet |
34 | Alexandre Miquel |
The Implicit Calculus of Constructions. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Alexander Scivos, Bernhard Nebel |
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation. |
COSIT |
2001 |
DBLP DOI BibTeX RDF |
languages of spatial relations, spatial and temporal reasoning, incomplete or imprecise spatial knowledge, ternary relation systems, constraint propagation, qualitative spatial reasoning |
34 | Jean-Marc Talbot |
On the Alternation-Free Horn Mu-calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Guillaume Gillard |
A Formalization of a Concurrent Object Calculus up to alpha-Conversion. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Pedro A. de Matos, João P. Martins |
Non-situation Calculus and Database Systems. |
FoIKS |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Björn Victor, Joachim Parrow |
Concurrent Constraints in the Fusion Calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Fairouz Kamareddine, Alejandro Ríos 0001 |
A Lambda-Calculus à la de Bruijn with Explicit Substitutions |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Jacques Garrigue, Hassan Aït-Kaci |
The Typed Polymorphic Label-Selective lambda-Calculus. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Roberto Di Cosmo, Delia Kesner |
A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Mitsuhiro Okada |
Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Guillaume Feuillade, Sophie Pinchinat |
Modal Specifications for the Control Theory of Discrete Event Systems. |
Discret. Event Dyn. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus |
32 | C. Barry Jay |
The pattern calculus. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming |
31 | Kohei Honda 0001, Nobuko Yoshida |
A uniform type structure for secure information flow. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
The ?-calculus, type-based program analysis, typing system, secure information flow |
31 | Antonino Salibra |
Topological incompleteness and order incompleteness of the lambda calculu. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models |
31 | Nikolay V. Shilov 0002, Natalya Olegovna Garanina |
Polynomial Approximations for Model Checking. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
model checking, complexity, Calculus |
31 | Ichiro Satoh |
A Formalism for Hierarchical Mobile Agents. |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
verification, mobile agents, specification, formal model, bisimulation, process calculus |
31 | Raymond K. Wong 0001, H. Lewis Chau |
Method Dispatching and Type Safety for Objects with Multiple Roles. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
objects with roles, type calculus, object-oriented databases |
31 | Maria Bulinska |
On the Complexity of Nonassociative Lambek Calculus with Unit. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Nonassociative Lambek calculus, P-TIME decidability, Context-free grammar |
31 | Luca Alberucci, Alessandro Facchini |
On Modal µ -Calculus and Gödel-Löb Logic. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Modal ?-Calculus, Gödel-Löb Logic, Fixpoint |
31 | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
Analyzing recursive programs using a fixed-point calculus. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
recursive systems, model-checking, abstraction, logic, software verification, mu-calculus |
31 | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
A Relational Model of a Parallel and Non-deterministic lambda-Calculus. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
denotational semantics, relational model, ?-calculus, non-determinism, parallel composition |
31 | Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana |
Positive Fork Graph Calculus. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
Positive relational calculi, fork algebras, graph calculus, completeness, decidability |
31 | Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda |
Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
artifitial intelligence, N?-labeled calculus, mathematical knowledge management, hybrid systems |
31 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
A compositional Petri net translation of general pi -calculus terms. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus |
31 | Hua Jiang, Xiang Li |
An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
calculation complexity, NP and co-NP problem, Model Checking, mu-Calculus |
31 | Shuailiang Ma, Li Zhang, Jimei He |
Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus. |
SERA |
2008 |
DBLP DOI BibTeX RDF |
Unified Business Process Model, Verification, Workflow, Formal Modeling, Pi Calculus |
31 | Chengzhi Li, Almut Burchard, Jörg Liebeherr |
A network calculus with effective bandwidth. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
QoS, network calculus, effective bandwidth, statistical multiplexing |
31 | David A. Schmidt |
State-transition machines for lambda-calculus expressions. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine |
31 | Kazushige Terui |
Light affine lambda calculus and polynomial time strong normalization. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Light logics, Lambda calculus, Polynomial time |
31 | Onur Aydin, Nihan Kesim Cicekli, Ilyas Cicekli |
Automated Web Services Composition with the Event Calculus. |
ESAW |
2007 |
DBLP DOI BibTeX RDF |
Planning, Web Service Composition, Event Calculus |
31 | Georg Moser, Richard Zach |
The Epsilon Calculus and Herbrand Complexity. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity |
31 | Anna Zamansky, Nissim Francez, Yoad Winter |
A 'Natural Logic' inference system using the Lambek calculus. |
J. Log. Lang. Inf. |
2006 |
DBLP DOI BibTeX RDF |
Natural logic, Inference, Normalization, Lambek calculus |
31 | Mikkel Bundgaard, Vladimiro Sassone |
Typed polyadic pi-calculus in bigraphs. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency |
31 | Roy Dyckhoff, Stéphane Lengrand |
LJQ: A Strongly Focused Calculus for Intuitionistic Logic. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
purification, call-by-value semantics, depth-bounded, guarded logic, Sequent calculus, focused |
31 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident |
31 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
Distributed Symbolic Model Checking for µ-Calculus. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
model checking, distributed, hardware verification, symbolic, Mu-calculus |
31 | Olivier Hermant |
Semantic Cut Elimination in the Intuitionistic Sequent Calculus. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo |
31 | Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman |
Deploying pi-Calculus Technology in Inter-organizational Process. |
WAIM |
2005 |
DBLP DOI BibTeX RDF |
Inter-organizational ?-calculus Technology, Business Process Management, Channels, Levels |
31 | Yonggen Gu, Yuxi Fu, Guoqiang Li 0001 |
A Simple Process Calculus for the analysis of Security Protocols. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
formal method, security protocol, security property, process calculus |
Displaying result #101 - #200 of 12317 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|