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.

9750 Publications


2013 | Conference Paper | LibreCat-ID: 496
@inproceedings{Benter_Neumann_Frey_2013, title={Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks}, DOI={10.1109/INFCOM.2013.6567022}, booktitle={Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM)}, author={Benter, Markus and Neumann, Florentin and Frey, Hannes}, year={2013}, pages={2193–2201} }
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 498
@inproceedings{Wonisch_Schremmer_Wehrheim_2013, series={LNCS}, title={Programs from Proofs – A PCC Alternative}, DOI={10.1007/978-3-642-39799-8_65}, booktitle={Proceedings of the 25th International Conference on Computer Aided Verification (CAV)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2013}, pages={912–927}, collection={LNCS} }
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 499
@inproceedings{Kling_Pietrzyk_2013, title={Profitable Scheduling on Multiple Speed-Scalable Processors}, DOI={10.1145/2486159.2486183}, booktitle={Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Kling, Peter and Pietrzyk, Peter}, year={2013}, pages={251–260} }
LibreCat | Files available | DOI
 

2013 | Journal Article | LibreCat-ID: 7271
@article{de Lemos_Giese_A. Müller_Shaw_Andersson_Litoiu_Schmerl_Tamura_M. Villegas_Vogel_et al._2013, title={Software Engineering for Self-Adaptive Systems: A Second Research Roadmap}, DOI={10.1007/978-3-642-35813-5_1}, journal={Software Engineering for Self-Adaptive Systems II}, author={de Lemos, Rogrio and Giese, Holger and A. Müller, Hausi and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and M. Villegas, Norha and Vogel, Thomas and et al.}, year={2013}, pages={1–32} }
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 7272
@article{Bouillon_Güldali_Herrmann_Keuler_Moldt_Riebisch_2013, title={Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum}, volume={33}, number={1}, journal={Softwaretechnik-Trends}, author={Bouillon, Elke and Güldali, Baris and Herrmann, Andrea and Keuler, Thorsten and Moldt, Daniel and Riebisch, Matthias}, year={2013}, pages={29–30} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7273
@article{Grieger_Güldali_Sauer_Mlynarski_2013, title={Testen bei Migrationsprojekten}, journal={OBJEKTspektrum (Online Themenspecials)}, author={Grieger, Marvin and Güldali, Baris and Sauer, Stefan and Mlynarski, Michael}, year={2013}, pages={1–4} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7274
@article{Fazal-Baqaie_Güldali_Luckey_Sauer_Spijkerman_2013, title={Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden}, number={RE/2013}, journal={OBJEKTspektrum (Online Themenspecials)}, author={Fazal-Baqaie, Masud and Güldali, Baris and Luckey, Markus and Sauer, Stefan and Spijkerman, Michael}, year={2013}, pages={1–5} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7275
@article{Engels_Luckey_2013, title={Editorial}, volume={28}, number={1}, journal={Computer Science - Research and Development}, author={Engels, Gregor and Luckey, Markus}, year={2013}, pages={1–2} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7276
@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_Sauer_2013, title={Informationstechnik spart Ressourcen}, volume={16/2013}, journal={Forschungsforum Paderborn}, author={Engels, Gregor and Gerth, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Müller, Wolfgang and Sauer, Stefan}, year={2013}, pages={54–61} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 7277
@article{Gerth_Küster_Luckey_Engels_2013, title={Detection and Resolution of Conflicting Change Operations in Version Management of Process Models}, volume={12}, number={3}, journal={Software and Systems Modeling}, author={Gerth, Christian and Küster, Jochen and Luckey, Markus and Engels, Gregor}, year={2013}, pages={517–535} }
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed