|
|
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 |
21 | Peter H. Schmitt, Wolfgang Wernecke |
Tableau Calculus for Order Sorted Logic. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Frank Pfenning, Christine Paulin-Mohring |
Inductively Defined Types in the Calculus of Constructions. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Felleisen, Daniel P. Friedman |
A Calculus for Assignments in Higher-Order Languages. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Loe M. G. Feijs |
The Calculus lambda-pi. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Bernd Becker 0001, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof |
Hierarchical Design Based on a Calculus of Nets. |
DAC |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Axel Poigné |
Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus. |
STACS |
1984 |
DBLP DOI BibTeX RDF |
|
21 | Klaus J. Berkling, Elfriede Fehr |
A Modification of the Lambda-Calculus as a Base for Functional Programming Languages. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
21 | James R. Slagle |
Interpolation Theorems for Resolution in Lower Predicate Calculus. |
J. ACM |
1970 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Asperti, Juliusz Chroboczek |
Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations - Optimizing Optimal lambda-Calculus Implementations. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Optimal reduction, Functional programming, Sharing |
20 | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001 |
Relational Methods in the Analysis of While Loops: Observations of Versatility. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus |
20 | Ernesto Wandeler, Alexander Maxiaguine, Lothar Thiele |
Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications. |
Real Time Syst. |
2005 |
DBLP DOI BibTeX RDF |
end-to-end delay analysis, real-time multimedia analysis, performance analysis, network calculus, real-time calculus |
20 | Daniel Jackson 0001, Ilya Shlyakhter, Manu Sridharan |
A micromodularity mechanism. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language |
20 | Karl Heinrich Hofmann |
An Illustration of the Power of Structure Theory. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
topological semigroup, operator semigroup, van der Waerdens Theorem on arithmetic progressions, models of the untyped -calculus, calculus, semigroup, Ramsey theory |
20 | Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson |
Pseudorandom Generators in Propositional Proof Complexity. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
combinatorial pseudorandom generators, Nisan-Wigderson generator, Tseitin tautologies, polynomial calculus with resolution, polynomial calculus, computational complexity, theorem proving, process algebra, resolution, random processes, pseudorandom generators, propositional proof complexity |
20 | John Power, Edmund Robinson |
Logical relations, data abstraction, and structured fibrations. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, linear ?-calculus, interpretations, ?-calculus, logical relations |
20 | Abdullah Uz Tansel |
Temporal Relational Data Model. |
IEEE Trans. Knowl. Data Eng. |
1997 |
DBLP DOI BibTeX RDF |
Collapsed set operations, equivalence of relational algebra and calculus, temporal reduction, temporal relational algebra, temporal relational calculus, temporal databases, relational model |
20 | Yoshikane Takahashi |
Fuzzy Database Query Languages and Their Relational Completeness Theorem. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
fuzzy database query languages, relational completeness theorem, fuzzy calculus query language, fuzzy algebra query language, information retrieval, relational databases, query languages, fuzzy sets, fuzzy set theory, relational calculus, truth values, attribute values |
20 | Leen Helmink |
Resolution and Type Theory. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
Calculus of Constructions, Type Theory, Natural Deduction, Typed Lambda Calculus |
20 | Corrado Böhm, Adolfo Piperno |
Surjectivity for Finite Sets of Combinators by Weak Reduction. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
Pure -calculus, combinatory algebras, surjectivity, discriminability or X-separability in -()-calculus |
18 | Elvira Di Nardo, Giuseppe Guarino, Domenico Senato |
A new method for fast computing unbiased estimators of cumulants. |
Stat. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Univariate and multivariate k-statistics, Univariate and multivariate polykays, Umbral calculus |
18 | Benoît Montagu, Didier Rémy |
Modeling abstract types in modules with open existential types. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types |
18 | Thein Than Tun, Yijun Yu, Robin C. Laney, Bashar Nuseibeh |
Early Identification of Problem Interactions: A Tool-Supported Approach. |
REFSQ |
2009 |
DBLP DOI BibTeX RDF |
Problem Composition, Problem Interactions, Event Calculus, Problem Frames |
18 | Tillmann Rendel, Klaus Ostermann, Christian Hofer |
Typed self-representation. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
self interpretation, reflection, types, lambda calculus, language design |
18 | Rafael del Vado Vírseda |
A higher-order logical framework for the algorithmic debugging and verification of declarative programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus |
18 | Antonio DiCarlo, Franco Milicchio, Alberto Paoluzzi, Vadim Shapiro |
Discrete physics using metrized chains. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
discrete calculus, geometric and physical modeling |
18 | Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001 |
A compositional theory for STM Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, compositional reasoning, ambient calculus |
18 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of meta-variables. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
meta-variable, context, ?-calculus, logical framework |
18 | Francisco Martín-Recuerda, Dave Robertson 0001 |
Discovery and Uncertainty in Semantic Web Services. |
URSW (LNCS Vol.) |
2008 |
DBLP DOI BibTeX RDF |
F-X, Incidence Calculus, Web services, probability, Semantic Web services, discovery, capability, broker |
18 | Rolf Grütter, Bettina Bauer-Messmer, Martin Hägeli |
Extending an ontology-based search with a formalism for spatial reasoning. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
national spatial data infrastructure, ontology-based search, region connection calculus, spatioterminological reasoning |
18 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation for Parametric Polymorphism. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
LTS, bisimulation, parametric polymorphism, typed lambda calculus |
18 | Aleksander Wojdyga |
Short Proofs of Strong Normalization. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
permutative reductions, lambda calculus, system F, CPS-translation, strong normalization |
18 | Ralf Hinze |
Functional pearl: streams and unique fixed points. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
finite calculus, unique fixed points, streams, generating functions, recurrences, coinduction |
18 | Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher |
Hierarchical Modeling for Computational Biology. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
model components, DEVS, hierarchical models, pi calculus, multi-level modeling |
18 | Sarmad Sadik, M. Alade Rahman, Arshad Ali, Hafiz Farooq Ahmad, Hiroki Suguri |
A Formal Approach for Design of Agent Based Earthquake Management System (EMS). |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Earthquake management system, Software agents, Formalism, Pi-Calculus |
18 | Julian Eckert, Stefan Schulte 0002, Michael Niemann, Nicolas Repp, Ralf Steinmetz |
Worst-Case Workflow Performance Optimization. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
Web service Workflow, Quality of Service, Service-oriented Architecture, Performance Optimization, Network Calculus |
18 | Sylvain Lippi |
The graphical Krivine machine. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Interaction nets, Sharing-graphs, Distributed computation, Linear logic, Rewriting, ?-calculus |
18 | Swen Jacobs, Uwe Waldmann |
Comparing Instance Generation Methods for Automated Reasoning. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
disconnection calculus, primal partial instantiation, resolution-based instance generation, theorem proving, automated reasoning |
18 | André Platzer |
Differential Dynamic Logic for Verifying Parametric Hybrid Systems. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
verification of parametric hybrid systems, dynamic logic, quantifier elimination, sequent calculus |
18 | André Platzer |
A Temporal Dynamic Logic for Verifying Hybrid System Invariants. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus |
18 | Nobuyoshi Hashimoto, Hideo Kato, Kyohei Matsui |
Training of Tooth Scaling by Simulator - Development of Simulator and Investigation of its Effectiveness -. |
ICAT |
2007 |
DBLP DOI BibTeX RDF |
Skill training, Skill evaluation, Tooth scaling, Hand scaler, Dental calculus, Mixed Reality |
18 | Sonia Fagorzi, Elena Zucca |
A Framework for Type Safe Exchange of Mobile Code. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
parametric calculus, static and dynamic typechecking, subtyping, mobile code |
18 | Sam Tobin-Hochstadt, Matthias Felleisen |
Interlanguage migration: from scripts to programs. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
interlanguage migration, contract, ?-calculus, module systems |
18 | Corin Pitcher, James Riely |
Dynamic Policy Discovery with Remote Attestation. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
code-identity based access control, policy establishment, Next Generation Secure Computing Base, ?-calculus, key establishment, remote attestation |
18 | Bernhard Beckert, André Platzer |
Dynamic Logic with Non-rigid Functions. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
logical foundations of programming languages, object-orientation, software verification, Dynamic logic, sequent calculus, program logic |
18 | Roberta Gori, Francesca Levi |
A New Occurrence Counting Analysis for BioAmbients. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
Mobile Ambients and BioAmbients calculus, static analysis, abstract interpretation |
18 | Florin Ciucu, Almut Burchard, Jörg Liebeherr |
A network service curve approach for the stochastic analysis of networks. |
SIGMETRICS |
2005 |
DBLP DOI BibTeX RDF |
network service curve, stochastic network calculus, quality-of-service |
18 | David Lambert, David Robertson 0001 |
Matchmaking multi-party interactions using historical performance data. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
incidence calculus, service composition |
18 | Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi |
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. |
J. Autom. Reason. |
2004 |
DBLP DOI BibTeX RDF |
lambda conversion, implementation, lambda calculus, explicit substitution |
18 | Alain Griffault, Aymeric Vincent |
The Mec 5 Model-Checker. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
AltaRica, model-checking, BDDs, calculus |
18 | Nobuko Yoshida |
Channel dependent types for higher-order mobile processes. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
the higher-order ?-calculus, access control, types, secrecy, mobile processes |
18 | Silvio do Lago Pereira, Leliane Nunes de Barros |
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
planning, theorem proving, abduction, event calculus |
18 | Stefan Blom |
An Approximation Based Approach to Infinitary Lambda Calculi. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
infinitary rewriting, lambda calculus |
18 | Bo Chen, Mingtian Zhou |
ODWIS as a Prototype of Knowledge Service Layer in Semantic Grid. |
PDCAT |
2004 |
DBLP DOI BibTeX RDF |
Ontology-Driven Web Information System, Granular Representation Calculus, Semantic Grid |
18 | Dexter Kozen, Jerzy Tiuryn |
Substructural logic and partial correctness. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests |
18 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
From Pre-Historic to Post-Modern Symbolic Model Checking. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
forward traversal, regular specifications, symbolic model checking, calculus |
18 | Dietmar Berwanger |
Game Logic is Strong Enough for Parity Games. |
Stud Logica |
2003 |
DBLP DOI BibTeX RDF |
game logic, modal mu-calculus, model checking, expressive power |
18 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Theorem Proving Modulo. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo |
18 | Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo |
An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2003 |
DBLP DOI BibTeX RDF |
Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic |
18 | Jan Friso Groote, Tim A. C. Willemse |
A Checker for Modal Formulae for Processes with Data. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL |
18 | Amal El Fallah Seghrouchni, Alexandru Suna |
CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents. |
PROMAS |
2003 |
DBLP DOI BibTeX RDF |
Mobile agents, Agent oriented programming, Ambient calculus |
18 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
Complexity of Nesting Analysis in Mobile Ambients. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
Complexity, Static Analysis, Ambient Calculus |
18 | Bernhard K. Aichernig |
The Commuting V-Diagram. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
formal methods, refinement, contracts, specification-based testing, refinement calculus |
18 | Viviana Bono, Michele Bugliesi, Silvia Crafa |
Typed interpretations of extensible objects. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization |
18 | Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
uniform Horn clauses, strongly recognizable relations, Program analysis, Spi calculus |
18 | Jochen Hoenicke, Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL |
18 | Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak |
Logical Relations for Monadic Types. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
semantics, monads, logical relations, typed lambda-calculus |
18 | Jean-François Dufourd, Sven Luther |
Interacting with parametrized geometric objects using lambda-terms. |
Symposium on Solid Modeling and Applications |
2002 |
DBLP DOI BibTeX RDF |
interaction, functional programming, geometric modeling, parameterization, ?-calculus, boundary representation |
18 | Daniel Hirschkoff |
Bisimulation verification using the up to techniques. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Up to bisimulation, Verification, Bisimulation, Pi-calculus |
18 | Silvio Valentini |
An elementary proof of strong normalization for intersection types. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Normalization, Lambda calculus, Intersection types |
18 | Georg Struth |
Calculating Church-Rosser Proofs in Kleene Algebra. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics |
18 | Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn |
Linear Ramified Higher Type Recursion and Parallel Complexity. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
higher types, parallel computation, recursion, linear logic, lambda calculus, implicit computational complexity, NC |
18 | Liming Chen 0001, Kamal Bechkoum, Gordon Clapworthy |
A logical approach to high-level agent control. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
design methodologies, autonomous agents, instructability, event calculus, action selection and planning |
18 | Huimin Lin |
Model Checking Value-Passing Processes. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
value- passing processes, verification algorithms, Model checking, mu-calculus |
18 | Michele Boreale |
Symbolic Trace Analysis of Cryptographic Protocols. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
formal methods for security protocols, concurrency, spi-calculus |
18 | Hong Ki Thae, Dang Van Hung |
A Case Study on Formal Design of Hybrid Control Systems. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Discrete Design, Embedded Systems, Control Theory, Duration Calculus |
18 | Olivier Danvy, Morten Rhiger |
A Simple Take on Typed Abstract Syntax in Haskell-like Languages. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax |
18 | Yohji Akama |
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity |
18 | Freeman Yufei Huang, David B. Skillicorn |
The Spider Model of Agents. |
MATA |
2001 |
DBLP DOI BibTeX RDF |
Java, mobile agents, locality, agent models, formal reasoning, ambient calculus |
18 | Nobuko Yoshida, Matthew Hennessy |
Assigning Types to Processes. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
higher-order pi-calculus, distributed systems, concurrency, type system, subtyping |
18 | Naijun Zhan |
Another formal proof for Deadline Driven Scheduler. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC |
18 | Anne Elisabeth Haxthausen, Xia Yong |
Linking DC Together with TRSL. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
integration of specification formalisms, Formal methods, Duration Calculus, RAISE |
18 | Maria C. F. Ferreira, Delia Kesner, Laurence Puel |
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. |
Appl. Algebra Eng. Commun. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Preservation of strong normalization, ?-Calculus, Explicit substitutions |
18 | Wenpin Jiao, Zhongzhi Shi |
A Dynamic Architecture for Multi-Agent Systems. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Multi-Agent System, Software Architecture, pi-Calculus |
18 | Thorsten Altenkirch, Bernhard Reus |
Monadic Presentations of Lambda Terms Using Generalized Inductive Types. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
inductive types, Type Theory, category theory, ?-calculus |
18 | Francesca Levi |
A Symbolic Semantics for Abstract Model Checking. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
Model checking, abstract interpretation, ?-calculus |
18 | Damian Weber |
Computing Discrete Logarithms with Quadratic Number Rings. |
EUROCRYPT |
1998 |
DBLP DOI BibTeX RDF |
Index Calculus, Discrete Logarithms, Number Field Sieve |
18 | Ulrike Lechner |
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly |
18 | Hongwei Xi |
Evaluation Under Lambda Abstraction. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
partial evaluation, lambda-calculus, run-time code generation |
18 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
Modal Event Calculi with Preconditions. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus |
18 | Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose |
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution |
18 | Morten Heine Sørensen |
Efficient Longest and Infinite Reduction Paths in Untyped Lambda-Calculi. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
reduction strategies, effectiveness, calculus |
18 | Roberto M. Amadio |
On the Adequacy of Per Models. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
Second order lambda-calculus, Per models, Denotational vs. Operational Semantics |
18 | Martin Gogolla, Uwe Hohenstein |
Towards a Semantic View of an Extended Entity-Relationship Model. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
relational completeness, abstract data type, formal semantics, entity-relationship model, calculus, semantic data model, aggregate function, safeness |
18 | Karine Altisen, Matthieu Moy |
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. |
ECRTS |
2010 |
DBLP DOI BibTeX RDF |
Modular Performance Analysis, Formal methods, Observer, Lustre, Real-Time Calculus |
18 | Xiangyang Huang, Xiao Xin, Wenjun Wu |
Representing Non-deterministic Actions within the Situation Calculus for Autonomous Characters. |
IITSI |
2010 |
DBLP DOI BibTeX RDF |
non-deterministic actions, epistemic fluent, situation calculus, linguistic variable |
18 | Jiuyun Xu, Wengong Yu, Kun Chen, Stephan Reiff-Marganiec |
Web Services Feature Interaction Detection Based on Situation Calculus. |
SERVICES |
2010 |
DBLP DOI BibTeX RDF |
Interaction Detection, Web services, Feature Interaction, OWL-S, Situation Calculus |
18 | Alwen Tiu, Jeremy E. Dawson |
Automating Open Bisimulation Checking for the Spi Calculus. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
open bisimulation, symbolic trace analysis, intruder deduction, spi-calculus |
18 | Li Kuang, Yingjie Xia, ShuiGuang Deng, Jian Wu 0001 |
Analyzing Behavioral Substitution of Web Services Based on Pi-calculus. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
Services Substitution, p-calculus, Bi-simulation theory, Web Services, Behavioral Analysis |
18 | Kenji Ohmori, Tosiyasu L. Kunii |
A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs. |
CW |
2010 |
DBLP DOI BibTeX RDF |
Invariant Preserving, Multi Threads, Event Driven, Homotopy, Pi-calculus, Abstraction Hierarchy |
18 | Murtaza Zafer, Eytan H. Modiano |
A calculus approach to energy-efficient data transmission with quality-of-service constraints. |
IEEE/ACM Trans. Netw. |
2009 |
DBLP DOI BibTeX RDF |
quality of service (QoS), wireless, delay, energy, rate control, network calculus |
|
|