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.

5774 Publications


2015 | Journal Article | LibreCat-ID: 3162
@article{Ziegert_Wehrheim_2015, title={Temporal plans for software architecture reconfiguration}, DOI={10.1007/s00450-014-0259-7}, number={3–4}, journal={Computer Science - R & D}, author={Ziegert, Steffen and Wehrheim, Heike}, year={2015}, pages={303--320} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 3163
@inproceedings{Meyer_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog}, DOI={10.1007/978-3-319-23506-6_1}, booktitle={Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, author={Meyer, Roland and Wehrheim, Heike}, editor={Meyer, Roland and Platzer, Andr{\’{e}} and Wehrheim, HeikeEditors}, year={2015}, pages={3--4}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3164
@inproceedings{Derrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Verifying Opacity of a Transactional Mutex Lock}, DOI={10.1007/978-3-319-19249-9_11}, booktitle={{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Bj{\o}rner, Nikolaj and S. de Boer, FrankEditors}, year={2015}, pages={161--177}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 3165
@inproceedings{Wehrheim_Travkin_2015, series={Lecture Notes in Computer Science}, title={{TSO} to {SC} via Symbolic Execution}, DOI={10.1007/978-3-319-26287-1_7}, booktitle={Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings}, author={Wehrheim, Heike and Travkin, Oleg}, editor={Piterman, NirEditor}, year={2015}, pages={104--119}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2015 | Conference (Editor) | LibreCat-ID: 3166
@book{Meyer_Platzer_Wehrheim_2015, series={Lecture Notes in Computer Science}, title={Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, DOI={10.1007/978-3-319-23506-6}, year={2015}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2015 | Dissertation | LibreCat-ID: 317
@book{Jähn_2015, title={Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen}, publisher={Universität Paderborn}, author={Jähn, Claudius}, year={2015} }
LibreCat | Files available
 

2015 | Dissertation | LibreCat-ID: 318
@book{Huma_2015, title={Automatic Service Discovery and Composition for heterogeneous service partners}, publisher={Universität Paderborn}, author={Huma, Zille}, year={2015} }
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 319
@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, DOI={10.1109/SCC.2015.18}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57--64} }
LibreCat | Files available | DOI
 

2015 | Dissertation | LibreCat-ID: 270
@book{Abshoff_2015, title={On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks}, publisher={Universität Paderborn}, author={Abshoff, Sebastian}, year={2015} }
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 271
@inproceedings{Drees_Feldotto_Riechers_Skopalik_2015, series={Lecture Notes in Computer Science}, title={On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games}, DOI={10.1007/978-3-662-48433-3_14}, booktitle={Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT)}, author={Drees, Maximilian and Feldotto, Matthias and Riechers, Sören and Skopalik, Alexander}, year={2015}, pages={178–189}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI | arXiv
 

2015 | Conference Paper | LibreCat-ID: 27163
@inproceedings{Keil_Selke_2015, title={Virtual knowledge {\ “a} ume - From the presentation of content to virtual learning {\” a} tten}, volume={330}, publisher={publishing series of the Heinz Nixdorf Institute, Paderborn}, author={Keil, Reinhard and Selke, Harald}, editor={Keil, Reinhard and Selke, Harald}, year={2015}, pages={39–53} }
LibreCat
 

2015 | Dissertation | LibreCat-ID: 27164
@book{Klompmaker_2015, place={Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science}, title={Development of a structured process of interaction design for {\ “u} r nat {\” u} local user interfaces}, publisher={Universitaetsbibliothek Paderborn}, author={Klompmaker, Florian}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 27165
@inproceedings{Schild_ Petrausch_2015, place={Berlin}, title={Empirical validation of design patterns }, publisher={De Gruyter Oldenbourg}, author={Schild, Christian and Petrausch, Vanessa}, year={2015}, pages={173–182} }
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 273
@book{Kohn_2015, title={Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms}, publisher={Universität Paderborn}, author={Kohn, Kathlén}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 274
@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2015, series={Lecture Notes in Computer Science}, title={Non-preemptive Scheduling on Machines with Setup Times}, DOI={10.1007/978-3-319-21840-3_45}, booktitle={Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, editor={Dehne, Frank and Sack, Jörg Rüdiger and Stege, UlrikeEditors}, year={2015}, pages={542--553}, collection={Lecture Notes in Computer Science} }
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 275
@inproceedings{Cord-Landwehr_Lenzner_2015, series={LNCS}, title={Network Creation Games: Think Global - Act Local}, DOI={10.1007/978-3-662-48054-0_21}, booktitle={Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS)}, author={Cord-Landwehr, Andreas and Lenzner, Pascal}, year={2015}, pages={248--260}, collection={LNCS} }
LibreCat | Files available | DOI
 

2015 | Bachelorsthesis | LibreCat-ID: 277
@book{Kothe_2015, title={Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk}, publisher={Universität Paderborn}, author={Kothe, Nils}, year={2015} }
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 278
@book{Feldmann_2015, title={Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs}, publisher={Universität Paderborn}, author={Feldmann, Michael}, year={2015} }
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 279
@inproceedings{Platenius_Arifulina_Schäfer_2015, title={MatchBox: A Framework for Dynamic Configuration of Service Matching Processes}, DOI={10.1145/2737166.2737174}, booktitle={Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15)}, author={Platenius, Marie Christin and Arifulina, Svetlana and Schäfer, Wilhelm}, year={2015}, pages={75–84} }
LibreCat | Files available | DOI
 

2015 | Report | LibreCat-ID: 20977
@book{Schäfer_Dziwok_Pohlmann_Bobolz_Czech_Dann_Geismann_Hüwe_Krieger_Piskachev_et al._2015, title={Seminar Theses of the Project Group Cybertron}, author={Schäfer, Wilhelm and Dziwok, Stefan and Pohlmann, Uwe and Bobolz, Jan and Czech, Mike and Dann, Andreas Peter and Geismann, Johannes and Hüwe, Marcus and Krieger, Arthur and Piskachev, Goran and et al.}, year={2015} }
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed