Suche in der Hochschulbibliografie

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

Treffer 1-10 von 16

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5133074469000350149GBVUOB_ALMA51330744690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51330744690003501
Artikel
Permissioned blockchain for data provenance in scientific data management
von Julius Möller ; Sibylle B. Fröschle ; Axel Hahn
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])Hahn, Axel ([2002-])Möller, Julius
Enthalten in: Innovation through information systems Cham : Springer International Publishing, 2021 (2021), Seite 22-38 1 Online-Ressource(xix, 694 Seiten)
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA7116598399000350149GBVUOB_ALMA71165983990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71165983990003501
Artikel
Estimating the probability of a timely traffic-hazard warning via simulation
von Nils Henning Müllner ; Martin Fränzle ; Sibylle B. Fröschle
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Müllner, Nils Henning ([2007-2015])
Enthalten in: ANSS (48. : 2015 : Alexandria, Va.) 48th Annual Simulation Symposium (ANSS 2015) Red Hook, NY : Curran Associates, Inc., 2015 (2015), Seite 130-137 209 Seiten
Sprache: Englisch
3
49GBVUOB_ALMA5121841224000350149GBVUOB_ALMA51218412240003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218412240003501
Artikel
Idea: security engineering principles for day two Car2X applications
von Sibylle B. Fröschle ; Alexander Stühring
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stühring, AlexanderFröschle, Sibylle B. ([2007-])
Enthalten in: Jürjens, Jan Engineering Secure Software and Systems Cham [u.a.] : Springer, 2014 (2014), Seite 213-221 Online-Ressource (XVIII, 231 p. 59 illus, online resource)
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA7118959658000350149GBVUOB_ALMA71189596580003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71189596580003501
Artikel
Integrating the security aspect into design space exploration of embedded systems
von Ingo Stierand ; Sunil Malipatlolla ; Sibylle B. Fröschle
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stierand, Ingo ([1998-])
Enthalten in: 2014 IEEE International Symposium on Software Reliability Engineering workshops (ISSREW 2014) Piscataway, NJ : IEEE, 2014 (2014), Seite 371-376 XLI, 536 S.
Sprache: Englisch
5
49GBVUOB_ALMA2119010081000350149GBVUOB_ALMA21190100810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21190100810003501
Buch
Causality in security protocols and security APIs : foundations and practical verification
von Sibylle B. Fröschle
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Umfang: 322 S..
Weitere Angaben:
Oldenburg, Univ., Habil.-Schr., 2012
Schlagwörter: Hochschulschrift
Notation: inf 220inf 999
Sprache: Englisch
6
49GBVUOB_ALMA7118641509000350149GBVUOB_ALMA71186415090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71186415090003501
Artikel
Partially-commutative context-free processes : expressibility and tractability
von Wojciech Czerwiński ; Sibylle B. Fröschle ; Sławomir Lasota
2011
Details anzeigen
Weitere Angaben:
Available online 17 December 2010 ; Auch als elektronisches Dokument verfügbar: http://dx.doi.org/10.1016/j.ic.2010.12.003
Enthalten in: Information and computation Amsterdam : Elsevier, 1987 209(2011), 5, Seite 782-798
Sprache: Englisch
7
49GBVUOB_ALMA2118997038000350149GBVUOB_ALMA21189970380003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21189970380003501
Artikel
Reasoning with past to prove PKCS#11 keys secure
von Sibylle B. Fröschle ; Nils Sommer
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/26m3873228088178/fulltext.pdf
Enthalten in: Formal aspects of security and trust Berlin : Springer, 2011 (2011), Seite 96-110 X, 238 S.
Sprache: Englisch
8
49GBVUOB_ALMA5121406571000350149GBVUOB_ALMA51214065710003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51214065710003501
Artikel
Proceedings of the 17th International Workshop on Expressiveness in Concurrency
von Sibylle B. Fröschle ; Frank D. Valencia
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Enthalten in: Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 41(2010)
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA7118789249000350149GBVUOB_ALMA71187892490003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71187892490003501
Artikel
Non-interleaving bisimulation equivalences on basic parallel processes
von Sibylle B. Fröschle ; Petr Jancar ; Sławomir Lasota
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.sciencedirect.com/science/journal/08905401
Enthalten in: Information and computation Amsterdam : Elsevier, 1987 208(2010), 1, Seite 42-62
Sprache: Englisch
10
49GBVUOB_ALMA5121390596000350149GBVUOB_ALMA51213905960003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51213905960003501
E-Book
Electronic proceedings in theoretical computer science: Proceedings 16th International Workshop on Expressiveness in Concurrency : Bologna, Italy, 5th September 2009
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fröschle, Sibylle B. ([2007-])
Verlag: Sydney: NICTA
Umfang: Online-Ressource.
Übergeordnetes Werk: Electronic proceedings in theoretical computer science
Verknüpfte Titel: Electronic proceedings in theoretical computer science ; 8
Sprache: Englisch
>> Volltext