Sibylle B. Fröschle

2007
10	EE	Sibylle B. Fröschle: The Insecurity Problem: Tackling Unbounded Data. CSF 2007: 370-384
9	EE	Sibylle B. Fröschle, Slawomir Lasota: Causality versus true-concurrency. Theor. Comput. Sci. 386(3): 169-187 (2007)
2006
8	EE	Sibylle B. Fröschle, Slawomir Lasota: Causality Versus True-Concurrency. Electr. Notes Theor. Comput. Sci. 154(3): 3-18 (2006)
2005
7	EE	Sibylle B. Fröschle, Slawomir Lasota: Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. CONCUR 2005: 263-277
6	EE	Sibylle B. Fröschle: Composition and Decomposition in True-Concurrency. FoSSaCS 2005: 333-347
5	EE	Sibylle B. Fröschle: The decidability border of hereditary history preserving bisimilarity. Inf. Process. Lett. 93(6): 289-293 (2005)
2002
4		Julian C. Bradfield, Sibylle B. Fröschle: Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput. 9(1): 102-117 (2002)
2001
3	EE	Julian C. Bradfield, Sibylle B. Fröschle: On Logical and Concurrent Equivalences. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
1999
2		Sibylle B. Fröschle, Thomas T. Hildebrandt: On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365
1	EE	Sibylle B. Fröschle: Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP. Electr. Notes Theor. Comput. Sci. 27: (1999)

Coauthor Index

1	Julian C. Bradfield	[3] [4]
2	Thomas T. Hildebrandt	[2]
3	Slawomir Lasota	[7] [8] [9]

Colors in the list of coauthors