Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person (Universität Oldenburg) = '
Wehrheim, Heike ((DE-588)1215708114)
'
Treffer 61-70 von 74
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 7 von 8
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Schlagwort:
Algorithmus (1)
Black-Box-Test (1)
Blackbox (1)
Machine-Learning-Algorithmen (1)
Machine-Learning-Modell (1)
Maschinelles Lernen (1)
Metamorpher Test (1)
nach Person:
Bargmann, Lara (6)
Bartetzko, Detlef (1)
Beyer, Dirk (2)
Bila, Eleni (1)
Brückner, Ingo (2)
Dalvandi, Sadegh (2)
Demir, Caglar (2)
Denker, Grit (1)
Derrick, John (4)
Doherty, Simon (5)
Dongol, Brijesh (10)
Dräger, Klaus (1)
Dyck, Florian (1)
Finkbeiner, Bernd (1)
Fischer, Clemens (5)
Gehrke, Thomas (3)
Goltz, Ursula (2)
Haltermann, Jan (9)
Huhn, Michaela (4)
Hüllermeier, Eyke (1)
Jakobs, Marie-Christine (5)
Janßen, Christian (1)
König, Jürgen (1)
Lahav, Ori (2)
Lemberger, Thomas (2)
Leuschel, Michael (1)
Melnikov, Vitalik (1)
Metzler, Björn (1)
Möller, Michael (3)
Ngonga Ngomo, Axel-Cyrille (2)
Niebert, Peter (2)
Olderog, Ernst-Rüdiger (5)
Pauck, Felix (5)
Platzner, Marco (1)
Rasch, Holger (4)
Rensink, Arend (4)
Richter, Cedric (11)
Schellhorn, Gerhard (4)
Schott, Stefan (2)
Sharma, Arnab (4)
Thoben, Nicola (1)
Wehrheim, Heike (74)
Wiersema, Tobias (1)
nach Medientyp:
Artikel (72)
Bücher (3)
E-Books (1)
61
49GBVUOB_ALMA21236352830003501
49GBVUOB_ALMA21236352830003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236352830003501
Artikel
Subtyping patterns for active objects
von
Heike Wehrheim
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme Münster, 2000
Sprache:
Englisch
>> Volltext
62
49GBVUOB_ALMA21236310980003501
49GBVUOB_ALMA21236310980003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236310980003501
Artikel
Behavioural subtyping relations for object-oriented formalisms
von
Clemens Fischer ; Heike Wehrheim
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Fischer, Clemens ([1995-2004])
Enthalten in:
Algebraic methodology and software technology Berlin [u.a.], 2000 S. 469 - 483
Sprache:
Englisch
>> Volltext
63
49GBVUOB_ALMA21236319440003501
49GBVUOB_ALMA21236319440003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236319440003501
Artikel
Failure-divergence semantics as a formal basis for an object-oriented integrated formal method
von
Clemens Fischer ; Heike Wehrheim
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Fischer, Clemens ([1995-2004])
Enthalten in:
Bulletin of the European Association for Theoretical Computer Science, EATCS 71 (2000), S. 92 - 101
Sprache:
Englisch
>> Volltext
64
49GBVUOB_ALMA21236079870003501
49GBVUOB_ALMA21236079870003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236079870003501
Artikel
Zur semantischen Analyse vom UMLs dynamischen Modellen mit Petri-Netzen
von
Thomas Gehrke ; Ursula Goltz ; Heike Wehrheim
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Entwicklung und Betrieb komplexer Automatisierungsanlagen Braunschweig, 1999 S. 547 - 566
Sprache:
Deutsch
>> Volltext
65
49GBVUOB_ALMA21236342900003501
49GBVUOB_ALMA21236342900003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236342900003501
Artikel
Data abstraction for CSP-OZ
von
Heike Wehrheim
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal methods Berlin [u.a.] 2 (1999), S. 1028 - 1047
Sprache:
Englisch
>> Volltext
66
49GBVUOB_ALMA21169454330003501
49GBVUOB_ALMA21169454330003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21169454330003501
Buch
CTIT technical report series: Process algebra with action dependencies
von
Arend Rensink ; Heike Wehrheim
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Verlag:
Enschede: Centre for Telematics and Information Technology, Univ. of Twente
Umfang:
59 S.
Übergeordnetes Werk:
CTIT technical report series
Verknüpfte Titel:
CTIT technical report series ; 99,02
Notation:
inf 542
Sprache:
Englisch
67
49GBVUOB_ALMA21236332070003501
49GBVUOB_ALMA21236332070003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236332070003501
Artikel
Partial order reductions for failures refinement
von
Heike Wehrheim
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
EXPRESS '99, International Workshop on Expressiveness in Concurrency 1999 S. [1] - 15
Sprache:
Englisch
>> Volltext
68
49GBVUOB_ALMA21236654920003501
49GBVUOB_ALMA21236654920003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236654920003501
Artikel
Model-checking CSP-OZ specifications with FDR
von
Clemens Fischer ; Heike Wehrheim
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Fischer, Clemens ([1995-2004])
Enthalten in:
Proceedings of the 1st International Conference on Intergrated Formal Methods London [u.a.], 1999 S. 315 - 334
Sprache:
Englisch
69
49GBVUOB_ALMA21236079390003501
49GBVUOB_ALMA21236079390003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236079390003501
Artikel
Partial order reductions for bisimulation checking
von
Michaela Huhn ; Peter Niebert ; Heike Wehrheim
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Foundations of software technology and theoretical computer science Berlin [u.a.], 1998 S. 271 - 282
Sprache:
Englisch
>> Volltext
70
49GBVUOB_ALMA21236166780003501
49GBVUOB_ALMA21236166780003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236166780003501
Artikel
A process algebra semantics for message sequence charts including conditions
von
Thomas Gehrke ; Michaela Huhn ; Peter Niebert ; Arend Rensink ; Heike Wehrheim
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formale Beschreibungstechniken für verteilte Systeme Aachen, 1998 S. 136 - 147
Sprache:
Englisch
>> Volltext
Seite 7 von 8