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.
10209 Publications
2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. ; 2008:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Working Paper | LibreCat-ID: 2737 | 
Gries T, Redlin M. International Integration and Regional Development in China . Vol 2008.66. WIDER Research Papers, United Nations University (UNU); 2008.
LibreCat
| Download (ext.)
2008 | Journal Article | LibreCat-ID: 27773
Toeller M, Buyken A, Heitkamp G, Berg G, Scherbaum W. Prevalence of Chronic Complications, Metabolic Control and Nutritional Intake in Type 1 Diabetes: Comparison Between Different European Regions. Hormone and Metabolic Research. Published online 2008:680-685. doi:10.1055/s-2007-978820
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1108
Geierhos M, Blanc O, Bsiri S. iBeCOOL - Extraction d’informations biographiques dans les textes financiers. In: Proceedings of the Lexis and Grammar Conference 2008. ; 2008:241-248.
LibreCat
2008 | Book Chapter | LibreCat-ID: 1109
Geierhos M, Bsiri S. ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web. In: Gross G, Schulz KU, eds. Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6). Vol 6. 1st ed. Tributes. London, UK: College Publications; 2008:103-126.
LibreCat
2008 | Journal Article | LibreCat-ID: 1110
Geierhos M, Blanc O, Bsiri S. RELAX - Extraction de relations sémantiques dans les contextes biographiques. Traitement Automatique des Langues (TAL). 2008;49(1):167-190.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy M, Henkler S, Holtmann J, Oberthür S. Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 17465
Peckhaus V, Bernhard P, eds. Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges. Paderborn: mentis Verlag; 2008.
LibreCat
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide F. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS). Vol 222. Paderborn: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2008.
LibreCat
2008 | Journal Article | LibreCat-ID: 17772
Mindt I. Appropriateness in Discourse: The adjectives surprised and surprising in monologue and dialogue. Journal of Pragmatics . 2008;40,9:1503-1520.
LibreCat
2008 | Journal Article | LibreCat-ID: 17845
Mindt I. Adjective complementation by that-clauses: the relation between the semantics of adjectives and the verb phrase in the that-clause. Anglistik International Journal of English Studies. 2008;19:1:141-155.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier W, Fischer M, Huber D, Laroque C, Suess T. Aggregated 3D-visualization of a distributed simulation experiment of a queuing system. In: 2008 Winter Simulation Conference. ; 2008:2012-2020. doi:10.1109/wsc.2008.4736296
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 17899
Mindt I, Römer U. Progressives, Patterns, Pedagogy. A corpus-driven approach to English progressive forms, functions, contexts and diadactic. In: Anglistik. International Journal of English Studies, 19, 2. Amsterdam: John Benjamins, 2005; 2008:235-239.
LibreCat
2008 | Book Chapter | LibreCat-ID: 17901
Mindt I, Facchinetti R. Corpus Linguistics 25 Years on. (Language and Computers: Studies in Practical Linguistics 62). In: ICAME Journal, Computers in English Linguistics, 2008. Amsterdam: Rodopi, 2007; 2008:236-239.
LibreCat