Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1566 Publications
2013 | Conference Paper | LibreCat-ID: 25557
Accelerating Online Model Checking
M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
LibreCat
M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
2013 | Journal Article | LibreCat-ID: 25618
Learning Service Recommendations
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
LibreCat
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
2013 | Misc | LibreCat-ID: 28215
Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013
J. Gausemeier, Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
J. Gausemeier, Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
2013 | Journal Article | LibreCat-ID: 25740
A heuristic energy-aware approach for hard real-time systems on multi-core platforms
D. He, W. Müller, Microprocessors and Microsystems - Embedded Hardware Design 37(6-7) (2013) 845–857.
LibreCat
D. He, W. Müller, Microprocessors and Microsystems - Embedded Hardware Design 37(6-7) (2013) 845–857.
2013 | Conference Paper | LibreCat-ID: 3178
A High-Level Semantics for Program Execution under Total Store Order Memory
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat
| DOI
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
2013 | Book (Editor) | LibreCat-ID: 18706
Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute
E.-M. Seng, G. Brüne, eds., Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute, Deutscher Kunstverlag, Berlin, München, 2013.
LibreCat
E.-M. Seng, G. Brüne, eds., Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute, Deutscher Kunstverlag, Berlin, München, 2013.
2013 | Journal Article | LibreCat-ID: 18949
“Between Primitive Hut and Large Scale Housing: The Present of Utopia in Architecture”
E.-M. Seng, Scottish Journal of Arts, Sciences and Scientific Studies Vol. 15, Issue II (2013) 47–66.
LibreCat
E.-M. Seng, Scottish Journal of Arts, Sciences and Scientific Studies Vol. 15, Issue II (2013) 47–66.
2013 | Journal Article | LibreCat-ID: 18952
Artistik und Zirkus als immaterielles Kulturerbe. Was macht eine künstlerische Leistung zum immateriellen Kulturerbe?
E.-M. Seng, Politik und Kultur. Zeitung des Deutschen Kulturrates Nr.3/13 Mai-Juni 2013 (2013) S. 21.
LibreCat
E.-M. Seng, Politik und Kultur. Zeitung des Deutschen Kulturrates Nr.3/13 Mai-Juni 2013 (2013) S. 21.
2013 | Book Chapter | LibreCat-ID: 18954
Johann Georg Starcke
E.-M. Seng, in: Neue Deutsche Biographie Bd. 25, Berlin, 2013, p. 66f.
LibreCat
E.-M. Seng, in: Neue Deutsche Biographie Bd. 25, Berlin, 2013, p. 66f.
2013 | Journal Article | LibreCat-ID: 18963
Rekonstruktion des religiösen Ortes
E.-M. Seng, Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck) (2013).
LibreCat
E.-M. Seng, Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck) (2013).
2013 | Book Chapter | LibreCat-ID: 18979
Die Vereine für christliche Kunst und die Bildausstattung der Kirchen nach dem 2. Weltkrieg in Westfalen und Württemberg im Vergleich
E.-M. Seng, in: H. Körner, J. Wiener (Eds.), Kultbild und Andachtsbild, Essen, 2013, pp. 173–186.
LibreCat
E.-M. Seng, in: H. Körner, J. Wiener (Eds.), Kultbild und Andachtsbild, Essen, 2013, pp. 173–186.
2013 | Book Chapter | LibreCat-ID: 18984
"Kulturerbe zwischen Globalisierung und Lokalisierung“
E.-M. Seng, in: W. Speitkamp (Ed.), Europäisches Kulturerbe. Bilder, Traditionen, Konfigurationen, Stuttgart, 2013, pp. 69–82.
LibreCat
E.-M. Seng, in: W. Speitkamp (Ed.), Europäisches Kulturerbe. Bilder, Traditionen, Konfigurationen, Stuttgart, 2013, pp. 69–82.
2013 | Conference Paper | LibreCat-ID: 23135
Methodik zur anforderungsgerechten Wahl der Modellierungstiefe von Verhaltensmodellen fuer die virtuelle Inbetriebnahme
T. Schmuedderich, M. Lochbichler, A. Trächtler, in: Tagungsband Mechatronik 2013 (ISBN 3-86130-958-0), 2013, pp. 43–48.
LibreCat
T. Schmuedderich, M. Lochbichler, A. Trächtler, in: Tagungsband Mechatronik 2013 (ISBN 3-86130-958-0), 2013, pp. 43–48.
2013 | Conference Paper | LibreCat-ID: 23136
Procedural Model for the Virtual Commissioining on the Basis of Model-based Design
T. Schmuedderich, A. Trächtler, J. Brökelmann, J. Gausemeier, in: Smart Product Engineering - Proceedings of the 23rd CIRP Design Conference (ISBN 978-3-642-30816, Springer-Verlag), 2013, pp. 23–32.
LibreCat
T. Schmuedderich, A. Trächtler, J. Brökelmann, J. Gausemeier, in: Smart Product Engineering - Proceedings of the 23rd CIRP Design Conference (ISBN 978-3-642-30816, Springer-Verlag), 2013, pp. 23–32.
2013 | Conference Paper | LibreCat-ID: 470
Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow
P. Wette, H. Karl, in: Proceedings of the ACM SIGCOMM ’13, 2013, pp. 541–542.
LibreCat
| Files available
| DOI
P. Wette, H. Karl, in: Proceedings of the ACM SIGCOMM ’13, 2013, pp. 541–542.
2013 | Conference Paper | LibreCat-ID: 477
Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
LibreCat
| Files available
| DOI
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
2013 | Bachelorsthesis | LibreCat-ID: 490
Routing in heterogenen OpenFlow Netzwerken
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken, Universität Paderborn, 2013.
LibreCat
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken, Universität Paderborn, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 492
Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case
C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case, Universität Paderborn, 2013.
LibreCat
C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case, Universität Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 496
Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks
M. Benter, F. Neumann, H. Frey, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
LibreCat
| Files available
| DOI
M. Benter, F. Neumann, H. Frey, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
2013 | Journal Article | LibreCat-ID: 9866
Study on optimizing ultrasonic irradiation period for thick polycrystalline PZT film by hydrothermal method
K. Ohta, G. Isobe, P. Bornmann, T. Hemsel, T. Morita, Ultrasonics 53 (2013) 837–841.
LibreCat
| DOI
K. Ohta, G. Isobe, P. Bornmann, T. Hemsel, T. Morita, Ultrasonics 53 (2013) 837–841.