Frank S. de Boer Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Immo Grabe: Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. SOFSEM 2010: 200-211
2009
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Eric Madelain: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures Springer 2009
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: The Refinement of Choreographed Multi-Agent Systems. DALT 2009: 20-34
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Ahrendt, Frank S. de Boer, Immo Grabe: Abstract Object Creation in Dynamic Logic. FM 2009: 612-627
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi: Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten: Fault-Based Test Case Generation for Component Connectors. TASE 2009: 147-154
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: Rewriting Agent Societies Strategically. Web Intelligence/IAT Workshops 2009: 441-444
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs CoRR abs/0907.4316: (2009)
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. Electr. Notes Theor. Comput. Sci. 243: 33-47 (2009)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: A shared-variable concurrency analysis of multi-threaded object-oriented programs. Theor. Comput. Sci. 410(2-3): 128-141 (2009)
2008
165no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Frank S. de Boer: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings Springer 2008
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever: Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures Springer 2008
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLacramioara Astefanoaei, Frank S. de Boer: Model-checking agent refinement. AAMAS (2) 2008: 705-712
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia: Schedulability and Compatibility of Real Time Asynchronous Objects. IEEE Real-Time Systems Symposium 2008: 70-79
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Reo Connectors as Coordination Artifacts in 2APL Systems. PRIMA 2008: 42-53
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Inform. 82(4): 391-463 (2008)
2007
157no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures Springer 2007
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. FMOODS 2007: 252-268
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Mencl, Frank S. de Boer: Preface. Electr. Notes Theor. Comput. Sci. 182: 1-2 (2007)
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert van der Torre: Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterprise Modelling and Information Systems Architectures 2(1): 40-57 (2007)
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: A verification framework for agent programming with declarative goals. J. Applied Logic 5(2): 277-302 (2007)
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and temporal logical specifications for timed component connectors. Software and System Modeling 6(1): 59-82 (2007)
2006
150no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures Springer 2006
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: Prototyping 3APL in the Maude term rewriting language. AAMAS 2006: 1279-1281
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: Prototyping 3APL in the Maude Term Rewriting Language. CLIMA VII 2006: 95-114
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. Electr. Notes Theor. Comput. Sci. 154(1): 121-138 (2006)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer: Compositional Operational Semantics of a UML-Kernel-Model Language. Electr. Notes Theor. Comput. Sci. 156(1): 79-96 (2006)
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Exceptions in Multithreaded Java. Electr. Notes Theor. Comput. Sci. 159: 281-297 (2006)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Component Coordination Model Based on Mobile Channels. Fundam. Inform. 73(4): 561-582 (2006)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Agent Programming. J. Log. Comput. 16(3): 375-402 (2006)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of plan revision in intelligent agents. Theor. Comput. Sci. 351(2): 240-257 (2006)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 365(1-2): 1 (2006)
2005
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures Springer 2005
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Farhad Arbab, Frank S. de Boer: Coordination and composition in multi-agent systems. AAMAS 2005: 439-446
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani: Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION 2005: 236-251
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre: Enterprise Architecture Analysis with XML. HICSS 2005
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre: Change impact analysis of enterprise architectures. IRI 2005: 177-181
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC 2005: 436-442
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek: Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput. 16(2-3): 113-150 (2005)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler: Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005)
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005)
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcel Kyas, Frank S. de Boer, Willem P. de Roever: A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (2005)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue: Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331(2-3): 251-290 (2005)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 343(3): 283-284 (2005)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Pierik, Frank S. de Boer: A proof outline logic for object-oriented programming. Theor. Comput. Sci. 343(3): 413-442 (2005)
2004
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures Springer 2004
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Pierik, Frank S. de Boer: Modularity and the Rule of Adaptation. AMAST 2004: 394-408
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA V 2004: 16-32
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre: A Logical Viewpoint on Architectures. EDOC 2004: 73-83
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen: Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO 2004: 296-316
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen: Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC 2004: 37-51
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA 2004: 42-56
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) 2004: 67-73
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue: Preface. Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcel Kyas, Frank S. de Boer: On Message Specifications in OCL. Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language and its Denotational Semantics. Fundam. Inform. 63(4): 309-330 (2004)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)
2003
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures Springer 2003
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer: Programming agent deliberation: an approach illustrated using the 3APL language. AAMAS 2003: 97-104
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Process Algebra for Agent Communication: A General Semantic Approach. Communication in Multiagent Systems 2003: 113-128
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten: Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Cees Pierik: How to Cook a Complete Hoare Logic for Your Pet OO Language. FMCO 2003: 111-133
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCees Pierik, Frank S. de Boer: A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. FMOODS 2003: 64-78
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer: Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice 2003: 290-303
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: A Verification Framework for Agent Communication. Autonomous Agents and Multi-Agent Systems 6(2): 185-219 (2003)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Channel-based Coordination Model for Components. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer: A fully abstract model for the exchange of information in multi-agent systems. Theor. Comput. Sci. 290(3): 1753-1773 (2003)
2002
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Cees Pierik: Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS 2002: 163-177
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals CoRR cs.AI/0207008: (2002)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of Timed Concurrent Constraint Programs CoRR cs.LO/0208042: (2002)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: Mobile Channels, Implementation Within and Outside Components. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Theor. Comput. Sci. 274(1-2): 3-41 (2002)
2001
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods Cambridge University Press 2001
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWieke 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Rogier M. van Eijk: Decidable Navigation Logics for Object Structures. CSL 2001: 324-338
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Denotational Semantics for Timed Linda. PPDP 2001: 28-36
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWieke 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: On dynamically generated ontology translators in agent communication. Int. J. Intell. Syst. 16(5): 587-607 (2001)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Modal Logic with Bounded Quantification over Worlds. J. Log. Comput. 11(5): 701-715 (2001)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek: On Programming KARO Agents. Logic Journal of the IGPL 9(2): (2001)
2000
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám-Mumm, Frank S. de Boer: Proof-Outlines for Threads in Java. CONCUR 2000: 229-242
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language. COORDINATION 2000: 299-304
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Marcello M. Bonsangue: A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS 2000: 212-221
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Marcello M. Bonsangue, Frank S. de Boer: A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000)
1999
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Gianluigi Zavattaro: Generic Process Algebras for Asynchronous Communication. CONCUR 1999: 226-241
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: Object-Oriented and Constraint Programming for Time Critical Applications. ECOOP Workshops 1999: 255-266
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: Reasoning about Histories in Object-based Distributed Systems. FMOODS 1999
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: A WP-calculus for OO. FoSSaCS 1999: 135-149
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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)
1998
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier 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
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. CONCUR 1998: 285-300
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Information-Passing and Belief Revision in Multi-Agent Systems. ICMAS 1998: 473-474
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp: A proof theory of asynchronously communicating sequential processes. PROCOMET 1998: 49-67
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli: Preface. Electr. Notes Theor. Comput. Sci. 16(1): (1998)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Translations of Vocabularies in Systems of Communicating Agents. Electr. Notes Theor. Comput. Sci. 16(1): (1998)
1997
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE 1997: 235-246
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Willem P. de Roever: Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS 1997: 632-646
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Frank S. de Boer, Catuscia Palamidessi: Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION 1997: 256-273
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Ulrich Hannemann, Willem P. de Roever: A Compositional Proof System for Shared Variable Concurrency. FME 1997: 515-532
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Ulrich Hannemann, Willem P. de Roever: Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS 1997: 267-283
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli: Infinite computations in concurrent constraint programming. Electr. Notes Theor. Comput. Sci. 6: (1997)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. 7(1): 1-38 (1997)
1996
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, M. van Hulst: Local Nondeterminism in Asynchronously Communicating Processes. FME 1996: 367-384
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst: Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996: 420-439
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi: Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996: 83-97
1995
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli: Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE 1995: 101-112
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli: Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995: 528-542
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, M. van Hulst: A Compositional Proof System for Asynchronously Communicating Processes. MPC 1995: 197-213
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. 151(1): 37-78 (1995)
1994
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, M. van Hulst: A Proof System for Asynchronously Communicating Deterministic Processes. MFCS 1994: 256-265
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. POPL 1994: 98-108
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: Compositionality in the Inductive Assertion Method for Concurrent Systems. PROCOMET 1994: 289-305
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre America, Frank S. de Boer: Reasoning about Dynamically Evolving Process Structures. Formal Asp. Comput. 6(3): 269-316 (1994)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Catuscia Palamidessi: Embedding as a Tool for Language Comparison Inf. Comput. 108(1): 128-157 (1994)
1993
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: Non-monotonic Concurrent Constraint Programming. ILPS 1993: 315-334
1992
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Catuscia Palamidessi: On the Semantics of Concurrent Constraint Programming. ALPUK 1992: 145-173
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Jozef Hooman: The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992: 451-472
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Catuscia Palamidessi: A Process Algebra of Concurrent Constraint Programming. JICSLP 1992: 463-477
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Jan Willem Klop, Catuscia Palamidessi: Asynchronous Communication in Process Algebra LICS 1992: 137-147
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. NAPAW 1992: 86-100
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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. Theor. Comput. Sci. 101(2): 239-263 (1992)
1991
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Catuscia Palamidessi: Embedding as a Tool for Language Comparison: On the CSP Hierarchy. CONCUR 1991: 127-141
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: A Compositional Proof System for Dynamic Process Creation LICS 1991: 399-405
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Catuscia Palamidessi: A Fully Abstract Model for Concurrent Constraint Programming. TAPSOFT, Vol.1 1991: 296-319
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi: Semantic Models for Concurrent Logic Languages. Theor. Comput. Sci. 86(1): 3-33 (1991)
1990
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: A Proof System for the Parallel Object-Oriented Language POOL. ICALP 1990: 572-585
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Catuscia Palamidessi: Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP 1990: 175-194
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: A Proof System for the Language POOL. REX Workshop 1990: 124-150
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre America, Frank S. de Boer: Proving Total Correctness of Recursive Procedures Inf. Comput. 84(2): 129-162 (1990)
1989
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: Semantic Models for a Version of PARLOG. ICLP 1989: 621-636
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer: Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). PARLE (2) 1989: 406-423

