The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Frank S. de Boer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali
    Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:212-221 [Conf]
  2. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Operational Semantics for Agent Communication Languages. [Citation Graph (0, 0)][DBLP]
    Issues in Agent Communication, 2000, pp:80-95 [Conf]
  3. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Semantics of Communicating Agents Based on Deduction and Abduction. [Citation Graph (0, 0)][DBLP]
    Issues in Agent Communication, 2000, pp:63-79 [Conf]
  4. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:235-246 [Conf]
  5. Frank S. de Boer, Maurizio Gabbrielli
    Modeling Real-Time in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:101-112 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:240-253 [Conf]
  7. Frank S. de Boer, Catuscia Palamidessi
    On the Semantics of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:145-173 [Conf]
  8. Cees Pierik, Frank S. de Boer
    Modularity and the Rule of Adaptation. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:394-408 [Conf]
  9. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
    Semantics of Plan Revision in Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:426-442 [Conf]
  10. Mehdi Dastani, Farhad Arbab, Frank S. de Boer
    Coordination and composition in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:439-446 [Conf]
  11. Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer
    Programming agent deliberation: an approach illustrated using the 3APL language. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:97-104 [Conf]
  12. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Generalised Object-Oriented Concepts for Inter-agent Communication. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:260-274 [Conf]
  13. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Process Algebra for Agent Communication: A General Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Communication in Multiagent Systems, 2003, pp:113-128 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:29-45 [Conf]
  15. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Open Multi-agent Systems: Agent Communication and Integration. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:218-232 [Conf]
  16. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming with Declarative Goals. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:228-243 [Conf]
  17. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Formal Semantics for an Abstract Agent Programming Language. [Citation Graph (0, 0)][DBLP]
    ATAL, 1997, pp:215-229 [Conf]
  18. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Control Structures of Rule-Based Agent Languages. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:381-396 [Conf]
  19. M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
    Prototyping 3APL in the Maude term rewriting language. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1279-1281 [Conf]
  20. M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
    Goal-oriented modularity in agent programming. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1271-1278 [Conf]
  21. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Formal Embedding of AgentSpeak(L) in 3APL. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:155-166 [Conf]
  22. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Compositional Operational Semantics for JavaMT. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:290-303 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2001, pp:313-321 [Conf]
  24. M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
    Prototyping 3APL in the Maude Term Rewriting Language. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:95-114 [Conf]
  25. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
    Dynamic Logic for Plan Revision in Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:16-32 [Conf]
  26. Frank S. de Boer, Willem P. de Roever
    Compositional Proof Methods for Concurrency: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:632-646 [Conf]
  27. Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
    MoCha: A Middleware Based on Mobile Channels. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:667-673 [Conf]
  28. Erika Ábrahám-Mumm, Frank S. de Boer
    Proof-Outlines for Threads in Java. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:229-242 [Conf]
  29. Frank S. de Boer
    Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:285-300 [Conf]
  30. 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. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:214-228 [Conf]
  31. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
    The Failure of Failures in a Paradigm for Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:111-126 [Conf]
  32. Frank S. de Boer, Catuscia Palamidessi
    On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:99-114 [Conf]
  33. Frank S. de Boer, Catuscia Palamidessi
    Embedding as a Tool for Language Comparison: On the CSP Hierarchy. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:127-141 [Conf]
  34. Frank S. de Boer, Gianluigi Zavattaro
    Generic Process Algebras for Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:226-241 [Conf]
  35. Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Logical Interface Description Language for Components. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:249-266 [Conf]
  36. Farhad 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. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:236-251 [Conf]
  37. Eike Best, Frank S. de Boer, Catuscia Palamidessi
    Partial Order and SOS Semantics for Linear Constraint Programs. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:256-273 [Conf]
  38. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Linda Language. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:299-304 [Conf]
  39. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:47-61 [Conf]
  40. Frank S. de Boer, Rogier M. van Eijk
    Decidable Navigation Logics for Object Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:324-338 [Conf]
  41. Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer
    Coordinating Agents in OO. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:8-25 [Conf]
  42. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Systems of Communicating Agents. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:293-297 [Conf]
  43. Frank S. de Boer
    Object-Oriented and Constraint Programming for Time Critical Applications. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:255-266 [Conf]
  44. 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. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:265- [Conf]
  45. Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
    A Logical Viewpoint on Architectures. [Citation Graph (0, 0)][DBLP]
    EDOC, 2004, pp:73-83 [Conf]
  46. Henk 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. [Citation Graph (0, 0)][DBLP]
    EDOC, 2003, pp:28-39 [Conf]
  47. 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. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:78-89 [Conf]
  48. 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. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:3-5 [Conf]
  49. Frank S. de Boer, M. van Hulst
    Local Nondeterminism in Asynchronously Communicating Processes. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:367-384 [Conf]
  50. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
    A Compositional Proof System for Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:515-532 [Conf]
  51. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
    Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1245-1265 [Conf]
  52. Cees Pierik, Dave Clarke, Frank S. de Boer
    Controlling Object Allocation Using Creation Guards. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:59-74 [Conf]
  53. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Tool-Supported Proof System for Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:1-32 [Conf]
  54. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
    Observability, Connectivity, and Replay in a Sequential Calculus of Classes. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:296-316 [Conf]
  55. Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
    A Fully Abstract Semantics for UML Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:49-69 [Conf]
  56. Frank S. de Boer, Cees Pierik
    How to Cook a Complete Hoare Logic for Your Pet OO Language. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:111-133 [Conf]
  57. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Monitors in Java. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:155-169 [Conf]
  58. Frank S. de Boer
    Reasoning about Histories in Object-based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  59. Frank S. de Boer, Cees Pierik
    Computer-aided Specification and Verification of Annotated Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:163-177 [Conf]
  60. Cees Pierik, Frank S. de Boer
    A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:64-78 [Conf]
  61. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Verification for Java's Reentrant Multithreading Concept. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:5-20 [Conf]
  62. Frank S. de Boer
    A WP-calculus for OO. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:135-149 [Conf]
  63. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving Correctness of Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:37-51 [Conf]
  64. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
    Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:267-283 [Conf]
  65. Frank S. de Boer, Jozef Hooman
    The Real-Time Behaviour of Asynchronously Communicating Processes. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:451-472 [Conf]
  66. Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst
    Compositionality in Real-Time Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:420-439 [Conf]
  67. Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
    Enterprise Architecture Analysis with XML. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  68. Frank S. de Boer
    A Proof System for the Parallel Object-Oriented Language POOL. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:572-585 [Conf]
  69. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
    Semantic Models for a Version of PARLOG. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:621-636 [Conf]
  70. Frank S. de Boer, Catuscia Palamidessi
    A Process Algebra of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:463-477 [Conf]
  71. 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. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1998, pp:473-474 [Conf]
  72. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
    Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:37-51 [Conf]
  73. Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre
    Change impact analysis of enterprise architectures. [Citation Graph (0, 0)][DBLP]
    IRI, 2005, pp:177-181 [Conf]
  74. Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre
    Using XML Transformations for Enterprise Architectures. [Citation Graph (0, 0)][DBLP]
    ISoLA, 2004, pp:42-56 [Conf]
  75. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Modal Logic for Network Topologies. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:269-283 [Conf]
  76. Frank S. de Boer
    A Compositional Proof System for Dynamic Process Creation [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:399-405 [Conf]
  77. Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi
    Asynchronous Communication in Process Algebra [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:137-147 [Conf]
  78. Frank S. de Boer, Marcello M. Bonsangue
    A Compositional Model for Confluent Dynamic Data-Flow Networks. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:212-221 [Conf]
  79. Frank S. de Boer, M. van Hulst
    A Proof System for Asynchronously Communicating Deterministic Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:256-265 [Conf]
  80. 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. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:165-176 [Conf]
  81. Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
    The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:343-353 [Conf]
  82. Frank S. de Boer, M. van Hulst
    A Compositional Proof System for Asynchronously Communicating Processes. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:197-213 [Conf]
  83. Frank S. de Boer, J. Coenen, Rob Gerth
    Exception Handling in Process Algebra. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:86-100 [Conf]
  84. Frank S. de Boer
    Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1989, pp:406-423 [Conf]
  85. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
    Proving Concurrent Constraint Programs Correct. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:98-108 [Conf]
  86. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Denotational Semantics for Timed Linda. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:28-36 [Conf]
  87. Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Truly Concurrent Model for Interacting Agents. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2001, pp:16-30 [Conf]
  88. Frank S. de Boer
    Compositionality in the Inductive Assertion Method for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:289-305 [Conf]
  89. Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp
    A proof theory of asynchronously communicating sequential processes. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:49-67 [Conf]
  90. Frank S. de Boer
    A Proof System for the Language POOL. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1990, pp:124-150 [Conf]
  91. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
    On Blocks: Locality and Asynchronous Communication (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:73-90 [Conf]
  92. Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer
    A Coordination Lanuage for Mobile Components. [Citation Graph (0, 0)][DBLP]
    SAC (1), 2000, pp:166-173 [Conf]
  93. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    MoCha-pi, an exogenous coordination calculus based on mobile channels. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:436-442 [Conf]
  94. Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi
    Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:83-97 [Conf]
  95. Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
    Models and Temporal Logics for Timed Component Connectors. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:198-207 [Conf]
  96. Frank S. de Boer, Maurizio Gabbrielli
    Modelling Real-Time in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:528-542 [Conf]
  97. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
    Non-monotonic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:315-334 [Conf]
  98. Frank S. de Boer, Catuscia Palamidessi
    Concurrent Logic Programming: Asynchronism and Language Comparison. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:175-194 [Conf]
  99. Frank S. de Boer, Catuscia Palamidessi
    A Fully Abstract Model for Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:296-319 [Conf]
  100. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:227-233 [Conf]
  101. Frank 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. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2005, v:16, n:2-3, pp:113-150 [Journal]
  102. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Verification Framework for Agent Communication. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2003, v:6, n:2, pp:185-219 [Journal]
  103. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming in 3APL. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 1999, v:2, n:4, pp:357-401 [Journal]
  104. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming with Declarative Goals [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  105. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving correctness of Timed Concurrent Constraint Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  106. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Exceptions in Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:281-297 [Journal]
  107. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:1-2 [Journal]
  108. Frank S. de Boer, Maurizio Gabbrielli
    Infinite computations in concurrent constraint programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  109. Frank S. de Boer, Maurizio Gabbrielli
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:1, pp:- [Journal]
  110. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Translations of Vocabularies in Systems of Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:1, pp:- [Journal]
  111. Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
    Compositional Operational Semantics of a UML-Kernel-Model Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:79-96 [Journal]
  112. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Channel-based Coordination Model for Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  113. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:121-138 [Journal]
  114. Marcel Kyas, Frank S. de Boer
    On Message Specifications in OCL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:73-93 [Journal]
  115. Marcel 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:39-47 [Journal]
  116. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    Mobile Channels, Implementation Within and Outside Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  117. Pierre America, Frank S. de Boer
    Reasoning about Dynamically Evolving Process Structures. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:3, pp:269-316 [Journal]
  118. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Linda Language and its Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:309-330 [Journal]
  119. Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
    Modeling and Verification of Reactive Systems using Rebeca. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:385-410 [Journal]
  120. Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
    A Component Coordination Model Based on Mobile Channels. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:561-582 [Journal]
  121. Pierre America, Frank S. de Boer
    Proving Total Correctness of Recursive Procedures [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1990, v:84, n:2, pp:129-162 [Journal]
  122. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:161, n:1, pp:45-83 [Journal]
  123. Frank S. de Boer, Catuscia Palamidessi
    Embedding as a Tool for Language Comparison [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:108, n:1, pp:128-157 [Journal]
  124. John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek
    On Programming KARO Agents. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  125. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    On dynamically generated ontology translators in agent communication. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2001, v:16, n:5, pp:587-607 [Journal]
  126. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    A verification framework for agent programming with declarative goals. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:277-302 [Journal]
  127. Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi
    Modular Verification of a Component-Based Actor Language. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:10, pp:1695-1717 [Journal]
  128. Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
    Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:6, pp:1054-1082 [Journal]
  129. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
    An Algebraic Perspective of Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:1, pp:1-38 [Journal]
  130. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Modal Logic with Bounded Quantification over Worlds. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:701-715 [Journal]
  131. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
    Dynamic Logic for Plan Revision in Agent Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:3, pp:375-402 [Journal]
  132. Marcel Kyas, Frank S. de Boer, Willem P. de Roever
    A Compositional Trace Logic for Behavioural Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:2, pp:116-132 [Journal]
  133. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:1-2 [Journal]
  134. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    An assertion-based proof system for multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:251-290 [Journal]
  135. Frank S. de Boer
    A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:3-41 [Journal]
  136. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:283-284 [Journal]
  137. Frank S. de Boer, Marcello M. Bonsangue
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:1- [Journal]
  138. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:3, pp:1753-1773 [Journal]
  139. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:101, n:2, pp:239-263 [Journal]
  140. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
    Nondeterminism and Infinite Computations in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:37-78 [Journal]
  141. Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi
    Semantic Models for Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:86, n:1, pp:3-33 [Journal]
  142. Cees Pierik, Frank S. de Boer
    A proof outline logic for object-oriented programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:413-442 [Journal]
  143. M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
    Semantics of plan revision in intelligent agents. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:240-257 [Journal]
  144. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving correctness of timed concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:4, pp:706-731 [Journal]
  145. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
    Proving Concurrent Constraint Programs Correct. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:5, pp:685-725 [Journal]
  146. Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
    A Complete Guide to the Future. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:316-330 [Conf]
  147. Frank S. de Boer
    A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:252-268 [Conf]
  148. Vladimir Mencl, Frank S. de Boer
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:1-2 [Journal]

  149. Model-checking agent refinement. [Citation Graph (, )][DBLP]


  150. On coordination, autonomy and time. [Citation Graph (, )][DBLP]


  151. Strategic executions of choreographed timed normative multi-agent systems. [Citation Graph (, )][DBLP]


  152. Modular Verification of Recursive Programs. [Citation Graph (, )][DBLP]


  153. Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. [Citation Graph (, )][DBLP]


  154. The Refinement of Choreographed Multi-Agent Systems. [Citation Graph (, )][DBLP]


  155. Abstract Object Creation in Dynamic Logic. [Citation Graph (, )][DBLP]


  156. Rewriting Agent Societies Strategically. [Citation Graph (, )][DBLP]


  157. Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. [Citation Graph (, )][DBLP]


  158. Testing Concurrent Objects with Application-Specific Schedulers. [Citation Graph (, )][DBLP]


  159. Using XML Transformations for Enterprise Architectures. [Citation Graph (, )][DBLP]


  160. Using Rewrite Strategies for Testing BUpL Agents. [Citation Graph (, )][DBLP]


  161. Reo Connectors as Coordination Artifacts in 2APL Systems. [Citation Graph (, )][DBLP]


  162. A Verification Framework for Normative Multi-Agent Systems. [Citation Graph (, )][DBLP]


  163. Schedulability and Compatibility of Real Time Asynchronous Objects. [Citation Graph (, )][DBLP]


  164. Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. [Citation Graph (, )][DBLP]


  165. Fault-Based Test Case Generation for Component Connectors. [Citation Graph (, )][DBLP]


  166. Modular Schedulability Analysis of Concurrent Objects in Creol. [Citation Graph (, )][DBLP]


  167. Modular Verification of Recursive Programs [Citation Graph (, )][DBLP]


  168. Verification of Object-Oriented Programs: a Transformational Approach [Citation Graph (, )][DBLP]


  169. Java Test Driver Generation from Object-Oriented Interaction Traces. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002