| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Stefan Haar Helia Pouyllau , Armen Aghasaryan , Laurent Ciarletta , Stefan Haar: X-domain QoS budget negotiation using Dynamic Programming. AICT/ICIW 2006 : 35 Paolo Baldan , Stefan Haar, Barbara König : Distributed Unfolding of Petri Nets. FoSSaCS 2006 : 126-141 Serge Abiteboul , Zoë Abrams , Stefan Haar, Tova Milo : Diagnosis of asynchronous discrete event systems: datalog to the rescue! PODS 2005 : 358-367 Eric Fabre , Albert Benveniste , Stefan Haar, Claude Jard , Armen Aghasaryan : Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004 : 820-825 Albert Benveniste , Stefan Haar, Eric Fabre , Claude Jard : Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003 : 1-26 Bruno Gaujal , Stefan Haar, Jean Mairesse : Blocking a transition in a free choice net and what it tells about its throughput. J. Comput. Syst. Sci. 66 (3): 515-548 (2003) Stefan Haar: Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. PAPM-PROBMIV 2002 : 95-114 Stefan Haar: Probabilistic Cluster Unfoldings. Fundam. Inform. 53 (3-4): 281-314 (2002) Stefan Haar: Clusters, Confusion and Unfoldings. Fundam. Inform. 47 (3-4): 259-270 (2001) Stefan Haar: Occurrence Net Logics. Fundam. Inform. 43 (1-4): 105-127 (2000) Stefan Haar: Branching Processes of general S/T-Systems and their properties. Electr. Notes Theor. Comput. Sci. 18 : (1998) 1 [ 9 ] 2 [ 9 ] 3 [ 8 ] [ 11 ] 4 [ 10 ] 5 [ 7 ] [ 8 ] 6 [ 11 ] 7 [ 7 ] [ 8 ] 8 [ 6 ] 9 [ 7 ] [ 8 ] 10 [ 10 ] 11 [ 6 ] 12 [ 9 ] 13 [ 11 ]  ©2006 Association for Computing Machinery |
