The SCEAS System
Navigation Menu

Search the dblp DataBase


Stefan Haar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hélia Pouyllau, Armen Aghasaryan, Laurent Ciarletta, Stefan Haar
    X-domain QoS budget negotiation using Dynamic Programming. [Citation Graph (0, 0)][DBLP]
    AICT/ICIW, 2006, pp:35- [Conf]
  2. Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
    Distributed Monitoring of Concurrent and Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:1-26 [Conf]
  3. Paolo Baldan, Stefan Haar, Barbara König
    Distributed Unfolding of Petri Nets. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:126-141 [Conf]
  4. Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan
    Algorithms for Distributed Fault Management in Telecommunications Networks. [Citation Graph (0, 0)][DBLP]
    ICT, 2004, pp:820-825 [Conf]
  5. Stefan Haar
    Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:95-114 [Conf]
  6. Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo
    Diagnosis of asynchronous discrete event systems: datalog to the rescue! [Citation Graph (0, 0)][DBLP]
    PODS, 2005, pp:358-367 [Conf]
  7. Stefan Haar
    Branching Processes of general S/T-Systems and their properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  8. Stefan Haar
    Occurrence Net Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:105-127 [Journal]
  9. Stefan Haar
    Clusters, Confusion and Unfoldings. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:47, n:3-4, pp:259-270 [Journal]
  10. Stefan Haar
    Probabilistic Cluster Unfoldings. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:53, n:3-4, pp:281-314 [Journal]
  11. Bruno Gaujal, Stefan Haar, Jean Mairesse
    Blocking a transition in a free choice net and what it tells about its throughput. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2003, v:66, n:3, pp:515-548 [Journal]
  12. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
    Probabilistic QoS and soft contracts for transaction based Web services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:126-133 [Conf]
  13. Hélia Pouyllau, Stefan Haar
    A protocol for QoS contract negotiation and its implementation using Web Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:168-175 [Conf]
  14. Stefan Haar, Claude Jard, Guy-Vincent Jourdan
    Testing Input/Output Partial Order Automata. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:171-185 [Conf]
  15. Hélia Pouyllau, Stefan Haar
    Distributed End-to-End QoS Contract Negotiation. [Citation Graph (0, 0)][DBLP]
    AIMS, 2007, pp:180-183 [Conf]
  16. Bruno Gaujal, Stefan Haar, Jean Mairesse
    Blocking a transition in a Free Choice net and what it tells about its throughput [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  17. Monotonicity in Service Orchestrations. [Citation Graph (, )][DBLP]

  18. Unfolding-Based Diagnosis of Systems with an Evolving Topology. [Citation Graph (, )][DBLP]

  19. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. [Citation Graph (, )][DBLP]

  20. Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. [Citation Graph (, )][DBLP]

  21. Testing Systems Specified as Partial Order Input/Output Automata. [Citation Graph (, )][DBLP]

  22. Event Structure Semantics of Orc. [Citation Graph (, )][DBLP]

  23. Qualitative diagnosability of labeled petri nets revisited. [Citation Graph (, )][DBLP]

  24. Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. [Citation Graph (, )][DBLP]

  25. Monotony in Service Orchestrations [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002