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.
9294 Publications
2005 | Dissertation | LibreCat-ID: 18967
Räcke, H. (2005). Data Management and Routing in General Networks (Vol. 154). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 23883
Frahling, G., Indyk, P., & Sohler, C. (2005). Sampling in dynamic data streams and applications. In Proceedings of the twenty-first annual symposium on Computational geometry - SCG ’05. https://doi.org/10.1145/1064092.1064116
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 20926
Meyer, M., & Wendehals, L. (2005). Selective Tracing for Dynamic Analyses. Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA, 2005–12, 33–37.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
Meyer, M., & Niere, J. (2005). Calculation and Visualization of Software Product Metrics. Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, tr-ri-05-259, 41–44.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
Travkin, D., & Meyer, M. (2005). Generation of Type Safe Association Implementations. Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, tr-ri-05-259, 63–66.
LibreCat
2005 | Book Chapter | LibreCat-ID: 17988
Köhler, S., Schindelhauer, C., & Ziegler, M. (2005). On Approximating Real-World Halting Problems. In Fundamentals of Computation Theory. Berlin, Heidelberg. https://doi.org/10.1007/11537311_40
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 17989
Meer, K., & Ziegler, M. (2005). An Explicit Solution to Post’s Problem over the Reals. In Fundamentals of Computation Theory. Berlin, Heidelberg. https://doi.org/10.1007/11537311_41
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18280
Ziegler, M. (2005). Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. In Proc. CiE 2005: New Computational Paradigms (Vol. 3526, pp. 562–571). Springer. https://doi.org/10.1007/11494645_68
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 18282
Ziegler, M. (2005). Computational Power of Infinite Quantum Parallelism. International Journal of Theoretical Physics, 44(11), 2059–2071. https://doi.org/10.1007/s10773-005-8984-0
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18366
Dangelmaier, W., Mueck, B., Fischer, M., Mahajan, K., & Laroque, C. (2005). 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 (pp. 267–270).
LibreCat
2005 | Conference Paper | LibreCat-ID: 1843
Aguiar, A., Wolisz, A., Lederer, H., & Karl, H. (2005). Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors. In Proceedings of the 11th European Wireless Conference 2005.
LibreCat
| Download (ext.)
2005 | Conference Paper | LibreCat-ID: 18449
Loeser, C., Drüke, I., & Oesterdiekhoff, B. (2005). Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario. In IEEE International Conference on Industrial Informatics (INDIN).
LibreCat
2005 | Conference Paper | LibreCat-ID: 18450
Oesterdiekhoff, B. (2005). Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices. In IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
LibreCat
2005 | Conference Paper | LibreCat-ID: 2212 | 
Scheideler, C. (2005). Overlay networks for wireless ad hoc networks. In IMA Workshop on Wireless Communications.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 21779
Goetz, F., Junklewitz, T., & Domik, G. (2005). Real-Time Marching Cubes on the Vertex Shader. In J. Dingliana & F. Ganovelli (Eds.), EG Short Presentations (pp. 5–8). The Eurographics Association. https://doi.org/10.2312/egs.20051010
LibreCat
| DOI
2005 | Conference (Editor) | LibreCat-ID: 7781
Sauer, S. (Ed.). (2005). Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference (Vol. 159). CEUR-WS.org.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7934
Störrle, H., & Hendrik Hausmann, J. (2005). Towards a Formal Semantics of UML 2.0 Activities. In Software Engineering (Vol. 64, pp. 117–128). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2005 | Conference Paper | LibreCat-ID: 7935
Belli, F., & Güldali, B. (2005). 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) (pp. 321–331). Berlin/Heidelberg: Springer.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7936
Engels, G., & Erwig, M. (2005). 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) (pp. 124–133). New York, NY, USA: ACM Press.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7937
Förster, A., Engels, G., & Schattkowsky, T. (2005). Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. In Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica) (Vol. 3713, pp. 2–16). Berlin/Heidelberg: Springer.
LibreCat