Вы здесь

Главная

Palamidessi C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Axiomatizations for Probabilistic Finite-State Behaviors 2005 Deng Y., Palamidessi C. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.07.2005
СТ A Temporal Concurrent Constraint Programming Caculus 2001 Palamidessi C., Valencia F. D. Lecture Notes in Computer Science 08.11.2001
СТ 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
СТ 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
СТ Confluence in Concurrent Constraint Programming 1995 Falaschi M., Gabbrielli M., Marriott K., Palamidessi C. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ A Simple Semantics for Logic Programming Languages with Dynamic Scheduling 1995 Marriot K., Falaschi M., Gabbrielli M., Palamidessi C. Australian Computer Science Communications 12.07.1995
СТ 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
СТ Failure and Success made Symmetric 1990 Levi G., Martelli M., Palamidessi C. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Concurrent Logic Programming Asynchronous and Language Comparison 1990 de Boer F. S., Palamidessi C. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Concurrent Constraint Programming 1994 Palamidessi C. Lecture Notes in Computer Science 01.11.1994
СТ A New Declarative Semantics for Logic Languages 1988 Falaschi M., Levi G., Martelli M., Palamidessi C. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.1994
СТ 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
СТ Negation as Instantiation: A new Rule for the Treatment of Negation in Logic Programming 1991 Di Pierro A., Martelli M., Palamidessi C. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ A Logical Denotational Semantics for Constraint Logic Programming 1994 Di Pierro A., Palamidessi C. Lecture Notes in Computer Science 06.05.1994
СТ 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
СТ Semantic models for concurrent logic languages 1991 Boer F., Rutten J., Kok N., Palamidessi C. Theoretical Computer Science 18.09.1991
СТ Structural Operational Semantics for Kernel Andorra Prolog 1991 Haridi S., Palamidessi C. Lecture Notes in Computer Science 13.09.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Horizons of the Mind: A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday 2014 Lecture Notes in Computer Science
  1. Van Breugel F.
  2. Kashefi E.
  3. Palamidessi C.
  4. Rutten J.
 30.08.2014
СБ Formal Techniques for Distributed Objects, Components, and Systems: Proc./34th IFIP WG 6.1 International Conference, FORTE 2014 Held as Part of the 9th International Federated Conference DisCoTec 2014, Berlin, Germany, June 2014 2014 Lecture Notes in Computer Science
  1. Abraham E.
  2. Palamidessi C.
 29.08.2014
СБ Trustworthy Global Computing: Revised Selectes Papers/7th International Symposium, TGC 2012, Newcastle upon Tune, UK, September 2012 2013 Lecture Notes in Computer Science
  1. Palamidessi C.
  2. Ryan M. D.
 18.11.2013
СБ SOFSEM 2009: Theory and Practice of Computer Science: Proc./35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 2009 2009 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Kucera A.
  3. Miltersen P. B.
  4. Palamidessi C.
 15.05.2009
СБ Automata, Languages and Programming: Proc./32nd International Colloquium, ICALP 2005. Lisbon, Portugal, July 2005 2005 Lecture Notes in Computer Science
  1. Caires L.
  2. Italiano G. F.
  3. Monteiro L.
  4. Palamidessi C.
 20.11.2005
СБ Logic Programming: Proc./19th Intern. Conf., ICLP 2003, Mumbai, India, December 2003 2003 Lecture Notes in Computer Science
  1. Palamidessi C.
 15.01.2004
СБ CONCUR 2000 - Concurrency Theory: Proc./11th Intern. Conf., University Park, PA, USA, August 2000 2000 Lecture Notes in Computer Science
  1. Palamidessi C.
 15.09.2000
СБ Principles of Declarative Programming: Proc./10th Intern. Symp., PLILP 98, Held Jointly with the Intern. Conf., ALP 98. Pisa, Italy, September 1998 1998 Lecture Notes in Computer Science
  1. Palamidessi C.
  2. Glaser H.
  3. Meinke K.
 10.10.1998