@inproceedings{3214,
  author       = {{Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}},
  editor       = {{Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, Albert}},
  pages        = {{17----31}},
  title        = {{{Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}}},
  doi          = {{10.1007/978-3-540-89020-1_2}},
  year         = {{2007}},
}

@inproceedings{3215,
  author       = {{Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{76----90}},
  title        = {{{Analysis of {UML} Activities Using Dynamic Meta Modeling}}},
  doi          = {{10.1007/978-3-540-72952-5_5}},
  year         = {{2007}},
}

@inproceedings{3216,
  author       = {{Ruhroth, Thomas and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{236----251}},
  title        = {{{Refactoring Object-Oriented Specifications with Data and Processes}}},
  doi          = {{10.1007/978-3-540-72952-5_15}},
  year         = {{2007}},
}

@inproceedings{3222,
  author       = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}},
  editor       = {{Davies, Jim and Gibbons, Jeremy}},
  pages        = {{195----214}},
  title        = {{{Proving Linearizability Via Non-atomic Refinement}}},
  doi          = {{10.1007/978-3-540-73210-5_11}},
  year         = {{2007}},
}

@inbook{3293,
  author       = {{Gries, Thomas}},
  booktitle    = {{50 Years of EU Economic Dynamics}},
  editor       = {{Tilly, Richard and Welfens, Paul J.J. and Heise, Michael}},
  isbn         = {{978-3-540-74054-4}},
  pages        = {{25--45}},
  publisher    = {{Springer}},
  title        = {{{Global Shift – The European Union, the United States, and the Emergence of China}}},
  year         = {{2007}},
}

@inbook{3002,
  author       = {{Blömer, Johannes and Krummel, Volker}},
  booktitle    = {{Selected Areas in Cryptography}},
  isbn         = {{9783540773597}},
  pages        = {{96--109}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Analysis of Countermeasures Against Access Driven Cache Attacks on AES}}},
  doi          = {{10.1007/978-3-540-77360-3_7}},
  year         = {{2007}},
}

@inbook{3019,
  author       = {{May, Alexander}},
  booktitle    = {{Advances in Cryptology — CRYPTO 2002}},
  isbn         = {{9783540440505}},
  issn         = {{0302-9743}},
  pages        = {{242--256}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Cryptanalysis of Unbalanced RSA with Small CRT-Exponent}}},
  doi          = {{10.1007/3-540-45708-9_16}},
  year         = {{2007}},
}

@inbook{3020,
  author       = {{Blömer, Johannes and May, Alexander}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540424888}},
  issn         = {{0302-9743}},
  pages        = {{4--19}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Low Secret Exponent RSA Revisited}}},
  doi          = {{10.1007/3-540-44670-2_2}},
  year         = {{2007}},
}

@inbook{3021,
  author       = {{Blömer, Johannes and May, Alexander}},
  booktitle    = {{Selected Areas in Cryptography}},
  isbn         = {{9783540430667}},
  issn         = {{0302-9743}},
  pages        = {{325--341}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Key Revocation with Interval Cover Families}}},
  doi          = {{10.1007/3-540-45537-x_26}},
  year         = {{2007}},
}

@inbook{3022,
  author       = {{May, Alexander and Silverman, Joseph H.}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540424888}},
  issn         = {{0302-9743}},
  pages        = {{110--125}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Dimension Reduction Methods for Convolution Modular Lattices}}},
  doi          = {{10.1007/3-540-44670-2_10}},
  year         = {{2007}},
}

@inbook{3026,
  author       = {{Blömer, Johannes}},
  booktitle    = {{Algorithms — ESA’ 98}},
  isbn         = {{9783540648482}},
  issn         = {{0302-9743}},
  pages        = {{151--162}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers}}},
  doi          = {{10.1007/3-540-68530-8_13}},
  year         = {{2007}},
}

