Suche in der Hochschulbibliografie

Suche nach: Person = 'Fröschle, Sibylle B.'

Treffer 11-16 von 16

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
dedupmrg123843683149GBVUOB_ALMA21190375610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21190375610003501
Artikel
Adding branching to the strand space model
von Sibylle B. Fröschle
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Enthalten in: Electronic notes in theoretical computer science Amsterdam [u.a.] : Elsevier Science, 1995 242(2009), 1, Seite 139-159 Online-Ressource
Sprache: Englisch
>> Volltext
12
49GBVUOB_ALMA2117354695000350149GBVUOB_ALMA21173546950003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21173546950003501
Artikel
Analysing PKCS#11 key management APIs with unbounded fresh data
von Sibylle B. Fröschle ; Graham Steel
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/80l57675j68j1616/fulltext.pdf
Enthalten in: Foundations and applications of security analysis Berlin : Springer, 2009 (2009), Seite 92-106 X, 221 S.
Sprache: Englisch
13
dedupmrg123777753649GBVUOB_ALMA21176950100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21176950100003501
Artikel
Normed processes, unique decomposition, and complexity of bisimulation equivalences
von Sibylle B. Fröschle ; Sławomir Lasota
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Enthalten in: Electronic notes in theoretical computer science Amsterdam [u.a.] : Elsevier Science, 1995 239(2009), Seite 17-42 Online-Ressource
Sprache: Englisch
>> Volltext
14
49GBVUOB_ALMA2117000181000350149GBVUOB_ALMA21170001810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21170001810003501
Artikel
Partially-commutative context-free processes
von Wojciech Czerwiński ; Sibylle B. Fröschle ; Sławomir Lasota
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/w912156rg1888270/fulltext.pdf
Enthalten in: CONCUR 2009 - concurrency theory Berlin : Springer, 2009 (2009), Seite 259-273 XIII, 638 S.
Sprache: Englisch
15
49GBVUOB_ALMA2123674662000350149GBVUOB_ALMA21236746620003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236746620003501
Artikel
The insecurity problem : tackling unbounded data
von Sibylle B. Fröschle
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Enthalten in: IEEE Computer Security Foundations Symposium 2007 S. 1 - 18
Sprache: Englisch
>> Volltext
16
49GBVUOB_ALMA2123679503000350149GBVUOB_ALMA21236795030003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236795030003501
Artikel
Causality versus true-concurrency
von Sibylle B. Fröschle ; Sławomir Lasota
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Enthalten in: Theoretical computer science 386 (2007), 3, S. 169 - 187
Sprache: Englisch