| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Frank S. de Boer 74 Frank S. de Boer, Cees Pierik : Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS 2002 : 163-177 73 Frank S. de Boer, Maurizio Gabbrielli , Maria Chiara Meo : Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002 : 37-51 72 Erika Ábrahám-Mumm , Frank S. de Boer, Willem P. de Roever , Martin Steffen : Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002 : 5-20 71 Frank S. de Boer: A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. TCS 274 (1-2): 3-41 (2002) 70 Wieke de Vries , Frank S. de Boer, Koen V. Hindriks , Wiebe van der Hoek , John-Jules Ch. Meyer : A Programming Language for Coordinating Group Actions. CEEMAS 2001 : 313-321 69 Frank S. de Boer, Rogier M. van Eijk : Decidable Navigation Logics for Object Structures. CSL 2001 : 324-338 68 Wieke de Vries , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : A Truly Concurrent Model for Interacting Agents. PRIMA 2001 : 16-30 67 Frank S. de Boer, Maurizio Gabbrielli , Maria Chiara Meo : A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001 : 227-233 66 Koen V. Hindriks , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Agent Programming with Declarative Goals. ATAL 2000 : 228-243 65 Rogier M. van Eijk , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Generalised Object-Oriented Concepts for Inter-agent Communication. ATAL 2000 : 260-274 64 Frank S. de Boer, Rogier M. van Eijk , Wiebe van der Hoek , John-Jules Ch. Meyer : Failure Semantics for the Exchange of Information in Multi-Agent Systems. CONCUR 2000 : 214-228 63 Erika Ábrahám-Mumm , Frank S. de Boer: Proof-Outlines for Threads in Java. CONCUR 2000 : 229-242 62 Farhad Arbab , Frank S. de Boer, Marcello M. Bonsangue : A Logical Interface Description Language for Components. COORDINATION 2000 : 249-266 61 Frank S. de Boer, Maurizio Gabbrielli , Maria Chiara Meo : A Timed Linda Language. COORDINATION 2000 : 299-304 60 Koen V. Hindriks , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : A Programming Logic for Part of the Agent Language 3APL. FAABS 2000 : 78-89 59 Koen V. Hindriks , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Semantics of Communicating Agents Based on Deduction and Abduction. Issues in Agent Communication 2000 : 63-79 58 Rogier M. van Eijk , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Operational Semantics for Agent Communication Languages. Issues in Agent Communication 2000 : 80-95 57 Rogier M. van Eijk , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : A Modal Logic for Network Topologies. JELIA 2000 : 269-283 56 Frank S. de Boer, Marcello M. Bonsangue : A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS 2000 : 212-221 55 Farhad Arbab , Marcello M. Bonsangue , Frank S. de Boer: A Coordination Lanuage for Mobile Components. SAC (1) 2000 : 166-173 54 Frank S. de Boer, Maurizio Gabbrielli , Maria Chiara Meo : A Timed Concurrent Constraint Language. Information and Computation 161 (1): 45-83 (2000) 53 Rogier M. van Eijk , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Open Multi-agent Systems: Agent Communication and Integration. ATAL 1999 : 218-232 52 Frank S. de Boer, Gianluigi Zavattaro : Generic Process Algebras for Asynchronous Communication. CONCUR 1999 : 226-241 51 Frank S. de Boer: Object-Oriented and Constraint Programming for Time Critical Applications. ECOOP Workshops 1999 : 255-266 50 Frank S. de Boer, Rogier M. van Eijk , Wiebe van der Hoek , John-Jules Ch. Meyer : Failure Semantics for the Exchange of Information in Multi-agent Systems. ECOOP Workshops 1999 : 265 49 Frank S. de Boer: A WP-calculus for OO. FoSSaCS 1999 : 135-149 48 Frank S. de Boer, Willem P. de Roever , Ulrich Hannemann : The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS 1999 : 343-353 47 Frank S. de Boer, Ulrich Hannemann , Willem P. de Roever : Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. World Congress on Formal Methods 1999 : 1245-1265 46 Koen V. Hindriks , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems 2 (4): 357-401 (1999) 45 Rogier M. van Eijk , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. AIMSA 1998 : 240-253 44 Rogier M. van Eijk , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Information-Passing and Belief Revision in Multi-Agent Systems. ATAL 1998 : 29-45 43 Koen V. Hindriks , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Control Structures of Rule-Based Agent Languages. ATAL 1998 : 381-396 42 Koen V. Hindriks , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : A Formal Embedding of AgentSpeak(L) in 3APL. Australian Joint Conference on Artificial Intelligence 1998 : 155-166 41 Frank S. de Boer: Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. CONCUR 1998 : 285-300 40 Rogier M. van Eijk , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Systems of Communicating Agents. ECAI 1998 : 293-297 39 Koen V. Hindriks , Frank S. de Boer, Wiebe van der Hoek , John-Jules Ch. Meyer : Formal Semantics for an Abstract Agent Programming Language. ATAL 1997 : 215-229 38 Frank S. de Boer, Willem P. de Roever : Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS 1997 : 632-646 37 Eike Best , Frank S. de Boer, Catuscia Palamidessi : Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION 1997 : 256-273 36 Frank S. de Boer, Maurizio Gabbrielli , Maria Chiara Meo : Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997 : 47-61 35 Frank S. de Boer, Ulrich Hannemann , Willem P. de Roever : A Compositional Proof System for Shared Variable Concurrency. FME 1997 : 515-532 34 Frank S. de Boer, Ulrich Hannemann , Willem P. de Roever : Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS 1997 : 267-283 33 Frank S. de Boer, Alessandra Di Pierro , Catuscia Palamidessi : An Algebraic Perspective of Constraint Logic Programming. Journal of Logic and Computation 7 (1): 1-38 (1997) 32 Frank S. de Boer, Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi : Proving Concurrent Constraint Programs Correct. TOPLAS 19 (5): 685-725 (1997) 31 Frank S. de Boer, M. van Hulst : Local Nondeterminism in Asynchronously Communicating Processes. FME 1996 : 367-384 30 Frank S. de Boer, H. Tej , Willem P. de Roever , M. van Hulst : Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996 : 420-439 29 Frank S. de Boer, Maurizio Gabbrielli , Catuscia Palamidessi : Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996 : 83-97 28 Frank S. de Boer, Maurizio Gabbrielli : Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995 : 528-542 27 Frank S. de Boer, M. van Hulst : A Compositional Proof System for Asynchronously Communicating Processes. MPC 1995 : 197-213 26 Frank S. de Boer, Alessandra Di Pierro , Catuscia Palamidessi : Nondeterminism and Infinite Computations in Constraint Programming. TCS 151 (1): 37-78 (1995) 25 Frank S. de Boer, M. van Hulst : A Proof System for Asynchronously Communicating Deterministic Processes. MFCS 1994 : 256-265 24 Frank S. de Boer, Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi : Proving Concurrent Constraint Programs Correct. POPL 1994 : 98-108 23 Frank S. de Boer: Compositionality in the Inductive Assertion Method for Concurrent Systems. PROCOMET 1994 : 289-305 22 Pierre America , Frank S. de Boer: Reasoning about Dynamically Evolving Process Structures. Formal Aspects of Computing 6 (3): 269-316 (1994) 21 Frank S. de Boer, Catuscia Palamidessi : Embedding as a Tool for Language Comparison. Information and Computation 108 (1): 128-157 (1994) 20 Frank S. de Boer, Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten : Non-monotonic Concurrent Constraint Programming. ILPS 1993 : 315-334 19 Frank S. de Boer, Catuscia Palamidessi : On the Semantics of Concurrent Constraint Programming. ALPUK 1992 : 145-173 18 Frank S. de Boer, Jozef Hooman : The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992 : 451-472 17 Frank S. de Boer, Catuscia Palamidessi : A Process Algebra of Concurrent Constraint Programming. JICSLP 1992 : 463-477 16 Frank S. de Boer, Jan Willem Klop , Catuscia Palamidessi : Asynchronous Communication in Process Algebra. LICS 1992 : 137-147 15 Frank S. de Boer, Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten : On Blocks: Locality and Asynchronous Communication (Extended Abstract). REX Workshop 1992 : 73-90 14 Frank S. de Boer, Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten : From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. TCS 101 (2): 239-263 (1992) 13 Frank S. de Boer, Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten : The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR 1991 : 111-126 12 Frank S. de Boer, Catuscia Palamidessi : Embedding as a Tool for Language Comparison: On the CSP Hierarchy. CONCUR 1991 : 127-141 11 Frank S. de Boer: A Compositional Proof System for Dynamic Process Creation. LICS 1991 : 399-405 10 Frank S. de Boer, Catuscia Palamidessi : A Fully Abstract Model for Concurrent Constraint Programming. TAPSOFT, Vol.1 1991 : 296-319 9 Frank S. de Boer, Jan J. M. M. Rutten , Joost N. Kok , Catuscia Palamidessi : Semantic Models for Concurrent Logic Languages. TCS 86 (1): 3-33 (1991) 8 Frank S. de Boer, Catuscia Palamidessi : On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. CONCUR 1990 : 99-114 7 Frank S. de Boer: A Proof System for the Parallel Object-Oriented Language POOL. ICALP 1990 : 572-585 6 Frank S. de Boer, Catuscia Palamidessi : Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP 1990 : 175-194 5 Frank S. de Boer: A Proof System for the Language POOL. REX Workshop 1990 : 124-150 4 Pierre America , Frank S. de Boer: Proving Total Correctness of Recursive Procedures. Information and Computation 84 (2): 129-162 (1990) 3 Frank S. de Boer, Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten : Semantic Models for a Version of PARLOG. ICLP 1989 : 621-636 2 Frank S. de Boer, Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten : Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. MFCS 1989 : 165-176 1 Frank S. de Boer: Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). PARLE (2) 1989 : 406-423  DiSC'02 © 2003 Association for Computing Machinery |
