Sibylle B. Fröschle

	2011
19		Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota: Partially-commutative context-free processes: Expressibility and tractability. Inf. Comput. 209(5): 782-798 (2011)
	2010
18		Sibylle B. Fröschle, Frank D. Valencia: Proceedings 17th International Workshop on Expressiveness in Concurrency EXPRESS'10 2010
17		Sibylle B. Fröschle, Nils Sommer: Reasoning with Past to Prove PKCS#11 Keys Secure. Formal Aspects in Security and Trust 2010: 96-110
16		Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota, Zdenek Sawa: Non-interleaving bisimulation equivalences on Basic Parallel Processes. Inf. Comput. 208(1): 42-62 (2010)
	2009
15		Sibylle B. Fröschle, Daniele Gorla: Proceedings 16th International Workshop on Expressiveness in Concurrency EXPRESS 2009
14		Sibylle B. Fröschle, Graham Steel: Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. ARSPA-WITS 2009: 92-106
13		Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota: Partially-Commutative Context-Free Processes. CONCUR 2009: 259-273
12		Sibylle B. Fröschle, Slawomir Lasota: Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. Electr. Notes Theor. Comput. Sci. 239: 17-42 (2009)
11		Sibylle B. Fröschle: Adding Branching to the Strand Space Model. Electr. Notes Theor. Comput. Sci. 242(1): 139-159 (2009)
	2007
10		Sibylle B. Fröschle: The Insecurity Problem: Tackling Unbounded Data. CSF 2007: 370-384
9		Sibylle B. Fröschle, Slawomir Lasota: Causality versus true-concurrency. Theor. Comput. Sci. 386(3): 169-187 (2007)
	2006
8		Sibylle B. Fröschle, Slawomir Lasota: Causality Versus True-Concurrency. Electr. Notes Theor. Comput. Sci. 154(3): 3-18 (2006)
	2005
7		Sibylle B. Fröschle, Slawomir Lasota: Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. CONCUR 2005: 263-277
6		Sibylle B. Fröschle: Composition and Decomposition in True-Concurrency. FoSSaCS 2005: 333-347
5		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		Julian C. Bradfield, Sibylle B. Fröschle: On Logical and Concurrent Equivalences. Electr. Notes Theor. Comput. Sci. 52(1): 32-45 (2001)
	1999
2		Sibylle B. Fröschle, Thomas T. Hildebrandt: On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365
1		Sibylle B. Fröschle: Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP. Electr. Notes Theor. Comput. Sci. 27: 85-106 (1999)

Coauthor Index

1	Julian C. Bradfield	[3] [4]
2	Wojciech Czerwinski	[13] [19]
3	Daniele Gorla	[15]
4	Thomas T. Hildebrandt	[2]
5	Petr Jancar	[16]
6	Slawomir Lasota	[7] [8] [9] [12] [13] [16] [19]
7	Zdenek Sawa	[16]
8	Nils Sommer	[17]
9	Graham Steel	[14]
10	Frank D. Valencia (Frank Valencia)	[18]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page