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.
9835 Publications
2007 | Journal Article | LibreCat-ID: 26786
@article{Hellmich_2007, title={Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule}, volume={4.1}, DOI={10.25539/BILDUNGSFORSCHUN.V1I0.59}, journal={Bildungsforschung }, author={Hellmich, Frank}, year={2007} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 26788
@article{Hellmich_2007, title={Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich}, volume={4.1}, DOI={10.25656/01:4628}, journal={Bildungsforschung }, author={Hellmich, Frank}, year={2007} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 26790
@inbook{Hellmich_Grüßing _2007, place={Baltmannsweiler}, title={Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit}, booktitle={Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule}, publisher={Schneider Hohengehren}, author={Hellmich, Frank and Grüßing , Meike}, editor={Hellmich, Frank }, year={2007}, pages={119–140} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 26791
@inbook{Hellmich_2007, place={Baltmannsweiler}, title={Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung}, booktitle={Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule}, publisher={Schneider Hohengehren}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2007}, pages={3–7} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 26793
@inbook{Hellmich_2007, place={Baltmannsweiler}, title={„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU}, booktitle={Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule }, publisher={Schneider Hohengehren}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2007}, pages={11–32} }
LibreCat
2007 | Journal Article | LibreCat-ID: 3211
@article{Derrick_Wehrheim_2007, title={On using data abstractions for model checking refinements}, DOI={10.1007/s00236-007-0042-3}, number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007}, pages={41--71} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={10.1007/978-3-540-72952-5_5}, 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}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Refactoring Object-Oriented Specifications with Data and Processes}, DOI={10.1007/978-3-540-72952-5_15}, 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}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement}, DOI={10.1007/978-3-540-73210-5_11}, booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors}, year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3293
@inbook{Gries_2007, title={Global Shift – The European Union, the United States, and the Emergence of China}, booktitle={50 Years of EU Economic Dynamics}, publisher={Springer}, author={Gries, Thomas}, editor={Tilly, Richard and Welfens, Paul J.J. and Heise, MichaelEditors}, year={2007}, pages={25–45} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 3611
@inbook{Bauer_Rehrl_Harteis_2007, place={Turku}, title={Measurement of learning culture: a motivational approach}, booktitle={Learning in the workplace--new developments}, publisher={Turun Yliopisto}, author={Bauer, J and Rehrl, M and Harteis, Christian}, editor={Gruber, Hans and Palonen, TuireEditors}, year={2007}, pages={21--50} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 3612
@inbook{Gruber_Harteis_Hasanbegovic_Lehner_2007, place={Heidelberg}, title={Über die Rolle epistemischer Überzeugungen für die Gestaltung von E-Learning—eine empirische Studie bei Hochschullehrendenn}, booktitle={Neue Trends im E-Learning}, publisher={Physika}, author={Gruber, Hans and Harteis, Christian and Hasanbegovic, Jasmina and Lehner, Franz}, editor={Breitner, M H and Bruns, B and Lehner, FranzEditors}, year={2007}, pages={123--132} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 3623
@inbook{Harteis_Gruber_Hertramph_2007, place={Anaheim}, title={Epistemological beliefs and their impact on the practice of e-learning in companies}, booktitle={Computers and advances technologies in education. Globalization of education through advanced technology}, publisher={ACTA}, author={Harteis, Christian and Gruber, Hans and Hertramph, Herbert}, editor={Uskov, ValentinEditor}, year={2007}, pages={266--271} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 3647
@inbook{Harteis_Bauer_Haltia_2007, place={Turku}, title={Learning from errors in the workplace--insights from two studies in Germany and Finland}, booktitle={Learning in the workplace--new developments}, publisher={Turun Yliopisto}, author={Harteis, Christian and Bauer, Johannes and Haltia, Petri}, editor={Gruber, Hans and Palonen, TuireEditors}, year={2007}, pages={119--138} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 3709
@inbook{Festner_Harteis_Kyhä_Tuominen_2007, place={Turku}, title={Participation as predictor of responsibility in working life}, booktitle={Learning in the workplace - new developments in the relation between learning and working}, publisher={FERA}, author={Festner, Dagmar and Harteis, Christian and Kyhä, Henna and Tuominen, T}, editor={Gruber, Hans and Palonen, TuireEditors}, year={2007}, pages={65–90} }
LibreCat
2007 | Book Chapter | LibreCat-ID: 3002 | 
@inbook{Blömer_Krummel_2007, place={Berlin, Heidelberg}, title={Analysis of Countermeasures Against Access Driven Cache Attacks on AES}, DOI={10.1007/978-3-540-77360-3_7}, booktitle={Selected Areas in Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Krummel, Volker}, year={2007}, pages={96–109} }
LibreCat
| DOI
| Download (ext.)
2007 | Book Chapter | LibreCat-ID: 3019
@inbook{May_2007, place={Berlin, Heidelberg}, title={Cryptanalysis of Unbalanced RSA with Small CRT-Exponent}, DOI={10.1007/3-540-45708-9_16}, booktitle={Advances in Cryptology — CRYPTO 2002}, publisher={Springer Berlin Heidelberg}, author={May, Alexander}, year={2007}, pages={242–256} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3020
@inbook{Blömer_May_2007, place={Berlin, Heidelberg}, title={Low Secret Exponent RSA Revisited}, DOI={10.1007/3-540-44670-2_2}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2007}, pages={4–19} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3021
@inbook{Blömer_May_2007, place={Berlin, Heidelberg}, title={Key Revocation with Interval Cover Families}, DOI={10.1007/3-540-45537-x_26}, booktitle={Selected Areas in Cryptography}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2007}, pages={325–341} }
LibreCat
| DOI