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 = '
Flick, Nils Erik
'
Treffer 1-9 von 9
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
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 Person:
Engelmann, Björn (3)
Flick, Nils Erik (9)
Kudlek, Manfred (2)
Olderog, Ernst-Rüdiger (1)
nach Medientyp:
Artikel (9)
Bücher (1)
E-Books (1)
1
49GBVUOB_ALMA51222470290003501
49GBVUOB_ALMA51222470290003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222470290003501
Artikel
Proving correctness of graph programs relative to recursively nested conditions
von
Nils Erik Flick
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Flick, Nils Erik ([2013-])
Umfang:
20.
Enthalten in:
Electronic communications of the EASST Berlin : Techn. Univ., 2006 Bd. 73 (2016), insges. 20 S. Online-Ressource
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA51219879090003501
49GBVUOB_ALMA51219879090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219879090003501
Artikel
On correctness of graph programs relative to recursively nested conditions
von
Nils Erik Flick
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Flick, Nils Erik ([2013-])
Enthalten in:
CEUR workshop proceedings Aachen, Germany : RWTH Aachen, 1995 1403(2015), Seite 97-112
Sprache:
Englisch
>> Volltext
3
49GBVUOB_ALMA51219849680003501
49GBVUOB_ALMA51219849680003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219849680003501
Artikel
Quotients of unbounded parallelism
von
Nils Erik Flick
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Flick, Nils Erik ([2013-])
Enthalten in:
Theoretical Aspects of Computing – ICTAC 2015 Cham : Springer, 2015 (2015), Seite 241-257 Online-Ressource (XXIV, 620 p. 142 illus, online resource)
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA51219852790003501
49GBVUOB_ALMA51219852790003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219852790003501
Artikel
Analysis of Petri nets with context-free structure changes
von
Nils Erik Flick ; Björn Engelmann
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Engelmann, Björn ([2012-])
Flick, Nils Erik ([2013-])
Umfang:
20.
Enthalten in:
Electronic communications of the EASST Berlin : Techn. Univ., 2006 Bd. 71 (2015), insgesamt 20 Seiten Online-Ressource
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA51219773280003501
49GBVUOB_ALMA51219773280003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219773280003501
Artikel
Closing the gap : formally verifying dynamically typed programs like statically typed ones using hoare logic
von
Björn Engelmann ; Ernst-Rüdiger Olderog ; Nils Erik Flick
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Flick, Nils Erik ([2013-])
Engelmann, Björn ([2012-])
Umfang:
36.
Enthalten in:
De.arxiv.org [S.l.] : Arxiv.org, 1991 2015, 12. (Jan.), insges. 36 S. Online-Ressource
Sprache:
Englisch
>> Volltext
6
49GBVUOB_ALMA71190605420003501
49GBVUOB_ALMA71190605420003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71190605420003501
Artikel
Properties of languages with catenation and shuffle
von
Manfred Kudlek ; Nils Erik Flick
2014
Details anzeigen
Enthalten in:
Fundamenta informaticae Amsterdam [u.a.] : IOS Press, 1992 129(2014), 1/2, Seite 117-132
Sprache:
Englisch
7
49GBVUOB_ALMA71181509300003501
49GBVUOB_ALMA71181509300003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71181509300003501
Artikel
Properties of Petri nets with context-free structure changes
von
Nils Erik Flick ; Björn Engelmann
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Flick, Nils Erik ([2013-])
Enthalten in:
GCM 2014 - The Fifth International Workshop on Graph Computation Models 2014 (2014), Seite 76-90 Online-Ressource (PDF-Datei: 127 S.)
Sprache:
Englisch
>> Volltext
8
49GBVUOB_ALMA51217140360003501
49GBVUOB_ALMA51217140360003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217140360003501
Artikel
Derivation languages of graph grammars
von
Nils Erik Flick
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Flick, Nils Erik ([2013-])
Umfang:
22.
Enthalten in:
Electronic communications of the EASST Berlin : Techn. Univ., 2006 Bd. 61.2013, insges. 22 S. Online-Ressource
Sprache:
Englisch
>> Volltext
9
49GBVUOB_ALMA71160637340003501
49GBVUOB_ALMA71160637340003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71160637340003501
Artikel
A hierarchy of languages with catenation and shuffle
von
Manfred Kudlek ; Nils Erik Flick
2013
Details anzeigen
Enthalten in:
Fundamenta informaticae Amsterdam [u.a.] : IOS Press, 1992 128(2013), 1/2, Seite 113-128
Sprache:
Englisch
Seite 1 von 1