Coauthor Index

1Erika Ábrahám (Erika Ábrahám-Mumm) [73] [90] [93] [98] [101] [115] [116] [117] [125] [144] [158]
2Wolfgang Ahrendt [174]
3Bernhard K. Aichernig [162] [171]
4Pierre America [4] [23]
5Krzysztof R. Apt [169] [172]
6Farhad Arbab [64] [72] [87] [94] [96] [103] [112] [132] [136] [138] [143] [146] [151] [153] [160] [171]
7Tamarah Arons [130]
8Lacramioara Astefanoaei [159] [160] [163] [170] [171] [175] [176]
9Christel Baier [112] [136] [151]
10Gilles Barthe [165]
11Eike Best [40]
12Marcello M. Bonsangue [64] [65] [72] [87] [94] [96] [103] [106] [110] [113] [114] [115] [116] [117] [118] [122] [124] [126] [132] [133] [134] [139] [140] [143] [146] [150] [153] [157] [164] [168] [177]
13Hans Bosma [103]
14René van Buuren [103]
15Tom Chothia [161] [167]
16Dave Clarke [135] [156]
17J. Coenen [16]
18Mehdi Dastani [105] [138] [147] [148] [149] [159] [160] [170] [175] [176]
19Frank Dignum (F. P. M. Dignum) [105]
20Hugo W. L. ter Doest [103]
21Rogier M. van Eijk [44] [47] [48] [52] [53] [59] [62] [66] [67] [74] [75] [77] [78] [79] [83] [95] [97] [99] [104] [131]
22Harald Fecher [130] [145]
23Nissim Francez [46]
24Maurizio Gabbrielli [25] [29] [30] [31] [35] [36] [39] [43] [45] [63] [71] [80] [82] [88] [91] [108] [111]
25Rob Gerth [16]
26Immo Grabe [173] [174] [178]
27Susanne Graf [106] [122] [139] [150] [157] [164]
28Andreas Griesmayer [162]
29Luuk Groenewegen [103] [133]
30Andreas Grüner [117] [168]
31Ulrich Hannemann [37] [38] [55] [56] [69] [85]
32Koen V. Hindriks [42] [50] [51] [54] [68] [70] [76] [77] [84] [89] [152]
33Wiebe van der Hoek [42] [44] [47] [48] [50] [51] [52] [53] [54] [59] [62] [66] [67] [68] [70] [74] [75] [76] [77] [78] [79] [81] [84] [89] [95] [97] [104] [131] [152]
34Jozef Hooman [19] [69] [85] [130]
35Stijn Hoppenbrouwers [103]
36M. van Hulst [26] [28] [32] [33] [46]
37Maria-Eugenia Iacob [103]
38Joost Jacob [113] [114] [118] [130] [134]
39Mohammad Mahdi Jaghoori [161] [167] [173]
40Wil Janssen [103]
41Einar Broch Johnsen [156] [162]
42Henk Jonkers [103]
43Jan Willem Klop [17]
44Joost N. Kok [2] [3] [9] [13] [14] [15] [21]
45Hillel Kugler [130]
46Marcel Kyas [109] [127] [130] [145]
47Yassine Lakhnech [69] [85]
48Marc M. Lankhorst [103] [153]
49Diederik van Leeuwen [103]
50Delphine Longuet [161]
51Eric Madelain [177]
52Elena Marchiori [25] [36]
53Vladimir Mencl [154]
54Sun Meng [171]
55Maria Chiara Meo [39] [43] [63] [71] [80] [82] [88] [91] [108] [111]
56John-Jules Ch. Meyer [42] [44] [47] [48] [50] [51] [52] [53] [54] [59] [62] [66] [67] [68] [70] [74] [75] [76] [77] [78] [79] [81] [84] [89] [95] [97] [99] [104] [105] [119] [120] [131] [141] [142] [147] [148] [149] [152] [159] [160]
57Ali Movaghar-Rahimabadi (Ali Movaghar) [107] [128] [129] [137]
58Ernst-Rüdiger Olderog [169] [172]
59Catuscia Palamidessi [2] [3] [6] [8] [9] [10] [12] [13] [14] [15] [17] [18] [20] [21] [22] [25] [27] [31] [34] [36] [40]
60Cees Pierik [92] [99] [100] [102] [121] [123] [135]
61Alessandra Di Pierro [27] [34]
62Mannes Poel [69] [85]
63Henderik Alex Proper (Erik Proper) [103] [153]
64M. Birna van Riemsdijk (Birna van Riemsdijk) [119] [120] [141] [142] [147] [148] [149]
65Willem P. de Roever [32] [37] [38] [41] [55] [56] [69] [85] [90] [93] [98] [101] [106] [122] [125] [127] [139] [144] [145] [150] [157] [158] [164]
66Jan J. M. M. Rutten [2] [3] [9] [13] [14] [15] [21] [112] [136] [151] [171]
67Rudolf Schlatte [162]
68Juan Guillen Scholten [87] [94] [96] [103] [132] [143] [146]
69Amin Shali [107] [128] [137]
70Marjan Sirjani [107] [128] [129] [136] [137] [167]
71Andries Stam [103] [113] [114] [118] [133] [134] [173]
72Martin Steffen [90] [93] [98] [101] [115] [116] [117] [125] [144] [158] [168]
73S. Stevens [133]
74Frank A. Stomp [46]
75H. Tej [32]
76Nick A. M. Tinnemeier [160]
77Leendert W. N. van der Torre (Leendert van der Torre) [103] [113] [114] [118] [133] [134] [153]
78Wieke de Vries [81] [84] [131]
79Wang Yi [173]
80Gert Veldhuijzen van Zanten [103]
81Gianluigi Zavattaro [61]
82Mark van der Zwaag [130]
83Job Zwiers [69] [85]

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)