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.

9901 Publications


2005 | Conference Paper | LibreCat-ID: 18925
M. Bienkowski, M. Dynia, and M. Korzeniowski, “Improved Algorithms for Dynamic Page Migration,” in Proc. of the 22nd Symposium on Theoretical Aspects of Computer Science (STACS), 2005, pp. 365–376.
LibreCat | DOI
 

2005 | Dissertation | LibreCat-ID: 18967
H. Räcke, Data Management and Routing in General Networks, vol. 154. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
LibreCat | Files available
 

2005 | Conference Paper | LibreCat-ID: 23883
G. Frahling, P. Indyk, and C. Sohler, “Sampling in dynamic data streams and applications,” in Proceedings of the twenty-first annual symposium on Computational geometry  - SCG ’05, 2005.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 20926
M. Meyer and L. Wendehals, “Selective Tracing for Dynamic Analyses,” in Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005, vol. 2005–12, pp. 33–37.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 20929
M. Meyer and J. Niere, “Calculation and Visualization of Software Product Metrics,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 41–44.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 20930
D. Travkin and M. Meyer, “Generation of Type Safe Association Implementations,” in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005, vol. tr-ri-05-259, pp. 63–66.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 17988
S. Köhler, C. Schindelhauer, and M. Ziegler, “On Approximating Real-World Halting Problems,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 2005.
LibreCat | DOI
 

2005 | Book Chapter | LibreCat-ID: 17989
K. Meer and M. Ziegler, “An Explicit Solution to Post’s Problem over the Reals,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 2005.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 18280
M. Ziegler, “Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism,” in Proc. CiE 2005: New Computational Paradigms, 2005, vol. 3526, pp. 562–571.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 18282
M. Ziegler, “Computational Power of Infinite Quantum Parallelism,” International Journal of Theoretical Physics, vol. 44, no. 11, pp. 2059–2071, 2005.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 18366
W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, and C. Laroque, “Methods to lead the user to significant processes in a 3D material flow simulation,” in Simulation in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005, 2005, pp. 267–270.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 1843
A. Aguiar, A. Wolisz, H. Lederer, and H. Karl, “Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors,” in Proceedings of the 11th European Wireless Conference 2005, 2005.
LibreCat | Download (ext.)
 

2005 | Conference Paper | LibreCat-ID: 18449
C. Loeser, I. Drüke, and B. Oesterdiekhoff, “ Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario,” in IEEE International Conference on Industrial Informatics (INDIN), 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 18450
B. Oesterdiekhoff, “Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices,” in IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 2212 | OA
C. Scheideler, “Overlay networks for wireless ad hoc networks,” in IMA Workshop on Wireless Communications, 2005.
LibreCat | Files available
 

2005 | Conference Paper | LibreCat-ID: 21779
F. Goetz, T. Junklewitz, and G. Domik, “Real-Time Marching Cubes on the Vertex Shader,” in EG Short Presentations, 2005, pp. 5–8.
LibreCat | DOI
 

2005 | Conference (Editor) | LibreCat-ID: 7781
S. Sauer, Ed., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference, vol. 159. CEUR-WS.org, 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 7934
H. Störrle and J. Hendrik Hausmann, “Towards a Formal Semantics of UML 2.0 Activities,” in Software Engineering, 2005, vol. 64, pp. 117–128.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 7935
F. Belli and B. Güldali, “A holistic approach to test-driven model checking,” in Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), 2005, pp. 321–331.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 7936
G. Engels and M. Erwig, “ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications,” in Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), 2005, pp. 124–133.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed