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.
9734 Publications
2008 | Conference Paper | LibreCat-ID: 3209
@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
@inproceedings{Gajek_Jager_Manulis_Schwenk_2008, title={A Browser-Based Kerberos Authentication Scheme}, DOI={10.1007/978-3-540-88313-5_8}, booktitle={Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings}, author={Gajek, Sebastian and Jager, Tibor and Manulis, Mark and Schwenk, Jörg}, year={2008}, pages={115--129} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
@inproceedings{Altmann_Jager_Rupp_2008, title={On Black-Box Ring Extraction and Integer Factorization}, DOI={10.1007/978-3-540-70583-3_36}, booktitle={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}, author={Altmann, Kristina and Jager, Tibor and Rupp, Andy}, year={2008}, pages={437--448} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
@inproceedings{Jager_Schwenk_2008, title={On the Equivalence of Generic Group Models}, DOI={10.1007/978-3-540-88733-1_14}, booktitle={Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2008}, pages={200--209} }
LibreCat
| DOI
2008 | Working Paper | LibreCat-ID: 2737 | 
@book{Gries_Redlin_2008, series={Research paper / UNU-WIDER }, title={International integration and regional development in China }, volume={2008.66}, publisher={WIDER Research Papers, United Nations University (UNU)}, author={Gries, Thomas and Redlin, Margarete}, year={2008}, collection={Research paper / UNU-WIDER } }
LibreCat
| Download (ext.)
2008 | Journal Article | LibreCat-ID: 27773
@article{Toeller_Buyken_Heitkamp_Berg_Scherbaum_2008, title={Prevalence of Chronic Complications, Metabolic Control and Nutritional Intake in Type 1 Diabetes: Comparison Between Different European Regions}, DOI={10.1055/s-2007-978820}, journal={Hormone and Metabolic Research}, author={Toeller, M. and Buyken, Anette and Heitkamp, G. and Berg, G. and Scherbaum, W.}, year={2008}, pages={680–685} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1108
@inproceedings{Geierhos_Blanc_Bsiri_2008, title={iBeCOOL - Extraction d’informations biographiques dans les textes financiers}, booktitle={Proceedings of the Lexis and Grammar Conference 2008}, author={Geierhos, Michaela and Blanc, Olivier and Bsiri, Sandra}, year={2008}, pages={241–248} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 1109
@inbook{Geierhos_Bsiri_2008, place={London, UK}, edition={1}, series={Tributes}, title={ProfilPro: Reconstitution automatique d’un profil professionnel à partir des documents du Web}, volume={6}, booktitle={Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday (Tributes 6)}, publisher={College Publications}, author={Geierhos, Michaela and Bsiri, Sandra}, editor={Gross , Gaston and Schulz, Klaus U.Editors}, year={2008}, pages={103–126}, collection={Tributes} }
LibreCat
2008 | Journal Article | LibreCat-ID: 1110
@article{Geierhos_Blanc_Bsiri_2008, title={RELAX - Extraction de relations sémantiques dans les contextes biographiques}, volume={49}, number={1}, journal={Traitement Automatique des Langues (TAL)}, publisher={ATALA}, author={Geierhos, Michaela and Blanc, Olivier and Bsiri, Sandra}, year={2008}, pages={167–190} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
@inproceedings{Tichy_Henkler_Holtmann_Oberthür_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems}, volume={236}, booktitle={Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany}, publisher={Heinz Nixdorf Institut}, author={Tichy, Matthias and Henkler, Stefan and Holtmann, Jörg and Oberthür, Simon}, year={2008}, pages={27–38}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2008 | Book (Editor) | LibreCat-ID: 17465
@book{Peckhaus_Bernhard_2008, place={Paderborn}, title={Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges}, publisher={mentis Verlag}, year={2008} }
LibreCat
2008 | Book | LibreCat-ID: 17566
@book{Meyer auf der Heide_2008, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS)}, volume={222}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Meyer auf der Heide, Friedhelm}, year={2008}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }
LibreCat
2008 | Journal Article | LibreCat-ID: 17772
@article{Mindt_2008, title={Appropriateness in Discourse: The adjectives surprised and surprising in monologue and dialogue}, volume={40,9}, journal={Journal of Pragmatics }, author={Mindt, Ilka}, year={2008}, pages={1503–1520} }
LibreCat
2008 | Journal Article | LibreCat-ID: 17845
@article{Mindt_2008, title={Adjective complementation by that-clauses: the relation between the semantics of adjectives and the verb phrase in the that-clause}, volume={19:1}, journal={Anglistik. International Journal of English Studies}, author={Mindt, Ilka}, year={2008}, pages={141–155} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
@inproceedings{Dangelmaier_Fischer_Huber_Laroque_Suess_2008, place={Miami, FL., USA}, title={Aggregated 3D-visualization of a distributed simulation experiment of a queuing system}, DOI={10.1109/wsc.2008.4736296}, booktitle={2008 Winter Simulation Conference}, author={Dangelmaier, Wilhelm and Fischer, Matthias and Huber, Daniel and Laroque, Christoph and Suess, Tim}, year={2008}, pages={2012–2020} }
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 17899
@inbook{Mindt_Römer_2008, place={Amsterdam}, title={Progressives, Patterns, Pedagogy. A corpus-driven approach to English progressive forms, functions, contexts and diadactic}, booktitle={Anglistik. International Journal of English Studies, 19, 2}, publisher={John Benjamins, 2005}, author={Mindt, Ilka and Römer, Ute}, year={2008}, pages={235–239} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 17901
@inbook{Mindt_Facchinetti_2008, place={Amsterdam}, title={Corpus Linguistics 25 Years on. (Language and Computers: Studies in Practical Linguistics 62)}, booktitle={ICAME Journal, Computers in English Linguistics, 2008}, publisher={Rodopi, 2007}, author={Mindt, Ilka and Facchinetti, Roberta}, year={2008}, pages={236–239} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 19003
@inproceedings{Degener_Gehweiler_Lammersen_2008, title={The Kinetic Facility Location Problem}, DOI={10.1007/978-3-540-69903-3_34}, booktitle={Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT)}, author={Degener, Bastian and Gehweiler, Joachim and Lammersen, Christiane}, year={2008}, pages={378–389} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19004
@inproceedings{Gehweiler_Lammersen_Degener_2008, title={The Kinetic Facility Location Problem}, booktitle={Proceedings of the 24th European Workshop on Computational Geometry}, author={Gehweiler, Joachim and Lammersen, Christiane and Degener, Bastian}, year={2008}, pages={251–254} }
LibreCat