|
|
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 |
25 | Lawrence Moore, David A. Smith |
Project CALC: Calculus as a Laboratory Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings, pp. 16-20, 1992, Springer, 3-540-55578-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Dale Miller 0001 |
The pi-Calculus as a Theory in Linear Logic: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 242-264, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Ralph-Johan Back |
Refinement Calculus, Part II: Parallel and Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 67-93, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering |
25 | Matthias Felleisen |
lambda-V-CS: An Extended lambda-Calculus for Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 72-85, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
SCHEME |
25 | Gérard P. Huet |
Induction Principles Formalized in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87), pp. 276-286, 1987, Springer, 3-540-17660-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | György E. Révész |
Rule-Based Semantics for an Extended Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 43-56, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Hirschkoff |
A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, pp. 153-169, 1997, Springer, 3-540-63379-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Hugo Herbelin |
Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes. (Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
25 | Lukasz Majka |
Using Fractional Calculus in an Attempt at Modeling a High Frequency AC Exciter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Advances in Non-Integer Order Calculus and Its Applications - Proceedings of the 10th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2018, Białystok, Poland, September 20-21, 2018, pp. 55-71, 2018, Springer, 978-3-030-17343-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Radoslaw Cioc |
Differintegarator Based on Fractional Calculus of Convex Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RRNR ![In: Non-Integer Order Calculus and Its Applications - 9th International Conference on Non-Integer Order Calculus and Its Applications, RRNR 2017, Łódź, Poland, 11-13 October 2017., pp. 28-35, 2017, Springer, 978-3-319-78457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis |
A type discipline for authorization policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(5), pp. 25, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Authorization, type systems, process calculus, spi calculus |
24 | Andrew Hughes |
A framework for mobile Java applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 243-248, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
TNT, Java, mobility, CaSE, CCS, process calculus, ambient calculus |
24 | James J. Leifer, Robin Milner |
Shallow Linear Action Graphs and their Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 327-340, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Action calculus, Graph embedding, Process calculus |
24 | Lindsay Groves |
A formal approach to program modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 274-281, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification |
24 | Iliano Cervesato, Frank Pfenning |
Linear Higher-Order Pre-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 422-433, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions |
24 | Juha Plosila, Kaisa Sere |
Action Systems in Pipelined Processor Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 156-166, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems |
24 | James L. Caldwell |
Moving Proofs-As-Programs into Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 10-17, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications |
24 | V. K. Murthy |
Transactional programming for distributed agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 64-71, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
transactional programming, multiagent programming paradigm, transactional logic model, DATRAP, production rule system, high-level data structures, execution semantics, computational complexity, complexity, formal specification, formal specification, database, distributed algorithms, distributed program, granularity, refinement calculus, refinement calculus, active objects, distributed agent systems |
24 | Alicia D'Anjou, Manuel Graña, Francisco Javier Torrealdea, M. C. Hernández 0001 |
Solving Satisfiability Via Boltzmann Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(5), pp. 514-521, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
consensus function maxima, simulated annealing, simulated annealing, satisfiability, computational model, set theory, calculus, Boltzmann machines, Boltzmann machines, propositional calculus |
24 | Jeffrey A. Barnett |
Calculating Dempster-Shafer Plausibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(6), pp. 599-602, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
plausible reasoning, Dempster-Shafer, belief calculus, probability, probability, inference mechanisms, decision theory, decision theory, equality, calculus, sufficient condition, choice, plausibility |
24 | Martin K. Solomon |
Some properties of relational expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 17th Annual Southeast Regional Conference, 1979, Orlando, Florida, USA, April 9-11, 1979, pp. 111-116, 1979, ACM, 978-1-4503-7330-2. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
equi-join, predicate lock, Concurrency, query optimization, relational algebra, undecidability, relational calculus, predicate calculus, natural join |
22 | Ronald Garcia, Andrew Lumsdaine, Amr Sabry |
Lazy evaluation and delimited control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 153-164, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics |
22 | Alwen Tiu, Rajeev Goré |
A Proof Theoretic Analysis of Intruder Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 103-117, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
AC convergent theories, intruder deduction, security protocols, sequent calculus |
22 | José L. Balcázar |
Deduction Schemes for Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings, pp. 124-135, 2008, Springer, 978-3-540-88410-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
deductive calculus, Association rules, redundancy |
22 | Gordon D. Plotkin, Matija Pretnar |
A Logic for Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 118-129, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations |
22 | Bengt Jonsson 0001, Simon Perathoner, Lothar Thiele, Wang Yi 0001 |
Cyclic dependencies in modular performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 179-188, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fixpoint iteration, performance analysis, real-time calculus |
22 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Principal Typings for Explicit Substitutions Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 567-578, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus, explicit substitution, principal typings |
22 | Xiaoju Dong, Yuxi Fu |
Barbed Congruence of Asymmetry and Mismatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(4), pp. 575-579, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bisimulation, axiomatization, process calculus |
22 | Ke Xu, Yuexuan Wang, Cheng Wu |
Formal verification technique for grid service chain model and its application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(1), pp. 1-20, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
grid service chain, state Pi calculus, model checking, formal method, grid |
22 | Georgios K. Giannikis, Aspassia Daskalopulu |
The Representation of e-Contracts as Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 963-973, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription |
22 | Chantal Berline, Giulio Manzonetto, Antonino Salibra |
Lambda Theories of Effective Lambda Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 268-282, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Effective lambda models, Recursively enumerable lambda theories, Löwenheim-Skolem theorem, Lambda calculus, Graph models |
22 | Alwen Tiu |
A Local System for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 242-256, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures |
22 | Jan-David Quesel, Andreas Schäfer 0001 |
Spatio-temporal Model Checking for Mobile Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 347-361, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic |
22 | Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini |
BASS: boxed ambients with safe sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 61-72, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
boxed ambients, session types, ambient calculus |
22 | Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen |
A Model Checking Tool Embedded into Services Composition Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings, pp. 355-362, 2006, IEEE Computer Society, 0-7695-2694-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Pi-calculus type system web services Composition verification tool compatibility |
22 | Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter |
Relating Categorical Semantics for Intuitionistic Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(1), pp. 1-36, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus |
22 | Naijun Zhan, Mila E. Majster-Cederbaum |
Deriving Non-determinism from Conjunction and Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 351-365, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism |
22 | Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng |
Duration-constrained regular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(2), pp. 155-163, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Regular expressions, Hybrid automata, Duration Calculus |
22 | Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang |
Complete Lax Logical Relations for Cryptographic Lambda-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 400-414, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Cryptographic lambda-calculus, Subscone, Monads, Logical relations |
22 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 38-49, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity |
22 | Bo Chen, Mingtian Zhou |
A Pure Mereological Approach to Roughness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 425-429, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Granular Calculus, Mereological Relation, Granular Rough Theory |
22 | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
Dynamic rebinding for marshalling and update, with destruct-time? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 99-110, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling |
22 | Kai Brünnler |
Atomic Cut Elimination for classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 86-97, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
atomic cut, sequent calculus, cut elimination, natural deduction, classical logic |
22 | Anton Setzer |
Java as a Functional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, pp. 279-298, 2002, Springer, 3-540-14031-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value |
22 | Hong-Cheu Liu, Jeffrey Xu Yu |
Safe Database Queries with External Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 1999 International Database Engineering and Applications Symposium, IDEAS 1999, Montreal, Canada, August 2-4, 1999, Proceedings, pp. 260-269, 1999, IEEE Computer Society, 0-7695-0265-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Allowed formulas, query languages, relational algebra, query translation, relational calculus, complex value, domain independence |
22 | Shuzhen Dong, Qiwen Xu, Naijun Zhan |
A Formal Proof of the Rate Monotonic Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 500-, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Scheduling, Logic, Duration Calculus, Formal Proof, Feasibility |
22 | Michael Poppleton, Richard Banach |
Retrenchment: Extending the Reach of Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 158-165, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development |
22 | Arnaud Venet |
Automatic Determination of Communication Topologies in Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 152-167, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
nonstandard semantics, abstract interpretation, calculus |
22 | Eugene Eberbach |
A Generic Tool for Distributed AI with Matching as Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 11-18, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
symbolic and subsymbolic AI, simple modifying algorithm, neural networks, genetic programming, process algebra, cost functions, calculus, inference engine |
22 | Devesh B. Chokshi, Purandar Bhaduri |
Performance analysis of FlexRay-based systems using real-time calculus, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 351-356, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
FlexRay, real-time calculus |
22 | Michal Kozak |
Distributive Full Lambek Calculus Has the Finite Model Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 201-216, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice |
22 | Xian Xu 0001 |
On Bisimulation Theory in Linear Higher-Order pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency III, pp. 244-274, 2009, Springer, 978-3-642-04854-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order |
22 | Hugo Herbelin, Gyesik Lee |
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 209-217, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics |
22 | Stefano Bromuri, Kostas Stathis |
Distributed agent environments in the Ambient Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed agent environments, research paper, MAS, event calculus |
22 | Lucia Acciai, Michele Boreale |
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 31-42, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavioural types, safety, decidability, pi-calculus, spatial logic |
22 | Mylène Maurin, Morgan Magnin, Olivier H. Roux |
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICoB ![In: Bioinformatics and Computational Biology, First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings, pp. 282-294, 2009, Springer, 978-3-642-00726-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, System biology, Genetic regulatory network |
22 | Claus Diem, Emmanuel Thomé |
Index Calculus in Class Groups of Non-hyperelliptic Curves of Genus Three. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 21(4), pp. 593-611, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Index calculus, Non-hyperelliptic curves, Class groups, Jacobians |
22 | Boban Marinkovic |
Optimality conditions for discrete calculus of variations problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(3), pp. 309-318, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Discrete calculus of variations, 2-regularity, Mathematical programming, Optimality conditions |
22 | Benson S. Y. Lam, Alan Wee-Chung Liew, David K. Smith 0001, Hong Yan 0001 |
A Regularized Clustering Algorithm Based on Calculus of Variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 50(3), pp. 281-292, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clustering, microarray data analysis, calculus of variations |
22 | Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko |
Model checking Duration Calculus: a practical approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 481-505, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus |
22 | Svein Yngvar Willassen |
Using simplified event calculus in digital investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1438-1442, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
propositional logic, event calculus, digital investigation |
22 | Michael Backes 0001, Catalin Hritcu, Matteo Maffei |
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008, pp. 195-209, 2008, IEEE Computer Society, 978-0-7695-3182-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Electronic Voting Protocols, Language-based security, Applied Pi-calculus |
22 | Lucia Acciai, Michele Boreale |
A Type System for Client Progress in a Service-Oriented Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 642-658, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
type systems, service-oriented computing, pi-calculus, process calculi |
22 | Alexandre Rademaker, Edward Hermann Haeusler |
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings, pp. 167-176, 2008, Springer, 978-3-540-88189-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
description logics, proof theory, sequent calculus |
22 | Joey Paquet, Serguei A. Mokhov, Xin Tong 0002 |
Design and Implementation of Context Calculus in the GIPSY Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1278-1283, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Context-driven computation, Context calculus, Intensional programming |
22 | Lucia Acciai, Michele Boreale |
Spatial and Behavioral Types in the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 372-386, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
behavioural type systems, pi-calculus, spatial logic |
22 | Jacques Duparc, Alessandro Facchini |
Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 186-195, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wadge games, topological complexity, parity games, weakly alternating automata, ?-calculus |
22 | Michael Backes 0001, Matteo Maffei, Dominique Unruh |
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 2008 IEEE Symposium on Security and Privacy (SP 2008), 18-21 May 2008, Oakland, California, USA, pp. 202-215, 2008, IEEE Computer Society, 978-0-7695-3168-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
zero-knowledge, Language-based security, automated verification, applied pi-calculus |
22 | Gaëlle Fontaine |
Continuous Fragment of the mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 139-153, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus |
22 | Liming Chen 0001, Chris D. Nugent, Maurice D. Mulvenna, Dewar D. Finlay, Xin Hong, Michael P. Poland |
Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOST ![In: Smart Homes and Health Telematics, 6th International Conference, ICOST 2008, Ames, IA, USA, June 28-July 2, 2008, Proceedings, pp. 81-89, 2008, Springer, 978-3-540-69914-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
behavior reasoning, cognitive modeling, smart homes, assistive living, Event calculus |
22 | Theodore Patkos, Dimitris Plexousakis |
A Theory of Action, Knowledge and Time in the Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Artificial Intelligence: Theories, Models and Applications, 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings, pp. 226-238, 2008, Springer, 978-3-540-87880-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Action Theories, Event Calculus, Reasoning about Knowledge |
22 | Martín Abadi, Bruno Blanchet, Cédric Fournet |
Just fast keying in the pi calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 10(3), pp. 9, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IP security, key exchange, process calculus |
22 | Jan Van den Bussche, Stijn Vansummeren |
Polymorphic type inference for the named nested relational calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(1), pp. 3, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
named nested relational calculus, typability, complexity, Type inference |
22 | Annabelle McIver, Carroll Morgan |
Results on the quantitative µ-calculus qMµ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(1), pp. 3, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Angelic choice, demonic choice, minimax theorem, modal mu-calculus, probabilistic choice, quantitative aspects of programming languages, denotational semantics, game semantics |
22 | Denis Béchet |
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(2-3), pp. 199-224, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parsing, linear logic, context-free grammars, pregroup, Lambek calculus |
22 | Yu Cheng 0003, Weihua Zhuang, Xinhua Ling |
Towards an FBM Model Based Network Calculus Framework with Service Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 12(5-6), pp. 335-346, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quality of service, differentiated services, traffic model, network calculus, fractional Brownian motion |
22 | Jean-Louis Krivine |
A call-by-name lambda-calculus machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(3), pp. 199-207, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lambda-calculus machine, Control instruction, Curry-Howard correspondence |
22 | Lloyd Humberstone |
Investigations into a left-structural right-substructural sequent calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(2), pp. 141-171, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multiplicative disjunction, Fission, Structural rules, Sequent calculus, Substructural logics |
22 | Kishore Angrishi, Shu Zhang, Ulrich Killat |
Analysis of a Real-Time Network Using Statistical Network Calculus with Approximate Invariance of Effective Bandwidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KiVS ![In: Kommunikation in Verteilten Systemen (KiVS), 15. Fachtagung Kommunikation in Verteilten Systemen, KiVS 2007, Bern, Schweiz, 26. Februar - 2. März 2007, pp. 189-200, 2007, Springer, 978-3-540-69961-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Quality-of-service, Network calculus, effective bandwidth, statistical multiplexing |
22 | Ryan F. Kelly, Adrian R. Pearce |
Knowledge and observations in the situation calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 124, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
observability, knowledge, action, situation calculus |
22 | Steven Givant |
The Calculus of Relations as a Foundation for Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 37(4), pp. 277-322, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
calculus of relations, authomated reasoning, set theory, algebraic logic, mathematical foundation |
22 | Sol Swords, William R. Cook |
Soundness of the simply typed lambda calculus in ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006, pp. 35-39, 2006, ACM, 0-9788493-0-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lambda-calculus, soundness, ACL2 |
22 | Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman |
Operability of p-calculus Technology in P2P Collaboration Business Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 14th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2006), 15-17 February 2006, Montbeliard-Sochaux, France, pp. 239-247, 2006, IEEE Computer Society, 0-7695-2513-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
calculus technology service, P2P, formal language, shared computing |
22 | Chanchal Kumar Roy, Thomas Noll 0001, Banani Roy, James R. Cordy |
Towards automatic verification of Erlang programs by pi-calculus translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 38-50, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
translation mapping, mobile systems, ?-calculus, functional programming languages |
22 | Klaus Aehlig, Jan Johannsen |
An elementary fragment of second-order lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 468-480, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Elementary recursive functions, complexity, lambda calculus, second order logic |
22 | Huimin Lin |
Predicate µ-Calculus for Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(1), pp. 95-104, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, mu-calculus, fixpoints, spatial logic, mobile ambients |
22 | Maciej Farulewski |
On Finite Models of the Lambek Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 63-74, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
finite model property, substructural logics, Lambek Calculus |
22 | Marco Antonio Barbosa |
A refinement calculus for software components and architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 377-380, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software architectures, refinement calculus |
22 | Andreas Schäfer 0001 |
Axiomatisation and Decidability of Multi-dimensional Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp. 122-130, 2005, IEEE Computer Society, 0-7695-2370-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic |
22 | Thomas Noll 0001, Chanchal Kumar Roy |
Modeling Erlang in the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 72-77, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mobile systems, pi-calculus, functional programming languages |
22 | Flávio Oquendo |
pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 29(3), pp. 1-14, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
specification languages, Architecture Description Languages, ?-calculus, dynamic architectures, mobile architectures |
22 | Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin |
Predicting cell adhesion probability via the biochemical stochastic pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 211-212, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, cell adhesion mechanics, formal models J@process algebra, lymphocyte recruitment, concurrency theory |
22 | Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo |
A New Synchronization in Finite Stochastic Petri Box Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 216-225, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
22 | Serge Chaumette, Pascal Grange |
Parallelizing Multithreaded Java Program: A Criterion and Its p-Calculus Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
parallelization criterion, Java, pi-calculus, active objects, automatic distribution |
22 | Naoyuki Nide, Shiro Takata |
Deduction systems for BDI logics using sequent calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 928-935, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
sequent calculus, rational agents, BDI logic, deduction system |
22 | Hanane El Bakkali, Bahia Idrissi Kaitouni |
A Predicate Calculus Logic for the PKI Trust Model Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: IEEE International Symposium on Network Computing and Applications (NCA 2001), October 8-10, 2001, Cambridge, MA, USA, pp. 368-371, 2001, IEEE Computer Society, 0-7695-1432-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
certificate policy, trust relationships, logic-based approach, authentication, certificate, PKI, trust model, predicate calculus |
22 | Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo |
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 208-225, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
p-calculus, CORBA, open systems, behavioral specifications, protocol specifications |
22 | Eli Ben-Sasson, Russell Impagliazzo |
Random CNF's are Hard for the Polynomial Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 40th Annual Symposium on Foundations of Computer Science, FOCS '99, 17-18 October, 1999, New York, NY, USA, pp. 415-421, 1999, IEEE Computer Society, 0-7695-0409-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
polynomial calculus, satisfiability, proof complexity |
22 | Marc Gengler, Matthieu Martel |
Self-Applicable Partial Evaluation for the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 36-46, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis |
22 | Julian C. Bradfield, Javier Esparza, Angelika Mader |
An Effective Tableau System for the Linear Time µ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 98-109, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
linear-time -calculus, local model-checking, temporal logic, tableau systems |
Displaying result #401 - #500 of 12317 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|