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.
5849 Publications
2005 | Book Chapter | LibreCat-ID: 17989
An Explicit Solution to Post’s Problem over the Reals
K. Meer, M. Ziegler, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 2005.
LibreCat
| DOI
K. Meer, M. Ziegler, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 2005.
2005 | Conference Paper | LibreCat-ID: 18280
Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism
M. Ziegler, in: Proc. CiE 2005: New Computational Paradigms, Springer, 2005, pp. 562–571.
LibreCat
| DOI
M. Ziegler, in: Proc. CiE 2005: New Computational Paradigms, Springer, 2005, pp. 562–571.
2005 | Journal Article | LibreCat-ID: 18282
Computational Power of Infinite Quantum Parallelism
M. Ziegler, International Journal of Theoretical Physics 44 (2005) 2059–2071.
LibreCat
| DOI
M. Ziegler, International Journal of Theoretical Physics 44 (2005) 2059–2071.
2005 | Conference Paper | LibreCat-ID: 18366
Methods to lead the user to significant processes in a 3D material flow simulation
W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, C. Laroque, in: Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005, 2005, pp. 267–270.
LibreCat
W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, C. Laroque, in: Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005, 2005, pp. 267–270.
2005 | Conference Paper | LibreCat-ID: 1843
Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors
A. Aguiar, A. Wolisz, H. Lederer, H. Karl, in: Proceedings of the 11th European Wireless Conference 2005, 2005.
LibreCat
| Download (ext.)
A. Aguiar, A. Wolisz, H. Lederer, H. Karl, in: Proceedings of the 11th European Wireless Conference 2005, 2005.
2005 | Conference Paper | LibreCat-ID: 18449
Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario
C. Loeser, I. Drüke, B. Oesterdiekhoff, in: IEEE International Conference on Industrial Informatics (INDIN), 2005.
LibreCat
C. Loeser, I. Drüke, B. Oesterdiekhoff, in: IEEE International Conference on Industrial Informatics (INDIN), 2005.
2005 | Conference Paper | LibreCat-ID: 18450
Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices
B. Oesterdiekhoff, in: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2005.
LibreCat
B. Oesterdiekhoff, in: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2005.
2005 | Conference Paper | LibreCat-ID: 2212 | 
Overlay networks for wireless ad hoc networks
C. Scheideler, in: IMA Workshop on Wireless Communications, 2005.
LibreCat
| Files available
C. Scheideler, in: IMA Workshop on Wireless Communications, 2005.
2005 | Conference Paper | LibreCat-ID: 21779
Real-Time Marching Cubes on the Vertex Shader
F. Goetz, T. Junklewitz, G. Domik, in: J. Dingliana, F. Ganovelli (Eds.), EG Short Presentations, The Eurographics Association, 2005, pp. 5–8.
LibreCat
| DOI
F. Goetz, T. Junklewitz, G. Domik, in: J. Dingliana, F. Ganovelli (Eds.), EG Short Presentations, The Eurographics Association, 2005, pp. 5–8.
2005 | Conference (Editor) | LibreCat-ID: 7781
Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference
S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org, 2005.
LibreCat
S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org, 2005.
2005 | Conference Paper | LibreCat-ID: 7934
Towards a Formal Semantics of UML 2.0 Activities
H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 117–128.
LibreCat
H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 117–128.
2005 | Conference Paper | LibreCat-ID: 7935
A holistic approach to test-driven model checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.
LibreCat
F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.
2005 | Conference Paper | LibreCat-ID: 7936
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, New York, NY, USA, 2005, pp. 124–133.
LibreCat
G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, New York, NY, USA, 2005, pp. 124–133.
2005 | Conference Paper | LibreCat-ID: 7937
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes
A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16.
LibreCat
A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16.
2005 | Conference Paper | LibreCat-ID: 7938
Architectural Style - Based Modeling and Simulation of Complex Software Systems
P. Guo, G. Engels, R. Heckel, in: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, Washington, DC, USA, 2005, pp. 367–374.
LibreCat
| DOI
P. Guo, G. Engels, R. Heckel, in: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, Washington, DC, USA, 2005, pp. 367–374.
2005 | Conference Paper | LibreCat-ID: 7939
Executable Visual Contracts
M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 63–70.
LibreCat
| DOI
M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 63–70.
2005 | Conference Paper | LibreCat-ID: 7940
d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments
K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D. Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp. 115–126.
LibreCat
K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D. Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp. 115–126.
2005 | Conference Paper | LibreCat-ID: 7941
A UML Virtual Machine for Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
2005 | Conference Paper | LibreCat-ID: 7942
Transformation of UML StateMachines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer Society, Washington, DC, USA, 2005, pp. 117–124.
LibreCat
| DOI
T. Schattkowsky, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer Society, Washington, DC, USA, 2005, pp. 117–124.
2005 | Conference Paper | LibreCat-ID: 7943
Discovery and Routing in the HEN Heterogeneous Peer-to-Peer Network
T. Schattkowsky, in: Proceedings of the 4th International Conference on Networking (ICN 2005), Reunion Island (France), Springer, Berlin/Heidelberg, 2005, pp. 653–661.
LibreCat
| DOI
T. Schattkowsky, in: Proceedings of the 4th International Conference on Networking (ICN 2005), Reunion Island (France), Springer, Berlin/Heidelberg, 2005, pp. 653–661.