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.
9939 Publications
2005 | Conference Paper | LibreCat-ID: 23883
@inproceedings{Frahling_Indyk_Sohler_2005, title={Sampling in dynamic data streams and applications}, DOI={10.1145/1064092.1064116}, booktitle={Proceedings of the twenty-first annual symposium on Computational geometry - SCG ’05}, author={Frahling, Gereon and Indyk, Piotr and Sohler, Christian}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 20926
@inproceedings{Meyer_Wendehals_2005, series={Technical Report}, title={Selective Tracing for Dynamic Analyses}, volume={2005–12}, booktitle={Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA}, author={Meyer, Matthias and Wendehals, Lothar}, year={2005}, pages={33–37}, collection={Technical Report} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 20929
@inproceedings{Meyer_Niere_2005, series={Technical Report}, title={Calculation and Visualization of Software Product Metrics}, volume={tr-ri-05-259}, booktitle={Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University of Paderborn}, author={Meyer, Matthias and Niere, Jörg}, year={2005}, pages={41–44}, collection={Technical Report} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 20930
@inproceedings{Travkin_Meyer_2005, series={Technical Report}, title={Generation of Type Safe Association Implementations}, volume={tr-ri-05-259}, booktitle={Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University of Paderborn}, author={Travkin, Dietrich and Meyer, Matthias}, year={2005}, pages={63–66}, collection={Technical Report} }
LibreCat
2005 | Book Chapter | LibreCat-ID: 17988
@inbook{Köhler_Schindelhauer_Ziegler_2005, place={Berlin, Heidelberg}, title={On Approximating Real-World Halting Problems}, DOI={10.1007/11537311_40}, booktitle={Fundamentals of Computation Theory}, author={Köhler, Sven and Schindelhauer, Christian and Ziegler, Martin}, year={2005} }
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 17989
@inbook{Meer_Ziegler_2005, place={Berlin, Heidelberg}, title={An Explicit Solution to Post’s Problem over the Reals}, DOI={10.1007/11537311_41}, booktitle={Fundamentals of Computation Theory}, author={Meer, Klaus and Ziegler, Martin}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18280
@inproceedings{Ziegler_2005, title={Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism}, volume={3526}, DOI={10.1007/11494645_68}, booktitle={Proc. CiE 2005: New Computational Paradigms}, publisher={Springer}, author={Ziegler, Martin}, year={2005}, pages={562–571} }
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 18282
@article{Ziegler_2005, title={Computational Power of Infinite Quantum Parallelism}, volume={44}, DOI={10.1007/s10773-005-8984-0}, number={11}, journal={International Journal of Theoretical Physics}, author={Ziegler, Martin}, year={2005}, pages={2059–2071} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 18366
@inproceedings{Dangelmaier_Mueck_Fischer_Mahajan_ Laroque_2005, title={Methods to lead the user to significant processes in a 3D material flow simulation}, booktitle={Simulation in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005}, author={Dangelmaier, Wilhelm and Mueck, Bengt and Fischer, Matthias and Mahajan, Kiran and Laroque, Christoph}, year={2005}, pages={267–270} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 1843
@inproceedings{Aguiar_Wolisz_Lederer_Karl_2005, title={Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors}, booktitle={Proceedings of the 11th European Wireless Conference 2005}, author={Aguiar, A. and Wolisz, A. and Lederer, H. and Karl, Holger}, year={2005} }
LibreCat
| Download (ext.)
2005 | Conference Paper | LibreCat-ID: 18449
@inproceedings{Loeser_Drüke_Oesterdiekhoff_2005, title={ Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario}, booktitle={IEEE International Conference on Industrial Informatics (INDIN)}, author={Loeser, Christoph and Drüke, Isabell and Oesterdiekhoff, Brigitte}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 18450
@inproceedings{Oesterdiekhoff_2005, title={Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices}, booktitle={IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, author={Oesterdiekhoff, Brigitte}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 2212 | 
@inproceedings{Scheideler_2005, title={Overlay networks for wireless ad hoc networks}, booktitle={IMA Workshop on Wireless Communications}, author={Scheideler, Christian}, year={2005} }
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 21779
@inproceedings{Goetz_Junklewitz_Domik_2005, title={Real-Time Marching Cubes on the Vertex Shader}, DOI={10.2312/egs.20051010}, booktitle={EG Short Presentations}, publisher={The Eurographics Association}, author={Goetz, Frank and Junklewitz, Theodor and Domik, Gitta}, editor={Dingliana, John and Ganovelli, FabioEditors}, year={2005}, pages={5–8} }
LibreCat
| DOI
2005 | Conference (Editor) | LibreCat-ID: 7781
@book{Sauer_2005, series={CEUR Workshop Proceedings}, title={Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference}, volume={159}, publisher={CEUR-WS.org}, year={2005}, collection={CEUR Workshop Proceedings} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 7934
@inproceedings{Störrle_Hendrik Hausmann_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Towards a Formal Semantics of UML 2.0 Activities}, volume={64}, booktitle={Software Engineering}, publisher={Gesellschaft für Informatik (GI)}, author={Störrle, Harald and Hendrik Hausmann, Jan}, year={2005}, pages={117–128}, collection={Lecture Notes in Informatics} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 7935
@inproceedings{Belli_Güldali_2005, place={Berlin/Heidelberg}, series={LNCS}, title={A holistic approach to test-driven model checking}, booktitle={Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)}, publisher={Springer}, author={Belli, Fevzi and Güldali, Baris}, year={2005}, pages={321–331}, collection={LNCS} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 7936
@inproceedings{Engels_Erwig_2005, place={New York, NY, USA}, title={ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications}, booktitle={Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)}, publisher={ACM Press}, author={Engels, Gregor and Erwig, Martin}, year={2005}, pages={124–133} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 7937
@inproceedings{Förster_Engels_Schattkowsky_2005, place={Berlin/Heidelberg}, series={LNCS}, title={Activity Diagram Patterns for Modeling Quality Constraints in Business Processes}, volume={3713}, booktitle={Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)}, publisher={Springer}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim}, year={2005}, pages={2–16}, collection={LNCS} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 7938
@inproceedings{Guo_Engels_Heckel_2005, place={Washington, DC, USA}, title={Architectural Style - Based Modeling and Simulation of Complex Software Systems}, DOI={http://dx.doi.org/10.1109/APSEC.2005.41}, booktitle={Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan)}, publisher={IEEE Computer Society}, author={Guo, Ping and Engels, Gregor and Heckel, Reiko}, year={2005}, pages={367–374} }
LibreCat
| DOI