Sibylle B. Fröschle Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin: Preface to special issue: EXPRESS, ICE and SOS 2009. Mathematical Structures in Computer Science 22(2): 123-124 (2012)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel: Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports 2(11): 155-168 (2012)
2011
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota: Partially-commutative context-free processes: Expressibility and tractability. Inf. Comput. 209(5): 782-798 (2011)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Nils Sommer: Concepts and Proofs for Configuring PKCS#11. Formal Aspects in Security and Trust 2011: 131-147
2010
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Nils Sommer: Reasoning with Past to Prove PKCS#11 Keys Secure. Formal Aspects in Security and Trust 2010: 96-110
e2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Frank D. Valencia (Eds.): Proceedings 17th International Workshop on Expressiveness in Concurrency. EPTCS 41, 2010
2009
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Slawomir Lasota: Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. Electr. Notes Theor. Comput. Sci. 239: 17-42 (2009)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle: Adding Branching to the Strand Space Model. Electr. Notes Theor. Comput. Sci. 242(1): 139-159 (2009)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota: Partially-Commutative Context-Free Processes. CONCUR 2009: 259-273
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Graham Steel: Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. ARSPA-WITS 2009: 92-106
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Daniele Gorla (Eds.): Proceedings 16th International Workshop on Expressiveness in Concurrency. EPTCS 8, 2009
2007
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Slawomir Lasota: Causality versus true-concurrency. Theor. Comput. Sci. 386(3): 169-187 (2007)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle: The Insecurity Problem: Tackling Unbounded Data. CSF 2007: 370-384
2006
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Slawomir Lasota: Causality Versus True-Concurrency. Electr. Notes Theor. Comput. Sci. 154(3): 3-18 (2006)
2005
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle: The decidability border of hereditary history preserving bisimilarity. Inf. Process. Lett. 93(6): 289-293 (2005)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Slawomir Lasota: Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. CONCUR 2005: 263-277
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle: Composition and Decomposition in True-Concurrency. FoSSaCS 2005: 333-347
2002
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Julian C. Bradfield, Sibylle B. Fröschle: Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput. 9(1): 102-117 (2002)
2001
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Julian C. Bradfield, Sibylle B. Fröschle: On Logical and Concurrent Equivalences. Electr. Notes Theor. Comput. Sci. 52(1): 32-45 (2001)
1999
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle: Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP. Electr. Notes Theor. Comput. Sci. 27: 85-106 (1999)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibylle B. Fröschle, Thomas T. Hildebrandt: On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365

Coauthor Index

1Filippo Bonchi
[j11]
2Mike Bond
[i1]
3Julian C. Bradfield
[j3] [j2]
4Wojciech Czerwinski
[j10] [c6]
5Riccardo Focardi
[i1]
6Daniele Gorla
[j11] [e1]
7Thomas T. Hildebrandt
[c1]
8Petr Jancar
[j9]
9Bartek Klin
[j11]
10Slawomir Lasota
[j10] [j9] [j8] [c6] [j6] [j5] [c3]
11Zdenek Sawa
[j9]
12Nils Sommer
[c8] [c7]
13Graham Steel
[i1] [c5]
14Frank D. Valencia (Frank Valencia)
[e2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 03:17:44 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page