dblp.uni-trier.dewww.uni-trier.de

Frank S. de Boer Vis

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

*2009
170EEFrank 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
169EELacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani: On coordination, autonomy and time. AAMAS (2) 2009: 1357-1358
168EEKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs. Languages: From Formal to Natural 2009: 1-21
167EEBernhard 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
166EEKrzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog: Modular Verification of Recursive Programs CoRR abs/0907.4316: (2009)
165EEFrank S. de Boer: A shared-variable concurrency analysis of multi-threaded object-oriented programs. Theor. Comput. Sci. 410(2-3): 128-141 (2009)
2008
164 Gilles 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
163 Frank 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
162EELacramioara Astefanoaei, Frank S. de Boer: Model-checking agent refinement. AAMAS (2) 2008: 705-712
161EERudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen: Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333
160EEFarhad 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
159EELacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65
158EEErika Á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
157 Frank 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
156EEFrank S. de Boer, Dave Clarke, Einar Broch Johnsen: A Complete Guide to the Future. ESOP 2007: 316-330
155EEFrank S. de Boer: A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. FMOODS 2007: 252-268
154EEVladimir Mencl, Frank S. de Boer: Preface. Electr. Notes Theor. Comput. Sci. 182: 1-2 (2007)
153EEFarhad 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)
152EEFrank 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)
151EEFarhad 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
150 Frank 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
149EEM. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278
148EEM. 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
147EEM. 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
146EEJuan 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)
145EEHarald 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)
144EEErika Á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)
143EEJuan 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)
142EEM. 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)
141EEM. 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)
140EEFrank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 365(1-2): 1 (2006)
2005
139 Frank 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
138EEMehdi Dastani, Farhad Arbab, Frank S. de Boer: Coordination and composition in multi-agent systems. AAMAS 2005: 439-446
137EEMarjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221
136EEFarhad 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
135EECees Pierik, Dave Clarke, Frank S. de Boer: Controlling Object Allocation Using Creation Guards. FM 2005: 59-74
134EEFrank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre: Enterprise Architecture Analysis with XML. HICSS 2005
133EEFrank 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
132EEJuan 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
131EEFrank 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)
130EEMarcel 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)
129EEMarjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005)
128EEMarjan 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)
127 Marcel 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)
126EEFrank S. de Boer, Marcello M. Bonsangue: Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005)
125EEErika Á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)
124EEFrank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 343(3): 283-284 (2005)
123EECees Pierik, Frank S. de Boer: A proof outline logic for object-oriented programming. Theor. Comput. Sci. 343(3): 413-442 (2005)
2004
122 Frank 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
121EECees Pierik, Frank S. de Boer: Modularity and the Rule of Adaptation. AMAST 2004: 394-408
120EEBirna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442
119EEM. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA V 2004: 16-32
118EEFrank 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
117EEErika Á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
116EEFrank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
115EEErika Á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
114EEAndries 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
113 Joost 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
112EEFarhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten: Models and Temporal Logics for Timed Component Connectors. SEFM 2004: 198-207
111EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004)
110EEFrank S. de Boer, Marcello M. Bonsangue: Preface. Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004)
109EEMarcel Kyas, Frank S. de Boer: On Message Specifications in OCL. Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004)
108EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language and its Denotational Semantics. Fundam. Inform. 63(4): 309-330 (2004)
107EEMarjan 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
106 Frank 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
105EEMehdi 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
104EERogier 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
103EEHenk 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
102EEFrank S. de Boer, Cees Pierik: How to Cook a Complete Hoare Logic for Your Pet OO Language. FMCO 2003: 111-133
101EEErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169
100EECees Pierik, Frank S. de Boer: A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. FMOODS 2003: 64-78
99EEFrank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer: Coordinating Agents in OO. Objects, Agents, and Features 2003: 8-25
98EEErika Á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
97 Rogier 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)
96EEJuan 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)
95 Frank 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
94EEFarhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673
93EEErika Á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
92 Frank S. de Boer, Cees Pierik: Computer-aided Specification and Verification of Annotated Object-Oriented Programs. FMOODS 2002: 163-177
91EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51
90EEErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20
89EEFrank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals CoRR cs.AI/0207008: (2002)
88EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of Timed Concurrent Constraint Programs CoRR cs.LO/0208042: (2002)
87EEJuan 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)
86EEFrank S. de Boer: A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Theor. Comput. Sci. 274(1-2): 3-41 (2002)
2001
85 Willem 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
84EEWieke 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
83EEFrank S. de Boer, Rogier M. van Eijk: Decidable Navigation Logics for Object Structures. CSL 2001: 324-338
82 Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Denotational Semantics for Timed Linda. PPDP 2001: 28-36
81EEWieke 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
80EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233
79 Rogier 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)
78EERogier 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)
77EEJohn-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
76EEKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243
75EERogier 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
74EEFrank 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
73EEErika Ábrahám-Mumm, Frank S. de Boer: Proof-Outlines for Threads in Java. CONCUR 2000: 229-242
72EEFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266
71EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language. COORDINATION 2000: 299-304
70EEKoen 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
69 Willem 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
68 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
67 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
66EERogier 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
65EEFrank S. de Boer, Marcello M. Bonsangue: A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS 2000: 212-221
64 Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer: A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173
63 Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000)
1999
62 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
61EEFrank S. de Boer, Gianluigi Zavattaro: Generic Process Algebras for Asynchronous Communication. CONCUR 1999: 226-241
60EEFrank S. de Boer: Object-Oriented and Constraint Programming for Time Critical Applications. ECOOP Workshops 1999: 255-266
59 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
58 Frank S. de Boer: Reasoning about Histories in Object-based Distributed Systems. FMOODS 1999
57 Frank S. de Boer: A WP-calculus for OO. FoSSaCS 1999: 135-149
56EEFrank 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
55EEFrank 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
54 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)
1998
53EERogier 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
52 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
51 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
50EEKoen 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
49EEFrank S. de Boer: Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. CONCUR 1998: 285-300
48 Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297
47 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. ICMAS 1998: 473-474
46 Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp: A proof theory of asynchronously communicating sequential processes. PROCOMET 1998: 49-67
45EEFrank S. de Boer, Maurizio Gabbrielli: Preface. Electr. Notes Theor. Comput. Sci. 16(1): (1998)
44EERogier 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
43 Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE 1997: 235-246
42 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
41EEFrank S. de Boer, Willem P. de Roever: Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS 1997: 632-646
40 Eike Best, Frank S. de Boer, Catuscia Palamidessi: Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION 1997: 256-273
39 Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61
38EEFrank S. de Boer, Ulrich Hannemann, Willem P. de Roever: A Compositional Proof System for Shared Variable Concurrency. FME 1997: 515-532
37EEFrank S. de Boer, Ulrich Hannemann, Willem P. de Roever: Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS 1997: 267-283
36EEFrank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997)
35EEFrank S. de Boer, Maurizio Gabbrielli: Infinite computations in concurrent constraint programming. Electr. Notes Theor. Comput. Sci. 6: (1997)
34 Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. 7(1): 1-38 (1997)
1996
33EEFrank S. de Boer, M. van Hulst: Local Nondeterminism in Asynchronously Communicating Processes. FME 1996: 367-384
32 Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst: Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996: 420-439
31 Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi: Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996: 83-97
1995
30 Frank S. de Boer, Maurizio Gabbrielli: Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE 1995: 101-112
29 Frank S. de Boer, Maurizio Gabbrielli: Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995: 528-542
28 Frank S. de Boer, M. van Hulst: A Compositional Proof System for Asynchronously Communicating Processes. MPC 1995: 197-213
27EEFrank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. 151(1): 37-78 (1995)
1994
26EEFrank S. de Boer, M. van Hulst: A Proof System for Asynchronously Communicating Deterministic Processes. MFCS 1994: 256-265
25 Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. POPL 1994: 98-108
24 Frank S. de Boer: Compositionality in the Inductive Assertion Method for Concurrent Systems. PROCOMET 1994: 289-305
23 Pierre America, Frank S. de Boer: Reasoning about Dynamically Evolving Process Structures. Formal Asp. Comput. 6(3): 269-316 (1994)
22 Frank S. de Boer, Catuscia Palamidessi: Embedding as a Tool for Language Comparison Inf. Comput. 108(1): 128-157 (1994)
1993
21 Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: Non-monotonic Concurrent Constraint Programming. ILPS 1993: 315-334
1992
20 Frank S. de Boer, Catuscia Palamidessi: On the Semantics of Concurrent Constraint Programming. ALPUK 1992: 145-173
19 Frank S. de Boer, Jozef Hooman: The Real-Time Behaviour of Asynchronously Communicating Processes. FTRTFT 1992: 451-472
18 Frank S. de Boer, Catuscia Palamidessi: A Process Algebra of Concurrent Constraint Programming. JICSLP 1992: 463-477
17 Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi: Asynchronous Communication in Process Algebra LICS 1992: 137-147
16 Frank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. NAPAW 1992: 86-100
15EEFrank 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. Theor. Comput. Sci. 101(2): 239-263 (1992)
1991
13EEFrank 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
12EEFrank 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
10EEFrank 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. Theor. Comput. Sci. 86(1): 3-33 (1991)
1990
8EEFrank 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
7EEFrank 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
5EEFrank 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 Inf. Comput. 84(2): 129-162 (1990)
1989
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
2EEFrank 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
1EEFrank 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]
2Bernhard K. Aichernig [161] [167]
3Pierre America [4] [23]
4Krzysztof R. Apt [166] [168]
5Farhad Arbab [64] [72] [87] [94] [96] [103] [112] [132] [136] [138] [143] [146] [151] [153] [160] [167]
6Tamarah Arons [130]
7Lacramioara Astefanoaei [159] [160] [162] [167] [169]
8Christel Baier [112] [136] [151]
9Gilles Barthe [164]
10Eike Best [40]
11Marcello 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] [163] [170]
12Hans Bosma [103]
13René van Buuren [103]
14Dave Clarke [135] [156]
15J. Coenen [16]
16Mehdi Dastani [105] [138] [147] [148] [149] [159] [160] [169]
17Frank Dignum (F. P. M. Dignum) [105]
18Hugo W. L. ter Doest [103]
19Rogier M. van Eijk [44] [47] [48] [52] [53] [59] [62] [66] [67] [74] [75] [77] [78] [79] [83] [95] [97] [99] [104] [131]
20Harald Fecher [130] [145]
21Nissim Francez [46]
22Maurizio Gabbrielli [25] [29] [30] [31] [35] [36] [39] [43] [45] [63] [71] [80] [82] [88] [91] [108] [111]
23Rob Gerth [16]
24Susanne Graf [106] [122] [139] [150] [157] [163]
25Andreas Griesmayer [161]
26Luuk Groenewegen [103] [133]
27Andreas Grüner [117]
28Ulrich Hannemann [37] [38] [55] [56] [69] [85]
29Koen V. Hindriks [42] [50] [51] [54] [68] [70] [76] [77] [84] [89] [152]
30Wiebe 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]
31Jozef Hooman [19] [69] [85] [130]
32Stijn Hoppenbrouwers [103]
33M. van Hulst [26] [28] [32] [33] [46]
34Maria-Eugenia Iacob [103]
35Joost Jacob [113] [114] [118] [130] [134]
36Wil Janssen [103]
37Einar Broch Johnsen [156] [161]
38Henk Jonkers [103]
39Jan Willem Klop [17]
40Joost N. Kok [2] [3] [9] [13] [14] [15] [21]
41Hillel Kugler [130]
42Marcel Kyas [109] [127] [130] [145]
43Yassine Lakhnech [69] [85]
44Marc M. Lankhorst [103] [153]
45Diederik van Leeuwen [103]
46Eric Madelain [170]
47Elena Marchiori [25] [36]
48Vladimir Mencl [154]
49Sun Meng [167]
50Maria Chiara Meo [39] [43] [63] [71] [80] [82] [88] [91] [108] [111]
51John-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]
52Ali Movaghar-Rahimabadi (Ali Movaghar) [107] [128] [129] [137]
53Ernst-Rüdiger Olderog [166] [168]
54Catuscia Palamidessi [2] [3] [6] [8] [9] [10] [12] [13] [14] [15] [17] [18] [20] [21] [22] [25] [27] [31] [34] [36] [40]
55Cees Pierik [92] [99] [100] [102] [121] [123] [135]
56Alessandra Di Pierro [27] [34]
57Mannes Poel [69] [85]
58Henderik Alex Proper (Erik Proper) [103] [153]
59M. Birna van Riemsdijk (Birna van Riemsdijk) [119] [120] [141] [142] [147] [148] [149]
60Willem 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] [163]
61Jan J. M. M. Rutten [2] [3] [9] [13] [14] [15] [21] [112] [136] [151] [167]
62Rudolf Schlatte [161]
63Juan Guillen Scholten [87] [94] [96] [103] [132] [143] [146]
64Amin Shali [107] [128] [137]
65Marjan Sirjani [107] [128] [129] [136] [137]
66Andries Stam [103] [113] [114] [118] [133] [134]
67Martin Steffen [90] [93] [98] [101] [115] [116] [117] [125] [144] [158]
68S. Stevens [133]
69Frank A. Stomp [46]
70H. Tej [32]
71Nick A. M. Tinnemeier [160]
72Leendert W. N. van der Torre (Leendert van der Torre) [103] [113] [114] [118] [133] [134] [153]
73Wieke de Vries [81] [84] [131]
74Gert Veldhuijzen van Zanten [103]
75Gianluigi Zavattaro [61]
76Mark van der Zwaag [130]
77Job Zwiers [69] [85]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)