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.
7734 Publications
2012 | Conference Paper | LibreCat-ID: 25761
The System Verification Methodology for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
LibreCat
M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
2012 | Conference Paper | LibreCat-ID: 26024
Compilation of Methodologies to Speed up the Verification Process at System Level
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
LibreCat
| Download (ext.)
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
2012 | Conference Paper | LibreCat-ID: 26035
Dynamic Resource Management for Virtualized Mixed-Criticality Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
LibreCat
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
2012 | Conference Paper | LibreCat-ID: 26081
Real-Time Android: Deterministic Ease of use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
LibreCat
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
2012 | Journal Article | LibreCat-ID: 26091
Deployment of mobile routers ensuring coverage and connectivity
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
LibreCat
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
2012 | Journal Article | LibreCat-ID: 26355
Entanglement quasiprobabilities of squeezed light
J. Sperling, W. Vogel, New Journal of Physics (2012).
LibreCat
| DOI
J. Sperling, W. Vogel, New Journal of Physics (2012).
2012 | Dissertation | LibreCat-ID: 3132
On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
LibreCat
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
2012 | Conference Paper | LibreCat-ID: 3135
Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
LibreCat
| DOI
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
2012 | Conference Paper | LibreCat-ID: 27176
Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat
D. Engbring, H. Selke, 5 (2012) 111–116.
2012 | Conference Paper | LibreCat-ID: 1127 |

Scientific Literature Retrieval based on Terminological Paraphrases using Predicate Argument Tuple
S.-P. Choi, S. Song, H. Jung, M. Geierhos, S.H. Myaeng, in: C.-C. Chang, Y.E. Gelogo, R.E. Caytiles (Eds.), Information Science and Industrial Applications: Proceedings, International Conference, ISI 2012, Cebu, Philippines, May 2012, SERSC, Sandy Bay, Australia, 2012, pp. 371–378.
LibreCat
| Download (ext.)
S.-P. Choi, S. Song, H. Jung, M. Geierhos, S.H. Myaeng, in: C.-C. Chang, Y.E. Gelogo, R.E. Caytiles (Eds.), Information Science and Industrial Applications: Proceedings, International Conference, ISI 2012, Cebu, Philippines, May 2012, SERSC, Sandy Bay, Australia, 2012, pp. 371–378.
2012 | Conference Paper | LibreCat-ID: 1128 |

A Proof-of-Concept of D³ Record Mining using Domain-Dependent Data
Y.S. Lee, M. Geierhos, S.-K. Song, H. Jung, in: C.-C. Chang, Y.E. Gelogo, R.E. Caytiles (Eds.), Software Technology: Prooceedings, International Conference, SoftTech 2012, Cebu, Philippines, May 2012, SERSC, Sandy Bay, Australia, 2012, pp. 134–139.
LibreCat
| Download (ext.)
Y.S. Lee, M. Geierhos, S.-K. Song, H. Jung, in: C.-C. Chang, Y.E. Gelogo, R.E. Caytiles (Eds.), Software Technology: Prooceedings, International Conference, SoftTech 2012, Cebu, Philippines, May 2012, SERSC, Sandy Bay, Australia, 2012, pp. 134–139.
2012 | Book Chapter | LibreCat-ID: 1129
Customer Interaction Management goes Social: Getting Business Processes plugged in Social Networks
M. Geierhos, M. Ebrahim, in: A. Abraham, A.-E. Hassanien (Eds.), Computational Social Networks: Tools, Perspectives and Applications, Springer, London, UK, 2012, pp. 367–389.
LibreCat
| DOI
M. Geierhos, M. Ebrahim, in: A. Abraham, A.-E. Hassanien (Eds.), Computational Social Networks: Tools, Perspectives and Applications, Springer, London, UK, 2012, pp. 367–389.
2012 | Book Chapter | LibreCat-ID: 17766
Talking like a book. Investigating colloquialization as a change in written English
I. Mindt, in: G. Haßler, C. Neis (Eds.), Oralité(s) et Écriture(S), Nodus Publikationen, Münster, 2012, pp. 43–56.
LibreCat
I. Mindt, in: G. Haßler, C. Neis (Eds.), Oralité(s) et Écriture(S), Nodus Publikationen, Münster, 2012, pp. 43–56.
2012 | Book Chapter | LibreCat-ID: 17856
Change in Contemporary English. A Grammatical Study
I. Mindt, G. Leech, M. Hundt, C. Mair, N. Smith, in: Archiv Für Das Studium Der Neueren Sprachen Und Literaturen 164: 249: 2, Cambridge University Press, 2009, Cambridge, 2012, pp. 394–396.
LibreCat
I. Mindt, G. Leech, M. Hundt, C. Mair, N. Smith, in: Archiv Für Das Studium Der Neueren Sprachen Und Literaturen 164: 249: 2, Cambridge University Press, 2009, Cambridge, 2012, pp. 394–396.
2012 | Book (Editor) | LibreCat-ID: 19074
Deutschsprachige Literatur(en) seit 1989
N.O. Eke, S. Elit, eds., Deutschsprachige Literatur(en) seit 1989, Erich Schmidt, Berlin, 2012.
LibreCat
N.O. Eke, S. Elit, eds., Deutschsprachige Literatur(en) seit 1989, Erich Schmidt, Berlin, 2012.
2012 | Book (Editor) | LibreCat-ID: 19075
Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben
A. Allkemper, N.O. Eke, H. Steinecke, eds., Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben, Fink, München, 2012.
LibreCat
A. Allkemper, N.O. Eke, H. Steinecke, eds., Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben, Fink, München, 2012.
2012 | Book (Editor) | LibreCat-ID: 19076
Schemata und Praktiken
T. Conradi, G. Ecker, N.O. Eke, F. Muhle, eds., Schemata und Praktiken, Fink, München, 2012.
LibreCat
T. Conradi, G. Ecker, N.O. Eke, F. Muhle, eds., Schemata und Praktiken, Fink, München, 2012.
2012 | Journal Article | LibreCat-ID: 19260
Deutschsprachige Literatur(en) seit 1989. Zur Einführung
N.O. Eke, S. Elit, Zeitschrift für deutsche Philologie (Sonderheft “Deutschsprachige Literatur(en) seit 1989” zum Band 131) (2012) 1–11.
LibreCat
N.O. Eke, S. Elit, Zeitschrift für deutsche Philologie (Sonderheft “Deutschsprachige Literatur(en) seit 1989” zum Band 131) (2012) 1–11.
2012 | Book Chapter | LibreCat-ID: 19261
Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben. Dreißig Jahre Paderborner Gastdozentur für Schriftstellerinnen und Schriftsteller
N.O. Eke, in: A. Allkemper, N.O. Eke, H. Steinecke (Eds.), Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben, Fink, München, 2012, pp. 9–25.
LibreCat
N.O. Eke, in: A. Allkemper, N.O. Eke, H. Steinecke (Eds.), Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben, Fink, München, 2012, pp. 9–25.
2012 | Book Chapter | LibreCat-ID: 19262
Werner Fritsch: „Theater gegen alles Theater“
N.O. Eke, in: A. Allkemper, N.O. Eke, H. Steinecke (Eds.), Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben, Fink, München, 2012, pp. 371–387.
LibreCat
N.O. Eke, in: A. Allkemper, N.O. Eke, H. Steinecke (Eds.), Poetologisch-poetische Interventionen: Gegenwartsliteratur schreiben, Fink, München, 2012, pp. 371–387.