The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Marc Andreoli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Marc Andreoli, Hervé Gallaire, Remo Pareschi
    Rule-Based Object Coordination. [Citation Graph (1, 0)][DBLP]
    ECOOP Workshop, 1994, pp:1-13 [Conf]
  2. Jean-Marc Andreoli, Remo Pareschi
    LO and Behold! Concurrent Structured Processes. [Citation Graph (1, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:44-56 [Conf]
  3. Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi
    The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:635-667 [Journal]
  4. Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Johann H. Schlichter
    Constraint Agents for the Information Age. [Citation Graph (1, 0)][DBLP]
    J. UCS, 1995, v:1, n:12, pp:762-789 [Journal]
  5. Jean-Marc Andreoli, François Pacull, Daniele Pagani, Remo Pareschi
    Multiparty Negotiation of Dynamic Distributed Object Services. [Citation Graph (1, 0)][DBLP]
    Sci. Comput. Program., 1998, v:31, n:2-3, pp:179-203 [Journal]
  6. Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi
    Abstract Interpretation of Concurrent Languages based on Linear Logic. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:267-284 [Conf]
  7. Mihnea Bratu, Jean-Marc Andreoli, Olivier Boissier, Stefania Castellani
    A Software Infrastructure for Negotiation within Inter-organisational Alliances. [Citation Graph (0, 0)][DBLP]
    AMEC, 2002, pp:161-179 [Conf]
  8. Jean-Marc Andreoli
    Focussing Proof-Net Construction as a Middleware Paradigm. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:501-516 [Conf]
  9. Jean-Marc Andreoli, Laurent Mazaré
    Concurrent Construction of Proof-Nets. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:29-42 [Conf]
  10. Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
    Permutative Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:184-199 [Conf]
  11. Jean-Marc Andreoli
    Coordination as Negotiated Transactions. [Citation Graph (0, 0)][DBLP]
    Object Orientation with Parallelism and Persistence, 1995, pp:151-173 [Conf]
  12. Jean-Marc Andreoli, Stefania Castellani
    Negotiation as a Generic Component Coordination Primitive. [Citation Graph (0, 0)][DBLP]
    DAIS, 2003, pp:86-97 [Conf]
  13. Jean-Marc Andreoli, Stefania Castellani
    Towards a Flexible Middleware Negotiation Facility for Distributed Components. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 2001, pp:732-736 [Conf]
  14. Reinhard Brandl, Jean-Marc Andreoli, Stefania Castellani
    Ubiquitous negotiation games: a case study. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2003, pp:834-838 [Conf]
  15. Marc Bourgois, Jean-Marc Andreoli, Remo Pareschi
    Concurrency and Communication: Choices in Implementing the Coordination Language LO. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshop, 1993, pp:73-92 [Conf]
  16. Jean-Marc Andreoli, Remo Pareschi, Marc Bourgois
    Dynamic Programming as Multiagent Programming. [Citation Graph (0, 0)][DBLP]
    Object-Based Concurrent Computing, 1991, pp:163-176 [Conf]
  17. Jean-Marc Andreoli, Stefania Castellani, Manuel Munier
    AllianceNet: Information Sharing, Negotiation and Decision-Making for Distributed Organizations. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2000, pp:122-132 [Conf]
  18. Jean-Marc Andreoli, Damián Arregui, François Pacull, Jutta Willamowski
    Resource-Based Scripting to Stitch Distributed Components. [Citation Graph (0, 0)][DBLP]
    EDCIS, 2002, pp:429-443 [Conf]
  19. Jean-Marc Andreoli, Remo Pareschi
    Logic Programming with Sequent Systems, A Linear Logic Approach. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:1-30 [Conf]
  20. Jean-Marc Andreoli, Jean-Luc Meunier, Daniele Pagani
    Process Enactment and Coordination. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1996, pp:195-216 [Conf]
  21. Jean-Marc Andreoli, Uwe M. Borghoff, Pierre-Yves Chevalier, Boris Chidlovskii, Remo Pareschi, Jutta Willamowski
    The Constraint-Based Knowledge Broker System. [Citation Graph (0, 4)][DBLP]
    ICDE, 1997, pp:575- [Conf]
  22. Jean-Marc Andreoli, Remo Pareschi
    Linear Objects in a Logic Processes with Built-in Inheritance. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:495-510 [Conf]
  23. Jean-Marc Andreoli, Guillaume Bouchard
    Probabilistic Latent Clustering of Device Usage. [Citation Graph (0, 0)][DBLP]
    IDA, 2005, pp:1-11 [Conf]
  24. Jean-Marc Andreoli, François Pacull
    Distributed Print on Demand Systems in the Xpect Framework. [Citation Graph (0, 0)][DBLP]
    Trends in Distributed Systems for Electronic Commerce, 1998, pp:141-153 [Conf]
  25. Jean-Marc Andreoli, Remo Pareschi
    Formulae as Active Representations of Data. [Citation Graph (0, 0)][DBLP]
    SPLT, 1990, pp:139-160 [Conf]
  26. Jean-Marc Andreoli, Christer Fernström, Jean-Luc Meunier
    A Coordination System Approach to Software Workflow Process Evolution. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:297-0 [Conf]
  27. Jean-Marc Andreoli, Roberto Maieli
    Fucusing and Proof-Nets in Linear and Non-commutative Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:321-336 [Conf]
  28. Jean-Marc Andreoli, Remo Pareschi
    Linear Objects: a Logic Framework for Open System Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:448-450 [Conf]
  29. Jean-Marc Andreoli, Remo Pareschi
    Communication as Fair Distribution of Knowledge. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1991, pp:212-229 [Conf]
  30. Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi
    Abstract Interpretation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:295-314 [Conf]
  31. Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen
    True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:182-198 [Conf]
  32. Jean-Marc Andreoli
    The Coordination Language Facility and Applications. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:1-5 [Conf]
  33. Jean-Marc Andreoli
    Focussing and proof construction. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:107, n:1-3, pp:131-163 [Journal]
  34. Jean-Marc Andreoli, Roberto Maieli, Paul Ruet
    Non-commutative proof construction: A constraint-based approach. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:212-244 [Journal]
  35. Jean-Marc Andreoli, Remo Pareschi
    Integrated Computational Paradigms for Flexible Client-Server Communication. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:297-299 [Journal]
  36. Jean-Marc Andreoli, François Pacull
    Distributed Print on Demand Systems in the Xpect Framework. [Citation Graph (0, 0)][DBLP]
    Distributed and Parallel Databases, 1999, v:7, n:2, pp:179-198 [Journal]
  37. Jean-Marc Andreoli, François Pacull, Remo Pareschi
    XPECT: A Framework for Electronic Commerce. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 1997, v:1, n:4, pp:40-48 [Journal]
  38. Jean-Marc Andreoli
    Logic Programming with Focusing Proofs in Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:3, pp:297-347 [Journal]
  39. Jean-Marc Andreoli, Remo Pareschi
    Linear Ojects: Logical Processes with Built-in Inheritance. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:3/4, pp:445-474 [Journal]
  40. Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti
    Static Analysis of Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1997, v:15, n:4, pp:449-481 [Journal]
  41. Jean-Marc Andreoli, Steve Freeman, Remo Pareschi
    The Coordination Language Facility: Coordination of Distributed Objects. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1996, v:2, n:2, pp:77-94 [Journal]

  42. Soft Failure Detection Using Factorial Hidden Markov Models. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.307secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002