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.
5792 Publications
2005 | Conference Paper | LibreCat-ID: 20929
Meyer M, Niere J. Calculation and Visualization of Software Product Metrics. In: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany. Vol tr-ri-05-259. Technical Report. University of Paderborn; 2005:41-44.
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
Travkin D, Meyer M. Generation of Type Safe Association Implementations. In: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany. Vol tr-ri-05-259. Technical Report. University of Paderborn; 2005:63-66.
LibreCat
2005 | Book Chapter | LibreCat-ID: 17988
Köhler S, Schindelhauer C, Ziegler M. On Approximating Real-World Halting Problems. In: Fundamentals of Computation Theory. Berlin, Heidelberg; 2005. doi:10.1007/11537311_40
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 17989
Meer K, Ziegler M. An Explicit Solution to Post’s Problem over the Reals. In: Fundamentals of Computation Theory. Berlin, Heidelberg; 2005. doi:10.1007/11537311_41
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18280
Ziegler M. Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. In: Proc. CiE 2005: New Computational Paradigms. Vol 3526. Springer; 2005:562-571. doi:10.1007/11494645_68
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 18282
Ziegler M. Computational Power of Infinite Quantum Parallelism. International Journal of Theoretical Physics. 2005;44(11):2059-2071. doi:10.1007/s10773-005-8984-0
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18366
Dangelmaier W, Mueck B, Fischer M, Mahajan K, Laroque C. 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:267-270.
LibreCat
2005 | Conference Paper | LibreCat-ID: 1843
Aguiar A, Wolisz A, Lederer H, Karl H. 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
Loeser C, Drüke I, Oesterdiekhoff B. 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
Oesterdiekhoff B. 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 | 
Scheideler C. Overlay networks for wireless ad hoc networks. In: IMA Workshop on Wireless Communications. ; 2005.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 21779
Goetz F, Junklewitz T, Domik G. Real-Time Marching Cubes on the Vertex Shader. In: Dingliana J, Ganovelli F, eds. EG Short Presentations. The Eurographics Association; 2005:5-8. doi:10.2312/egs.20051010
LibreCat
| DOI
2005 | Conference (Editor) | LibreCat-ID: 7781
Sauer S, 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
Störrle H, Hendrik Hausmann J. Towards a Formal Semantics of UML 2.0 Activities. In: Software Engineering. Vol 64. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:117-128.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7935
Belli F, Güldali B. 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). LNCS. Berlin/Heidelberg: Springer; 2005:321-331.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7936
Engels G, Erwig M. 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). New York, NY, USA: ACM Press; 2005:124-133.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7937
Förster A, Engels G, Schattkowsky T. 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. LNCS. Berlin/Heidelberg: Springer; 2005:2-16.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7938
Guo P, Engels G, Heckel R. Architectural Style - Based Modeling and Simulation of Complex Software Systems. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan). Washington, DC, USA: IEEE Computer Society; 2005:367-374. doi:http://dx.doi.org/10.1109/APSEC.2005.41
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 7939
Lohmann M, Sauer S, Engels G. Executable Visual Contracts. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005). Washington, DC, USA: IEEE Computer Society; 2005:63-70. doi:http://dx.doi.org/10.1109/VLHCC.2005.35
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 7940
Mahajan K, Laroque C, Dangelmaier W, Soltenborn C, Kortenjan M, Kuntze D. d3FACT insight: A motion planning algorithm for material flow simulations in virtual environments. In: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany). Vol 1. Erlangen: SCS European Publishing House; 2005:115-126.
LibreCat