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.
5950 Publications
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39402
@article{Flake_Müller_2002, place={Halle(Saale), Germany}, series={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”}, title={Temporale Erweiterungen der OCL - Überblick und Aussichten}, author={Flake, Stephan and Müller, Wolfgang}, year={2002}, collection={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 2552
@inproceedings{Karl_2001, place={München}, title={Relaying in Wireless Access Networks – A Capacity and Energy-Efficiency Perspective }, booktitle={Proc. Wireless World Research Forum Kickoff Meeting (WWRF)}, author={Karl, Holger}, year={2001} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2554
@inproceedings{Karl_2001, place={Rom/Italy}, title={Relaying ñ bad for energy, good for capacity?}, publisher={Eork-in-progress session of mobicom 2001}, author={Karl, Holger}, year={2001} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2556
@inproceedings{Karl_Hentschel_2001, title={IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System}, booktitle={Zukunftsperspektiven der Mobilkommunikation, Symposium Bundesministerium für Bildung und Forschung}, author={Karl, Holger and Hentschel, T.}, year={2001} }
LibreCat
| Files available
2001 | Dissertation | LibreCat-ID: 19622
@book{Schröder_2001, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing}, volume={89}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Schröder, Klaus}, year={2001}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 19797
@inproceedings{Salzwedel_Hartmann_Wolff_Preis_2001, title={Efficient Parallel Simulations of Pulse-Coded Neural Networks (PCNN)}, volume={1}, booktitle={Proceedings of the PDPTA 2001}, author={Salzwedel, Kay and Hartmann, Georg and Wolff, Carsten and Preis, Robert}, year={2001}, pages={463–470} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 2428
@inproceedings{Plessl_Platzner_2001, title={Instance-Specific Accelerators for Minimum Covering}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Plessl, Christian and Platzner, Marco}, year={2001}, pages={85–91} }
LibreCat
2001 | Journal Article | LibreCat-ID: 2429
@article{Plessl_Wilde_2001, title={Server-Side-Techniken im Web – ein Überblick}, journal={iX}, publisher={Heise Verlag}, author={Plessl, Christian and Wilde, Erik}, year={2001}, pages={88–93} }
LibreCat
2001 | Mastersthesis | LibreCat-ID: 2430
@book{Plessl_2001, title={Reconfigurable Accelerators for Minimum Covering}, publisher={Computer Engineering and Networks Lab, ETH Zurich, Switzerland}, author={Plessl, Christian}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 2432
@inproceedings{Enzler_Platzner_Plessl_Thiele_Tröster_2001, series={Proc. SPIE}, title={Reconfigurable Processors for Handhelds and Wearables: Application Analysis}, volume={4525}, DOI={10.1117/12.434376}, booktitle={Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III}, author={Enzler, Rolf and Platzner, Marco and Plessl, Christian and Thiele, Lothar and Tröster, Gerhard}, year={2001}, pages={135–146}, collection={Proc. SPIE} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3244
@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies}, DOI={10.1007/s002360100070}, number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike}, year={2001}, pages={155--234} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3245
@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with Assertions}, DOI={10.1016/S1571-0661(04)00247-6}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 3246
@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={10.1007/3-540-45314-8_8}, booktitle={Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\ss}mann, HeinrichEditor}, year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 2139
@article{Meyer auf der Heide_Scheideler_2001, title={Deterministic Routing With Bounded Buffers: Turning Offline Into Online Protocols}, volume={21}, DOI={10.1007/s004930170007}, number={1}, journal={Combinatorica}, author={Meyer auf der Heide, Friedhelm and Scheideler, Christian}, year={2001}, pages={95--138} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 2140 | 
@inproceedings{Awerbuch_Berenbrink_Brinkmann_Scheideler_2001, title={Simple Routing Strategies for Adversarial Systems}, booktitle={FOCS}, publisher={IEEE Computer Society}, author={Awerbuch, Baruch and Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}, year={2001}, pages={158--167} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2141 |
@inproceedings{Berenbrink_Brinkmann_Scheideler_2001, title={SIMLAB-A Simulation Environment for Storage Area Networks}, booktitle={PDP}, publisher={IEEE Computer Society}, author={Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}, year={2001}, pages={227--234} }
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2142 |
@inproceedings{Kolman_Scheideler_2001, title={Simple on-line algorithms for the maximum disjoint paths problem}, booktitle={SPAA}, author={Kolman, Petr and Scheideler, Christian}, year={2001}, pages={38--47} }
LibreCat
| Files available
2001 | Journal Article | LibreCat-ID: 18749
@article{Czumaj_Sohler_2001, title={Testing Hypergraph Coloring}, DOI={10.1007/3-540-48224-5_41}, journal={Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP)}, author={Czumaj, Artur and Sohler, Christian}, year={2001}, pages={493–505} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18750
@inproceedings{Sohler_Czumaj_2001, title={Soft Kinetic Data Structures}, booktitle={Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms}, author={Sohler, Christian and Czumaj, Artur}, year={2001}, pages={865–872} }
LibreCat