Search results for "Sibylle B. Fröschle"

Found 19 publication records. Showing 19 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota	Partially-commutative context-free processes: Expressibility and tractability.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota, Zdenek Sawa	Non-interleaving bisimulation equivalences on Basic Parallel Processes.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Frank D. Valencia (eds.)	Proceedings 17th International Workshop on Expressiveness in Concurrency	EXPRESS'10	2010	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Nils Sommer	Reasoning with Past to Prove PKCS#11 Keys Secure.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Slawomir Lasota	Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle	Adding Branching to the Strand Space Model.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Daniele Gorla (eds.)	Proceedings 16th International Workshop on Expressiveness in Concurrency	EXPRESS	2009	DBLP DOI BibTeX RDF
1	Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota	Partially-Commutative Context-Free Processes.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Graham Steel	Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Slawomir Lasota	Causality versus true-concurrency.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle	The Insecurity Problem: Tackling Unbounded Data.	CSF	2007	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Slawomir Lasota	Causality Versus True-Concurrency.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle	The decidability border of hereditary history preserving bisimilarity.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Slawomir Lasota	Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle	Composition and Decomposition in True-Concurrency.	FoSSaCS	2005	DBLP DOI BibTeX RDF
1	Julian C. Bradfield, Sibylle B. Fröschle	Independence-Friendly Modal Logic and True Concurrency.	Nord. J. Comput.	2002	DBLP BibTeX RDF
1	Julian C. Bradfield, Sibylle B. Fröschle	On Logical and Concurrent Equivalences.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle	Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle, Thomas T. Hildebrandt	On Plain and Hereditary History-Preserving Bisimulation.	MFCS	1999	DBLP DOI BibTeX RDF

Publications of "Sibylle B. Fröschle" ( http://dblp.L3S.de/Authors/Sibylle_B._Fröschle )