@inproceedings{1107,
  abstract     = {{Dieser Beitrag beschäftigt sich mit der Informationsextraktion aus Stellenanzeigen im französischsprachigen Web. Ziel dieser Arbeit ist es, unstrukturierte Dokumente in Repräasentationsvektoren anhand lokaler Grammatiken zu transformieren. Auf diese Weise wird
es möglich, den Stellenmarkt für Jobsuchmaschinen transparenter zu gestalten, indem nur auf dem Inhalt der Anzeige in Form von  Darstellungsvektoren anstatt auf unübersichtlichem Fließtext gesucht werden muss.}},
  author       = {{Bsiri, Sandra and Geierhos, Michaela}},
  booktitle    = {{LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings}},
  editor       = {{Hinneburg, Alexander }},
  isbn         = {{978-3-86010-907-6}},
  location     = {{Halle (Saale), Germany}},
  pages        = {{229--236}},
  publisher    = {{Martin-Luther-University}},
  title        = {{{Informationsextraktion aus Stellenanzeigen im Internet}}},
  year         = {{2007}},
}

@inproceedings{18928,
  author       = {{Dynia, Miroslaw and Łopuszański, Jakub and Schindelhauer, Christian}},
  booktitle    = {{Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO)}},
  isbn         = {{9783540729181}},
  pages        = {{37---- 46}},
  title        = {{{Why Robots Need Maps}}},
  doi          = {{10.1007/978-3-540-72951-8_5}},
  year         = {{2007}},
}

@inproceedings{18929,
  author       = {{Dynia, Miroslaw and Korzeniowski, Miroslaw and Kutyłowski, Jarosław}},
  booktitle    = {{Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'07)}},
  isbn         = {{9783540695066}},
  issn         = {{0302-9743}},
  pages        = {{260----271}},
  title        = {{{Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs}}},
  doi          = {{10.1007/978-3-540-69507-3_21}},
  volume       = {{4362}},
  year         = {{2007}},
}

@inbook{19139,
  author       = {{Seng, Eva- Maria}},
  booktitle    = {{Jülicher Geschichtsblätter Bd. 73}},
  title        = {{{„Zwischen Utopie und Realität. Die ‚Idealstadt’ Jülich als Ausdruck des frühneuzeitlichen Ordnungsdenkens“}}},
  volume       = {{Bd. 73}},
  year         = {{2007}},
}

@inbook{19140,
  author       = {{Seng, Eva- Maria}},
  booktitle    = {{Geschichte der bildenden Kunst in Deutschland, Bd. 4 Spätgotik und Renaissance}},
  editor       = {{Krause, Katharina}},
  pages        = {{266f}},
  title        = {{{Jörg Held (um 1454-1527), Petrarca-Meister, Vogelschau der Stadt Augsburg}}},
  year         = {{2007}},
}

@inproceedings{2389,
  author       = {{Lietsch, Stefan and Marquardt, Oliver}},
  booktitle    = {{Proc. Int. Symp. on Visual Computing (ISVC)}},
  isbn         = {{978-3-540-76857-9}},
  pages        = {{724--733}},
  publisher    = {{Springer}},
  title        = {{{A CUDA-Supported Approach to Remote Rendering}}},
  volume       = {{4841}},
  year         = {{2007}},
}

@inproceedings{2396,
  author       = {{Voss, Kerstin and Djemame, Karim and Gourlay, Iain and Padgett, James}},
  booktitle    = {{Proc. Int. Worksh. on Grid Economics and Business Models (GECON)}},
  editor       = {{Altmann, Jörn and Veit, Daniel}},
  pages        = {{170--175}},
  publisher    = {{Springer}},
  title        = {{{AssessGrid, Economic Issues Underlying Risk Awareness in Grids}}},
  doi          = {{10.1007/978-3-540-74430-6_14}},
  volume       = {{4685}},
  year         = {{2007}},
}

@inproceedings{2400,
  author       = {{Berssenbrügge, Jan and Lietsch, Stefan}},
  booktitle    = {{Proc. Worksh. Augmented & Virtual Reality in der Produktentstehung}},
  isbn         = {{978-3-939350-28-6}},
  pages        = {{67--80}},
  publisher    = {{Heinz Nixdorf Institut}},
  title        = {{{Verteilte Berechnung und Darstellung automobiler Scheinwerfer}}},
  volume       = {{209}},
  year         = {{2007}},
}

@inproceedings{20431,
  author       = {{Hamann, Heiko and Wörn, Heinz and Sahin, Erol and Spears, Winfield and Winfield, Winfield}},
  booktitle    = {{Swarm Robotics - Second SAB 2006 International Workshop}},
  pages        = {{43----55}},
  title        = {{{An analytical and spatial model of foraging in a swarm of robots}}},
  doi          = {{10.1007/978-3-540-71541-2_4}},
  volume       = {{4433}},
  year         = {{2007}},
}