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.
7947 Publications
2009 | Journal Article | LibreCat-ID: 39552
Lock Detection for Charge-Pump Phase-Locked Loops
C. Wiegand, C. Hedayat, U. Hilleringmann, Sophia Antipolis Microelectronics SAME (2009).
LibreCat
C. Wiegand, C. Hedayat, U. Hilleringmann, Sophia Antipolis Microelectronics SAME (2009).
2009 | Conference Paper | LibreCat-ID: 44178
Reiseprosa zwischen erlebter und erfundener Erfahrung von Wolfgang Büscher, Hape Kerkeling und Sigrid und Hamster Damm
I. Müller, in: M. Grote, B. Sandberg (Eds.), Autobiographisches Schreiben in Der Deutschsprachigen Gegenwartsliteratur, Bd. 3: Entwicklungen, Kontexte, Grenzgänge., iudicium Verlag, München, 2009, p. 15.
LibreCat
I. Müller, in: M. Grote, B. Sandberg (Eds.), Autobiographisches Schreiben in Der Deutschsprachigen Gegenwartsliteratur, Bd. 3: Entwicklungen, Kontexte, Grenzgänge., iudicium Verlag, München, 2009, p. 15.
2009 | Journal Article | LibreCat-ID: 44808
Zurück zur Meisterlehre? Beurteilen lernen und beurteilt werden am Ausbildungsort Schule
C. Freitag, Seminar – Lehrerbildung und Schule 3/2009 (2009) 19–24.
LibreCat
C. Freitag, Seminar – Lehrerbildung und Schule 3/2009 (2009) 19–24.
2009 | Book | LibreCat-ID: 57341
Die Europäische Sicherheits- und Verteidigungspolitik: Politikformulierung im Beziehungsdreieck Deutschland – Frankreich – Großbritannien
A. Marchetti, Die Europäische Sicherheits- und Verteidigungspolitik: Politikformulierung im Beziehungsdreieck Deutschland – Frankreich – Großbritannien, Nomos, Baden-Baden, 2009.
LibreCat
| Files available
A. Marchetti, Die Europäische Sicherheits- und Verteidigungspolitik: Politikformulierung im Beziehungsdreieck Deutschland – Frankreich – Großbritannien, Nomos, Baden-Baden, 2009.
2009 | Book Chapter | LibreCat-ID: 56054
Der Konflikt zwischen Ennemoser und Giovanelli um die Deutung der Maria von Mörl
N. Priesching, in: E. Hastaba, S. de Rachewiltz (Eds.), Für Freiheit, Wahrheit und Recht! Josef Ennemoser und Jakob Philipp Fallmerayer. Tirol von 1809 bis 1848/49, Innsbruck, 2009, pp. 141–150.
LibreCat
N. Priesching, in: E. Hastaba, S. de Rachewiltz (Eds.), Für Freiheit, Wahrheit und Recht! Josef Ennemoser und Jakob Philipp Fallmerayer. Tirol von 1809 bis 1848/49, Innsbruck, 2009, pp. 141–150.
2009 | Book Chapter | LibreCat-ID: 57791
Von der Kindheit zur Jugend. Pubertätskonstruktionen in pädagogischen Fachdiskursen und ihre Effekte für pädagogisches Handeln
A. Langer, in: M. Behnisch, M. Winkler (Eds.), Soziale Arbeit Und Naturwissenschaften. Einflüsse, Diskurse, Perspektiven, Reinhard-Verlag, München, 2009, pp. 106–120.
LibreCat
A. Langer, in: M. Behnisch, M. Winkler (Eds.), Soziale Arbeit Und Naturwissenschaften. Einflüsse, Diskurse, Perspektiven, Reinhard-Verlag, München, 2009, pp. 106–120.
2008 | Conference Paper | LibreCat-ID: 25396
SIGNUM: A Graph Algorithm for Terminology Extraction
A.-C. Ngonga Ngomo, in: A. F. Gelbukh (Ed.), Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings, Springer, 2008, pp. 85–95.
LibreCat
| DOI
A.-C. Ngonga Ngomo, in: A. F. Gelbukh (Ed.), Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings, Springer, 2008, pp. 85–95.
2008 | Dissertation | LibreCat-ID: 19615
Distributed Resource Allocation and Management in Heterogeneous Networks
G. Schomaker, Distributed Resource Allocation and Management in Heterogeneous Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
| Files available
G. Schomaker, Distributed Resource Allocation and Management in Heterogeneous Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
2008 | Conference Paper | LibreCat-ID: 19686
Uniform Budgets and the Envy-Free Pricing Problem
P. Briest, in: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008.
LibreCat
| DOI
P. Briest, in: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008.
2008 | Conference Paper | LibreCat-ID: 19687
On the Approximability of Combinatorial Exchange Problems
P. Briest, P. Krysta, M. Babaioff, in: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), Cham, 2008.
LibreCat
| DOI
P. Briest, P. Krysta, M. Babaioff, in: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), Cham, 2008.
2008 | Conference Paper | LibreCat-ID: 1975
Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, 2008.
LibreCat
| DOI
D. Battré, M. Hovestadt, O. Kao, A. Keller, K. Voss, in: Proc. Int. DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards and New Technologies, 2008.
2008 | Conference Paper | LibreCat-ID: 19832
Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots
C.C. Ooi, C. Schindelhauer, in: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, in: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008.
2008 | Dissertation | LibreCat-ID: 20262
Space-Time Continuous Models of Swarm Robotic Systems
H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
LibreCat
| DOI
H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat
| DOI
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (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, 2008, pp. 78--95.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (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, 2008, pp. 78--95.
2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat
| DOI
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat
| DOI
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
2008 | Conference Paper | LibreCat-ID: 3143
A Browser-Based Kerberos Authentication Scheme
S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.
LibreCat
| DOI
S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.
2008 | Conference Paper | LibreCat-ID: 3144
On Black-Box Ring Extraction and Integer Factorization
K. Altmann, T. Jager, A. Rupp, 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, pp. 437--448.
LibreCat
| DOI
K. Altmann, T. Jager, A. Rupp, 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, pp. 437--448.
2008 | Conference Paper | LibreCat-ID: 3145
On the Equivalence of Generic Group Models
T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
LibreCat
| DOI
T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.