Suche in der Hochschulbibliografie

Treffer 1-10 von 16

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 2
• 
• 

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 1
  49GBVUOB_ALMA5129795978000350149GBVUOB_ALMA51297959780003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51297959780003501
  Artikel
  Response by Lüker et al to letter regarding article, "Internal versus external electrical cardioversion of atrial arrhythmia in patients with implantable cardioverter-defibrillator : a randomized clinical trial"

  von Jakob Lüker ; Kathrin Kuhr ; Arian Sultan ; Georg Nölker ; Omran Hazem ; Stephan Willems ; Rene Andrie ; Jan Wilko Schrickel ; Stefan Winter ; Dirk Vollmann ; Roland Tilz ; Alexander Jobs ; Christian-H. Heeger ; Andreas Metzner ; Sven Meyer ; Karl Mischke ; Nils Andreas Napp ; Andreas Fahrig ; Susanne Steinhauser ; Johannes Brachmann ; Stephan Baldus ; Rajiv Mahajan ; Prashanthan Sanders ; Daniel Steven

  2020

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Meyer, Sven ([2013-])

  Enthalten in: Circulation Philadelphia, Pa. : Lippincott, Williams & Wilkins, 1950 141(2020), 8, Seite 95-96 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA5129795975000350149GBVUOB_ALMA51297959750003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51297959750003501
  Artikel
  Internal versus external electrical cardioversion of atrial arrhythmia in patients with implantable cardioverter-defibrillator : a randomized clinical trial

  von Jakob Lüker ; Kathrin Kuhr ; Arian Sultan ; Georg Nölker ; Hazem Omran ; Stephan Willems ; Rene Andrie ; Jan Wilko Schrickel ; Stefan Winter ; Dirk Vollmann ; Roland R. Tilz ; Alexander Jobs ; Christian-H. Heeger ; Andreas Metzner ; Sven Meyer ; Karl-Ludwig Mischke ; Nils Andreas Napp ; Andreas Fahrig ; Susanne Steinhauser ; Johannes Brachmann ; Stephan Baldus ; Rajiv Mahajan ; Prashanthan Sanders ; Daniel Steven

  2020

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Meyer, Sven ([2013-])

  Enthalten in: Circulation Philadelphia, Pa. : Lippincott, Williams & Wilkins, 1950 140(2020), 13, Seite 1061-1069 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA7115473624000350149GBVUOB_ALMA71154736240003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71154736240003501
  Artikel
  An algorithmic framework for coverability in well-structured systems

  von Tim Strazny ; Roland Meyer

  2012

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Strazny, Tim ([2007-])

  Enthalten in: Proceedings of the 12th International Conference on Application of Concurrency to System Design 2012 (2012), Seite 173-182

  Sprache: Englisch
• 4
  49GBVUOB_ALMA2117948053000350149GBVUOB_ALMA21179480530003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21179480530003501
  Artikel
  Petruchio : from dynamic networks to nets

  von Roland Meyer ; Tim Strazny

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Strazny, Tim ([2007-])Meyer, Roland ([2005-2009])

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/915j3817pw504046/fulltext.pdf

  Enthalten in: Computer aided verification Berlin : Springer, 2010 (2010), Seite 175-179 XVI, 676 S.

  Sprache: Englisch
• 5
  49GBVUOB_ALMA2115423688000350149GBVUOB_ALMA21154236880003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21154236880003501
  Artikel
  Kleene, Rabin, and Scott are available

  von Jochen Hoenicke ; Roland Meyer ; Ernst-Rüdiger Olderog

  2010

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])Olderog, Ernst-RüdigerHoenicke, Jochen ([-2006])

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/gq497lr282t22064/fulltext.pdf

  Enthalten in: CONCUR 2010 - concurrency theory Berlin : Springer, 2010 (2010), Seite 462-477 XIII, 600 S.

  Sprache: Englisch
• 6
  49GBVUOB_ALMA2123684479000350149GBVUOB_ALMA21236844790003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236844790003501
  Artikel
  Automata-theoretic verification based on counterexample specifications

  von Ernst-Rüdiger Olderog ; Roland Meyer

  2009

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])Olderog, Ernst-Rüdiger

  Enthalten in: Informatik als Dialog zwischen Theorie und Anwendung Wiesbaden, 2009 S. [217] - 225

  Sprache: Englisch
• 7
  49GBVUOB_ALMA7117348781000350149GBVUOB_ALMA71173487810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71173487810003501
  Artikel
  Automata-theoretic verification based on counterexample specification

  von Ernst-Rüdiger Olderog ; Roland Meyer

  2009

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Olderog, Ernst-Rüdiger

  Enthalten in: Informatik als Dialog zwischen Theorie und Anwendung 1. Aufl. Wiesbaden : Vieweg + Teubner Research, 2009 (2009), Seite 217-225 XI, 250 S.

  Sprache: Englisch
• 8
  dedupmrg123929953949GBVUOB_ALMA21343855030003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21343855030003501
  Buch
  Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften: Structural stationarity in the pi-calculus

  von Roland Meyer

  2009

  Details anzeigen

  Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dept. für Informatik

  Umfang: XVI, 293, 6 S. graph. Darst. 21 cm.

  Weitere Angaben:

  Zsfassung in dt. Sprache ; Zugl.: Oldenburg, Univ., Diss., 2009

  Schlagwörter: Hochschulschrift; ForschungsberichtPi-Kalkül

  Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften

  Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften ; 2009,2

  Sprache: Englisch
• 9
  dedupmrg142670494749GBVUOB_ALMA21181331340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21181331340003501
  Buch
  Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften: On depth and breadth in the pi-calculus

  von Roland Meyer

  2008

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])

  Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dep. für Informatik

  Umfang: 18, 6 S. graph. Darst..

  Weitere Angaben:

  Literaturverz. S. 17 - 18

  Schlagwörter: ForschungsberichtPi-Kalkül

  Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften

  Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften ; 2008, 1

  Sprache: Englisch
• 10
  49GBVUOB_ALMA7117480511000350149GBVUOB_ALMA71174805110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71174805110003501
  Artikel
  A practical approach to verification of mobile systems using net unfoldings

  von Roland Meyer ; V. Khomenko ; Tim Strazny

  2008

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Meyer, Roland ([2005-2009])

  Enthalten in: Applications and theory of Petri nets Berlin : Springer, 2008 (2008), Seite 327-347 XIII, 428 S.

  Sprache: Englisch