Вы здесь

de Boer F. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Compositional Operational Semantics for JavaMT 2003 Abraham E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 26.03.2004
СТ A Compositional Proof System for Asynchronously Communicating Processes 1995 de Boer F. S., Van Hulst M. Lecture Notes in Computer Science 30.03.2002
СТ A Logical Interface Description Language for Components 2000 Arbab F., de Boer F. S., Bonsangue M. M. Lecture Notes in Computer Science 05.10.2000
СТ A Process Algebra of Concurrent Constraint Programming 1992 de Boer F. S., Palamidessi C. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ A Programming Logic for Part of the Agent Language 3APL 2001 Hindriks K. V., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 05.11.2001
СТ A Proof System for Asynchronously Communicating Deterministic Processes 1994 de Boer F. S., Van Hulst M. Lecture Notes in Computer Science 29.09.1994
СТ A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts 2003 Pierik C., de Boer F. S. Lecture Notes in Computer Science 18.12.2003
СТ A Tool-Supported Proof System for Multithreaded Java 2003 Abraham E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 31.01.2004
СТ A WP-calculus for OO 1999 de Boer F. S. Lecture Notes in Computer Science 02.04.1999
СТ Compositional Proof Methods for Concurrency: A Semantic Approach 1998 de Boer F. S., De Roever W. -P. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Concurrent Logic Programming Asynchronous and Language Comparison 1990 de Boer F. S., Palamidessi C. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Coordinating Agents in OO 2004 de Boer F. S., Pieric C., Van Eijk R. M., Meyer J.-J. Ch. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Failure Semantics for the Exchange of Information in Multi-Agent Systems 2000 de Boer F. S., Van Eijk R. M., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Computer Science 15.09.2000
СТ Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach 1999 de Boer F. S., Hannemann U., De Roever W. -P. Lecture Notes in Computer Science 26.10.1999
СТ Generic Process Algebras for Asynchronous Communication 1999 de Boer F. S., Zavattaro G. Lecture Notes in Computer Science 15.09.1999
СТ How to Cook a Complete Hoare Logic for Your Pet OO Language 2004 de Boer F. S., Pierik C. Lecture Notes in Computer Science Lecture Notes in Computer Science 12.02.2005
СТ Inductive Proof Outlines for Monitors in Java 2003 Abraham E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 18.12.2003
СТ Modeling Real-Time in Concurrent Constraint Programming 1995 de Boer F. S., Gabbrielli M. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ Non-monotonic Concurrent Constraint Progpamming 1993 de Boer F. S., Kok J. N., Palamidessi C., Rutten J.J.M. M. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes 2005 Abraham E., Bonsangue M. M., de Boer F. S., Steffen M. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.04.2005
СТ Object-Oriented and Constraints Programming for Time Critical Applications 1999 de Boer F. S. Lecture Notes in Computer Science 26.01.2000
СТ On Blocks: locality and asynchronous communication 1993 de Boer F. S., Kok J. N., Palamidessi C., Rutten J.J.M. M. Lecture Notes in Computer Science 11.06.1993
СТ Operational Semantics for Agent Communication Languages 2000 Van Eijk R. M., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 29.11.2000
СТ Partial Order and SOS Semantics for Linear Constraint Programs 1997 Best E., de Boer F. S., Palamidessi C. Lecture Notes in Computer Science 12.09.1997
СТ Proof-Outlines for Threads in Java 2000 Abraham-Mumm E., de Boer F. S. Lecture Notes in Computer Science 15.09.2000
СТ Proving Concurrent Constraint Programs Correct 1994 de Boer F. S., Gabrielli M., Marchiori E., Palamidessi C. Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages 29.08.1997
СТ Proving Correctness of Constraint Logic Programs with Dynamic Scheduling 1996 de Boer F. S., Gabbrielli M., Palamidessi C. Lecture Notes in Computer Science Static Analysis 04.10.1996
СТ Semantics of Communicating Agents Based on Deduction and Abduction 2000 Hindriks K. V., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 29.11.2000
СТ Verification for Java s Reentrant Multithreading Concept 2002 Abraham-Munn E., de Boer F. S., De Roever W. -P., Steffen M. Lecture Notes in Computer Science 09.05.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005 2006 Lecture Notes in Artificial Intelligence
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
28.09.2006
СБ Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006 2008 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
07.06.2008
СБ Formal Methods for Components and Objects: Revised Lectures/7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 2008 2009 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Madelaine E.
21.11.2009
СБ Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004 2005 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
06.12.2005
СБ Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012 2013 Lecture Notes in Computer Science
  1. Giachino E.
  2. Hahnle R.
  3. de Boer F. S.
  4. Bonsangue M. M.
07.10.2013
СБ Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010 2011 Lecture Notes in Computer Science
  1. Aichernig B. K.
  2. de Boer F. S.
  3. Bonsangue M. M.
20.03.2012
СБ Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011 2013 Lecture Notes in Computer Science
  1. Beckert B.
  2. Domiani F.
  3. de Boer F. S.
  4. Bonsangue M. M.
19.02.2013
СБ Formal Methods for Components and Objects: Revised Selected Papers/8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 2009 2010 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Hallerstede S.
  4. Leuschel M.
10.03.2011
СБ Formal Methods for Open Object-Based Distributed Systems: Proc./10th IFIP WG 6.1 International Conference, FMOODS 2008. Oslo, Norway, June 2008 2008 Lecture Notes in Computer Science
  1. Barthe G.
  2. de Boer F. S.
04.07.2008
СБ Theoretical Computer Science: Proc./7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 2012 2012 Lecture Notes in Computer Science
  1. Baeten J.C. M.
  2. Ball T.
  3. de Boer F. S.
01.10.2012