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 = '
Habel, Annegret
'
Treffer 11-20 von 51
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 2 von 6
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:
Diskretes System (1)
Erfüllbarkeitsproblem (1)
Graphersetzungssystem (3)
Korrektheit (1)
Modellierung (1)
OCL (1)
Petri-Netz (1)
nach Person:
Andries, Marc (1)
Arendt, Thorsten (3)
Azab, Karl (1)
Becker, Jan Steffen (2)
Busatto, Giorgio (1)
Drewes, Frank (1)
Echahed, Rachid (3)
Ehrig, Hartmut (13)
Ehrig, Karsten (2)
Engels, Gregor (1)
Flick, Nils Erik (1)
Golas, Ulrike (6)
Habel, Annegret (50)
Happe, Jens (1)
Hoffmann, Berthold (3)
Klempien-Hinrichs, Renate (1)
Kreowski, Hans-Jörg (1)
Kuske, Sabine (1)
König, Barbara (2)
Lambers, Leen (5)
Mosbah, Mohamed (3)
Müller, Jürgen (2)
Olderog, Ernst-Rüdiger (1)
Orejas, Fernando (4)
Padberg, Julia (2)
Parisi-Presicce, Francesco (1)
Pennemann, Karl-Heinz (9)
Peuser, Christoph (1)
Plump, Detlef (10)
Prange, Ulrike (2)
Radke, Hendrik (5)
Radtke, Hendrik (1)
Rensink, Arend (2)
Reussner, Ralf (1)
Sandmann, Christian (4)
Schürr, Andy (2)
Taentzer, Gabriele (5)
Teusch, Tilman (1)
Zuckschwerdt, Christian (1)
Özkan, Okan (1)
nach Medientyp:
Artikel (40)
Bücher (10)
E-Books (4)
11
49GBVUOB_ALMA51218478670003501
49GBVUOB_ALMA51218478670003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218478670003501
E-Book
GCM 2014 - The Fifth International Workshop on Graph Computation Models : proceedings ; York, United Kingdom, 21st July 2014
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Umfang:
Online-Ressource (PDF-Datei: 127 S.).
Sprache:
Englisch
>> Volltext
12
49GBVUOB_ALMA51218453010003501
49GBVUOB_ALMA51218453010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218453010003501
Artikel
Multi-amalgamation of rules with application conditions in M-adhesive categories
von
Ulrike Golas ; Annegret Habel ; Hartmut Ehrig
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Umfang:
68.
Enthalten in:
Mathematical structures in computer science Cambridge : Cambridge Univ. Press, 1991 Bd. 24.2014, 4, Art. e240405, insges. 68 S. Online-Ressource
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA51218439800003501
49GBVUOB_ALMA51218439800003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218439800003501
Artikel
M-adhesive transformation systems with nested application conditions : part 1: parallelism, concurrency and amalgamation
von
Hartmut Ehrig ; Ulrike Golas ; Annegret Habel ; Leen Lambers ; Fernando Orejas
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Umfang:
48.
Enthalten in:
Mathematical structures in computer science Cambridge : Cambridge Univ. Press, 1991 Bd. 24.2014, 4, Art. e240406, insges. 48 S. Online-Ressource
Sprache:
Englisch
>> Volltext
14
49GBVUOB_ALMA51218453500003501
49GBVUOB_ALMA51218453500003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218453500003501
Artikel
From core OCL invariants to nested graph constraints
von
Thorsten Arendt ; Annegret Habel ; Hendrik Radke ; Gabriele Taentzer
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Radke, Hendrik ([2009-])
Enthalten in:
Giese, Holger Graph Transformation Cham [u.a.] : Springer, 2014 (2014), Seite 97-112 Online-Ressource (XII, 285 p. 110 illus, online resource)
Sprache:
Englisch
>> Volltext
15
49GBVUOB_ALMA71185544490003501
49GBVUOB_ALMA71185544490003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71185544490003501
Artikel
M,N-adhesive transformation systems
von
Annegret Habel ; Detlef Plump
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://dx.doi.org/10.1007/978-3-642-33654-6_15
Enthalten in:
Graph transformations Berlin : Springer, 2012 (2012), Seite 218-233 XI, 425 S.
Sprache:
Englisch
16
49GBVUOB_ALMA71146342810003501
49GBVUOB_ALMA71146342810003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71146342810003501
Artikel
M-adhesive transformation systems with nested application conditions : part 2: embedding, critical pairs and local confluence
von
Hartmut Ehrig ; Ulrike Golas ; Annegret Habel
2012
Details anzeigen
Enthalten in:
Fundamenta informaticae Amsterdam [u.a.] : IOS Press, 1992 118(2012), 1/2, Seite 35-63
Sprache:
Englisch
17
49GBVUOB_ALMA51214013410003501
49GBVUOB_ALMA51214013410003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51214013410003501
Artikel
Graph computation models 2010 : preface
von
Rachid Echahed ; Annegret Habel ; Mohamed Mosbah
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Enthalten in:
Electronic communications of the EASST Berlin : Techn. Univ., 2006 39(2011), Seite 1 Online-Ressource
Sprache:
Englisch
>> Volltext
18
49GBVUOB_ALMA21179481290003501
49GBVUOB_ALMA21179481290003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21179481290003501
Artikel
Expressiveness of graph conditions with variables
von
Annegret Habel ; Hendrik Radtke
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Umfang:
19.
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://journal.ub.tu-berlin.de/eceasst/issue/view/40
Enthalten in:
Pre-Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010) Berlin : TU, Professoren der Fak. IV, 2010 (2010) 284 S.
Sprache:
Englisch
19
49GBVUOB_ALMA51362809870003501
49GBVUOB_ALMA51362809870003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51362809870003501
Artikel
Parallelism and concurrency theorems for rules with nested application conditions
von
Hartmut Ehrig ; Annegret Habel ; Leen Lambers
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Enthalten in:
Electronic communications of the EASST Berlin : Techn. Univ., 2006 26(2010), Seite 1-23 Online-Ressource
Sprache:
Englisch
>> Volltext
20
49GBVUOB_ALMA21187224640003501
49GBVUOB_ALMA21187224640003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21187224640003501
Artikel
Multi-amalgamation in adhesive categories
von
Ulrike Golas ; Hartmut Ehrig ; Annegret Habel
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Habel, Annegret
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/f0620787335n3670/fulltext.pdf
Enthalten in:
Graph transformations Berlin : Springer, 2010 (2010), Seite 346-361 XII, 418 S.
Sprache:
Englisch
Seite 2 von 6