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.
10566 Publications
2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat
| DOI
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
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 | Conference Paper | LibreCat-ID: 1884
Selfish Distributed Optimization
B. Monien, C. Scheideler, in: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, Springer, 2012, pp. 1--2.
LibreCat
| DOI
B. Monien, C. Scheideler, in: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, Springer, 2012, pp. 1--2.
2012 | Journal Article | LibreCat-ID: 19376
Predicting production influences on adhesively bonded joints subjected to cyclic load
D. Teutenberg, O. Hahn, Welding in the World (2012) 203–213.
LibreCat
| DOI
D. Teutenberg, O. Hahn, Welding in the World (2012) 203–213.
2012 | Dissertation | LibreCat-ID: 19379
Entwicklung einer Vorgehensweise zur Abschätzung der Einflüsse konstruktions- und fertigungsbedingter Toleranzen auf die mechanischen Eigenschaften von Klebverbindungen unter zyklischer Belastung
D. Teutenberg, Entwicklung einer Vorgehensweise zur Abschätzung der Einflüsse konstruktions- und fertigungsbedingter Toleranzen auf die mechanischen Eigenschaften von Klebverbindungen unter zyklischer Belastung, Shaker Verlag, Aachen, 2012.
LibreCat
D. Teutenberg, Entwicklung einer Vorgehensweise zur Abschätzung der Einflüsse konstruktions- und fertigungsbedingter Toleranzen auf die mechanischen Eigenschaften von Klebverbindungen unter zyklischer Belastung, Shaker Verlag, Aachen, 2012.
2012 | Book Chapter | LibreCat-ID: 20914
Application and Evaluation in the Automotive Domain
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
LibreCat
| DOI
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
2012 | Book Chapter | LibreCat-ID: 18087
Vermittlungswissenschaft in der Wissensgesellschaft
D.M. Meister, in: Erwägen Wissen Ethik. Jg. 23/2012 (Heft 3). , Lucius & Lucius Verlagsges. mbH, Stuttgart, 2012, pp. 379–380.
LibreCat
D.M. Meister, in: Erwägen Wissen Ethik. Jg. 23/2012 (Heft 3). , Lucius & Lucius Verlagsges. mbH, Stuttgart, 2012, pp. 379–380.
2012 | Book | LibreCat-ID: 22367
Untersuchung von Bauteilschäden elektrischer Antriebsstränge im Belastungsprüfstand mittels Statorstromanalyse
C. Lessmeier, C. Piantsop Mbo’o, I. Coenen, D. Zimmer, K. Hameyer, Untersuchung von Bauteilschäden Elektrischer Antriebsstränge Im Belastungsprüfstand Mittels Statorstromanalyse, Aachener Schriften zur Rohstoff- und Entsorgungstechnik des Instituts für Maschinentechnik der Rohstoffindustrie, 2012.
LibreCat
C. Lessmeier, C. Piantsop Mbo’o, I. Coenen, D. Zimmer, K. Hameyer, Untersuchung von Bauteilschäden Elektrischer Antriebsstränge Im Belastungsprüfstand Mittels Statorstromanalyse, Aachener Schriften zur Rohstoff- und Entsorgungstechnik des Instituts für Maschinentechnik der Rohstoffindustrie, 2012.
2012 | Conference Paper | LibreCat-ID: 22370
Hierarchical optimization of coupled self-optimizing systems
C. Hölscher, D. Zimmer, J.H. Keßler, M. Kruger, A. Trächtler, in: IEEE International Conference on Industrial Informatics, Industrial Informatics (INDIN), 2012, pp. 1080–1085.
LibreCat
| DOI
C. Hölscher, D. Zimmer, J.H. Keßler, M. Kruger, A. Trächtler, in: IEEE International Conference on Industrial Informatics, Industrial Informatics (INDIN), 2012, pp. 1080–1085.
2012 | Book | LibreCat-ID: 22372
Elektromechanische Antriebe
D. Zimmer, Elektromechanische Antriebe, Carl Hanser Verlag, 2012.
LibreCat
D. Zimmer, Elektromechanische Antriebe, Carl Hanser Verlag, 2012.
2012 | Conference Paper | LibreCat-ID: 22737
Model-driven Performance Engineering of Self-adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, New York, NY, USA, 2012, pp. 117–122.
LibreCat
| DOI
M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, New York, NY, USA, 2012, pp. 117–122.
2012 | Journal Article | LibreCat-ID: 2176
Workflow-enhanced conformational analysis of guanidine zinc complexes via a science gateway
S. Herres-Pawlis, G. Birkenheuer, A. Brinkmann, S. Gesing, R. Grunzke, R. Jäkel, O. Kohlbacher, J. Krüger, I. Dos Santos Vieira, Studies in Health Technology and Informatics 175 (2012) 142–151.
LibreCat
| DOI
S. Herres-Pawlis, G. Birkenheuer, A. Brinkmann, S. Gesing, R. Grunzke, R. Jäkel, O. Kohlbacher, J. Krüger, I. Dos Santos Vieira, Studies in Health Technology and Informatics 175 (2012) 142–151.
2012 | Journal Article | LibreCat-ID: 21895
Tagungsbericht: Symposium für Promovierende der Fremdsprachen in der Endphase – \textquotedblEndspurt für Dis(s)orientierte\textquotedbl
L. Armbrust, D. Rumlich, Zeitschrift für Fremdsprachenforschung 23 (2012) 281–284.
LibreCat
L. Armbrust, D. Rumlich, Zeitschrift für Fremdsprachenforschung 23 (2012) 281–284.
2012 | Book Chapter | LibreCat-ID: 21911
The effects of CLIL: Students’ linguistic accuracy in relation to internal and external learner variables
D. Rumlich, in: S. Kersten, C. Ludwig, D. Meer, B. Rüschoff (Eds.), Language Learning and Language Use, Universitätsverlag Rhein-Rhuhr, Duisburg, Germany, 2012, pp. 115–127.
LibreCat
D. Rumlich, in: S. Kersten, C. Ludwig, D. Meer, B. Rüschoff (Eds.), Language Learning and Language Use, Universitätsverlag Rhein-Rhuhr, Duisburg, Germany, 2012, pp. 115–127.
2012 | Book Chapter | LibreCat-ID: 21912
(Sprach-)Tests in der Praxis: Die Studie „Development Of North Rhine-Westphalian CLIL Students“ (DENOCS).
D. Rumlich, in: S. Doff (Ed.), Fremdsprachenunterricht Empirisch Erforschen. Grundlagen - Methoden - Anwendung, Narr, Tübingen, Germany, 2012, pp. 169–183.
LibreCat
D. Rumlich, in: S. Doff (Ed.), Fremdsprachenunterricht Empirisch Erforschen. Grundlagen - Methoden - Anwendung, Narr, Tübingen, Germany, 2012, pp. 169–183.