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.
7527 Publications
2008 | Book (Editor) | LibreCat-ID: 53583
Müller, Wolfgang, and John Wolfe, eds. Proceedings of the 5th International DAC Workshop of UML for SoC Design. Anaheim, CA, USA, 2008.
LibreCat
2008 | Book (Editor) | LibreCat-ID: 53594
Wolfe, John, and Wolfgang Müller, eds. Proceedings of the 4th DAC Workshop on UML for SOC Design . Anaheim CA, USA, 2008.
LibreCat
2008 | Book Review | LibreCat-ID: 53752 | 
Reis, Oliver. “Garz, Detlef: Sozialpsychologische Entwicklungstheorien. 3. erw. Auflage, Wiesbaden 2006.” socialnet Rezensionen, 2008.
LibreCat
| Download (ext.)
2008 | Book Chapter | LibreCat-ID: 46848
Flath, Beate. “Sound als Imagevermittler. Eine experimentelle Untersuchung zum Einfluss akustischer Parameter auf das konnotative Empfinden von Produkten im Kontext von Fernsehwerbung.” In Erstausgabe. Veröffentlichungen junger WissenschafterInnen der Karl-Franzens-Universität Graz, edited by Karl-Frazenz-Universiät Graz , 1:43–49. Erstausgabe. Veröffentlichungen junger WissenschafterInnen der Karl-Franzens-Universität Graz. Graz : Uni-Press Graz, 2008.
LibreCat
2008 | Book Chapter | LibreCat-ID: 54120
Meyer-Hamme, Johannes. “Lernorte und historische Identitäten.” In Orte historischen Lernens, edited by Saskia Handro and Bernd Schönemann, 75–87. Münster, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 46420
Trautmann, Heike, Uwe Ligges, Jörn Mehnen, and Mike Preuss. “A Convergence Criterion for Multiobjective Evolutionary Algorithms Based on Systematic Statistical Testing.” In Parallel Problem Solving from Nature – PPSN X, edited by Günter Rudolph, Thomas Jansen, Nicola Beume, Simon Lucas, and Carlo Poloni, 825–836. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
LibreCat
2008 | Book Review | LibreCat-ID: 18657 |
Peckhaus, Volker. “Bueno, Otávio/Zalta, Edward N., ‘A Nominalist’s Dilemma and its Solution’, Philosophia Mathematica (3) 13 (2005), 294-307.” zbMATH Open, Zbl. 1129.00001, 2008.
LibreCat
| Download (ext.)
2008 | Book Review | LibreCat-ID: 18666 |
Peckhaus, Volker. “Leng, Mary, ‘Revolutionary Fictionalism: A Call to Arms’, Philosophia Mathematica (3) 13 (2005), 277–293.” zbMATH Open, Zbl. 1141.00006, 2008.
LibreCat
| Download (ext.)
2008 | Journal Article | LibreCat-ID: 54950
Diakov, Alexei, Katarzyna Bera, Marianna Mokrushina, Bettina Krueger, and Christoph Korbmacher. “Cleavage in the $\gamma$-Subunit of the Epithelial Sodium Channel (ENaC) Plays an Important Role in the Proteolytic Activation of near-Silent Channels.” The Journal of Physiology 586, no. 19 (2008): 4587–4608. https://doi.org/10.1113/jphysiol.2008.154435.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 2496
Dimitrov, Dinko, and Claus-Jochen Haake. “A Note on the Paradox of Smaller Coalitions.” Social Choice and Welfare 30, no. 4 (2007): 571–79. https://doi.org/10.1007/s00355-007-0266-8.
LibreCat
| Files available
| DOI
2007 | Conference Paper | LibreCat-ID: 25395
Ngonga Ngomo, Axel-Cyrille, and Frank Schumacher. “Involving the User in Semantic Search.” In Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of {HCI} International 2007, Beijing, China, July 22-27, 2007, Proceedings Part {I}, edited by Michael J. Smith and Gavriel Salvendy, 4557:507–16. Lecture Notes in Computer Science. Springer, 2007. https://doi.org/10.1007/978-3-540-73345-4\_58.
LibreCat
| DOI
2007 | Book | LibreCat-ID: 25570
Gausemeier, Jürgen. Vorausschau und Technologieplanung. 3. Symposium für Vorausschau und Technologieplanung. Vol. 219. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 2024
Awerbuch, Baruch, and Christian Scheideler. “A Denial-of-Service Resistant DHT.” In Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, 4731:33--47. Lecture Notes in Computer Science. Springer, 2007. https://doi.org/10.1007/978-3-540-75142-7_6.
LibreCat
| DOI
2007 | Conference (Editor) | LibreCat-ID: 2025
Aspnes, James, Christian Scheideler, Anish Arora, and Samuel Madden, eds. Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings. Vol. 4549. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-73090-3.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 24276
Bienkowski, Marcin, and Jarosław Kutyłowski. “The K-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 2007. https://doi.org/10.1007/978-3-540-73951-7_30.
LibreCat
| DOI
2007 | Book | LibreCat-ID: 24366
Mahlmann, Peter, and Christian Schindelhauer. Peer-to-Peer-Netzwerke. Berlin: Springer, 2007. https://doi.org/10.1007/978-3-540-33992-2.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 3211
Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1 (2007): 41--71. https://doi.org/10.1007/s00236-007-0042-3.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch{\"{u}}rr, Manfred Nagl, and Albert Z{\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-89020-1_2.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_15.
LibreCat
| DOI