de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Close
Periods
15
Entries for
2011-2020
Authors / Collaborators
15
Entries for
Wehrheim, Heike
3
Entries for
Engels, Gregor
3
Entries for
Hüllermeier, Eyke
2
Entries for
Becker, Steffen
2
Entries for
Bodden, Eric
2
Entries for
Kleine Büning, Hans
2
Entries for
Ngonga Ngomo, Axel-Cyrille
2
Entries for
Platenius, Marie Christin
2
Entries for
Platzner, Marco
2
Entries for
Schäfer, Wilhelm
1
Entries for
Ali, Karim
1
Entries for
Anjorin, Anthony
1
Entries for
Besova, Galina
1
Entries for
Beyer, Dirk
1
Entries for
Capone, Antonio
1
Entries for
Fischer, Matthias
1
Entries for
Giese, Holger
1
Entries for
Hermann, Ben
1
Entries for
Inverardi, Paola
1
Entries for
Isenberg, Tobias
1
Entries for
Jakobs, Marie-Christine
1
Entries for
Karl, Holger
1
Entries for
Lettmann, Theodor
1
Entries for
Meyer, Matthias
1
Entries for
Murphy-Hill, Emerson
1
Entries for
Nguyen Quang Do, Lisa
1
Entries for
Niggemann, Oliver
1
Entries for
Peuster, Manuel
1
Entries for
Plessl, Chrsitian
1
Entries for
Ruhroth, Thomas
1
Entries for
Sauer, Stefan
1
Entries for
Schäfer, Dirk
1
Entries for
Schäfer, Wilhelm Fr.
1
Entries for
Semenyak, Maria
1
Entries for
Simon, Jens
1
Entries for
Sommer, Christoph
1
Entries for
Steenken, Dominik
1
Entries for
Suhl, Leena
1
Entries for
Timm, Nils
1
Entries for
Travkin, Dietrich
1
Entries for
Travkin, Oleg
1
Entries for
Waegeman, Willem
1
Entries for
Walther, Sven
1
Entries for
Ziegert, Steffen
1
Entries for
Zündorf, Albert
Show 35 more
Show first 10
Languages
14
Entries for
English
5
Entries for
German
15
Titles
in
Klassifikation (DDC)
Classification
Close
Filters
2
jump to filter-options
Title
Persons
Place
Publisher
Year
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
All Titles
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Philosophie und Psychologie
Religion
Sozialwissenschaften
Naturwissenschaften und Mathematik
Sprache
Künste und Unterhaltung
Geschichte und Geografie
Technik, Medizin, angewandte Wissenschaften
Literatur
Dyad ranking with generalized Plackett-Luce models
Schäfer, Dirk
;
Hüllermeier, Eyke
;
Waegeman, Willem
;
Ngonga Ngomo, Axel-Cyrille
;
Wehrheim, Heike
;
Fischer, Matthias
Elektronische Ressource, Paderborn, 2018
Enhancing development and deployment of softwarised network services
Peuster, Manuel
;
Karl, Holger
;
Capone, Antonio
;
Plessl, Chrsitian
;
Sommer, Christoph
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2020
Full semantics preservation in model transformation
Semenyak, Maria
2011
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin
;
Schäfer, Wilhelm
;
Engels, Gregor
;
Becker, Steffen
;
Wehrheim, Heike
;
Inverardi, Paola
;
Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011
Graph transformation planning with time and concurrency
Ziegert, Steffen
;
Wehrheim, Heike
;
Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
Induction-based Verification of Timed Systems
Isenberg, Tobias
;
Wehrheim, Heike
;
Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
Knowledge-based verification of service compositions
Walther, Sven
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2018
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich
;
Anjorin, Anthony
;
Zündorf, Albert
;
Wehrheim, Heike
;
Meyer, Matthias
;
Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine
;
Wehrheim, Heike
;
Beyer, Dirk
;
Bodden, Eric
;
Platzner, Marco
;
Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
Systematic development and re-use of model transformations
Besova, Galina
;
Engels, Gregor
;
Suhl, Leena
2015
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa
;
Bodden, Eric
;
Ali, Karim
;
Murphy-Hill, Emerson
;
Wehrheim, Heike
;
Hermann, Ben
Elektronische Ressource, Paderborn, 2019
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
Verifying concurrent programs under weak memory models
Travkin, Oleg
;
Wehrheim, Heike
;
Kleine Büning, Hans
;
Ngonga Ngomo, Axel-Cyrille
;
Platzner, Marco
;
Simon, Jens
Elektronische Ressource, Paderborn, 2017