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.
5692 Publications
2012 | Bachelorsthesis | LibreCat-ID: 607
@book{Haarhoff_2012, title={Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2}, publisher={Universität Paderborn}, author={Haarhoff, Thomas}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 608
@inproceedings{Timm_Wehrheim_Czech_2012, series={LNCS}, title={Heuristic-Guided Abstraction Refinement for Concurrent Systems}, DOI={10.1007/978-3-642-34281-3_25}, booktitle={Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM)}, author={Timm, Nils and Wehrheim, Heike and Czech, Mike}, year={2012}, pages={348–363}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 619
@inproceedings{Brandes_Meyer auf der Heide_2012, series={ICPS}, title={Distributed Computing in Fault-Prone Dynamic Networks}, DOI={10.1145/2414815.2414818}, booktitle={Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS)}, author={Brandes, Philipp and Meyer auf der Heide, Friedhelm}, year={2012}, pages={9–14}, collection={ICPS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 622
@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={10.14279/tuj.eceasst.47.718}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications of the EASST} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 623
@inproceedings{Richa_Scheideler_Schmid_Zhang_2012, title={Competitive and fair throughput for co-existing networks under adversarial interference}, DOI={10.1145/2332432.2332488}, booktitle={Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC)}, author={Richa, Andrea W. and Scheideler, Christian and Schmid, Stefan and Zhang, Jin }, year={2012}, pages={291–300} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 625
@inproceedings{Schmid_Avin_Scheideler_Häupler_Lotker_2012, series={LNCS}, title={Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures}, DOI={10.1007/978-3-642-33651-5_47}, booktitle={Proceedings of the 26th International Symposium on Distributed Computing (DISC)}, author={Schmid, Stefan and Avin, Chen and Scheideler, Christian and Häupler, Bernhard and Lotker, Zvi}, year={2012}, pages={439–440}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 6250
@article{Paelke_Nebe_Geiger_Klompmaker_Fischer_2012, title={Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications}, volume={XXXIX-B8}, DOI={10.5194/isprsarchives-xxxix-b8-55-2012}, journal={ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences}, publisher={Copernicus GmbH}, author={Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2012}, pages={55–60} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 626
@inproceedings{Kniesburges_Scheideler_2012, series={LNCS}, title={Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems}, DOI={10.1007/978-3-642-33651-5_45}, booktitle={Proceedings of the 26th International Symposium on Distributed Computing (DISC)}, author={Kniesburges, Sebastian and Scheideler, Christian}, year={2012}, pages={435–436}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
@inproceedings{Wonisch_2012, series={LNCS}, title={Block Abstraction Memoization for CPAchecker}, DOI={10.1007/978-3-642-28756-5_41}, booktitle={Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, author={Wonisch, Daniel}, year={2012}, pages={531–533}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
@inproceedings{Cord-Landwehr_Huellmann (married name: Eikel)_Kling_Setzer_2012, series={LNCS}, title={Basic Network Creation Games with Communication Interests}, DOI={10.1007/978-3-642-33996-7_7}, booktitle={Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT)}, author={Cord-Landwehr, Andreas and Huellmann (married name: Eikel), Martina and Kling, Peter and Setzer, Alexander}, year={2012}, pages={72--83}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6285
@inproceedings{Paelke_Nebe_Geiger_Klompmaker_Fischer_2012, title={Designing Multi-Modal Map-Based Interfaces for Disaster Management}, booktitle={Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI)}, publisher={IARIA}, author={Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2012}, pages={95–100} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6286
@inproceedings{Klompmaker_Fischer_Jung_2012, title={Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops}, booktitle={Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI)}, publisher={IARIA}, author={Klompmaker, Florian and Fischer, Holger Gerhard and Jung, Helge}, year={2012}, pages={141–144} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6288
@inproceedings{Fischer_2012, title={Integrating usability engineering in the software development lifecycle based on international standards}, DOI={10.1145/2305484.2305541}, booktitle={Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS ’12}, publisher={ACM Press}, author={Fischer, Holger Gerhard}, year={2012} }
LibreCat
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 629
@book{Schleiter_2012, title={Attribute-basierte Verschlüsselung}, publisher={Universität Paderborn}, author={Schleiter, Patrick}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6290
@inproceedings{Fischer_Klompmaker_2012, title={Enriching Disaster Control Management based on Human-Computer Design}, booktitle={Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM)}, publisher={ISCRAM Digital Library}, author={Fischer, Holger Gerhard and Klompmaker, Florian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6291
@inproceedings{Fischer_Geis_Kluge_Bogner_Polkehn_2012, title={Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten}, booktitle={Jahresband Usability Professionals}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Kluge, Oliver and Bogner, Christian and Polkehn, Knut}, year={2012}, pages={160–165} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 630
@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={10.1109/CSMR.2012.33}, booktitle={Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)}, author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen}, year={2012}, pages={255–264} }
LibreCat
| Files available
| DOI
2012 | Report | LibreCat-ID: 6312
@book{Behrenbruch_Bogner_Fischer_Geis_Geitner_Heimgärtner_Hofmann_Hunkirchen_Kluge_Litzenberg_et al._2012, title={German UPA Qualitätsstandard für Usability Engineering}, author={Behrenbruch, Kay and Bogner, Christian and Fischer, Holger Gerhard and Geis, Thomas and Geitner, Claudia and Heimgärtner, Rüdiger and Hofmann, Britta and Hunkirchen, Peter and Kluge, Oliver and Litzenberg, Britta and et al.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 632
@inproceedings{Kolman_Scheideler_2012, title={Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case}, DOI={10.1137/1.9781611973099.64}, booktitle={Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA)}, author={Kolman, Petr and Scheideler, Christian}, year={2012}, pages={800–810} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 636
@inproceedings{Meyer auf der Heide_Pietrzyk_Kling_2012, series={LNCS}, title={An Algorithm for Facility Leasing}, DOI={10.1007/978-3-642-31104-8_6}, booktitle={Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO)}, author={Meyer auf der Heide, Friedhelm and Pietrzyk, Peter and Kling, Peter}, year={2012}, pages={61–72}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 638
@book{Eidens_2012, title={Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken}, publisher={Universität Paderborn}, author={Eidens, Fabian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 639
@inproceedings{Huma_Gerth_Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description for Automatic Service Discovery}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 640
@inproceedings{Kniesburges_Koutsopoulos_Scheideler_2012, title={A Self-Stabilization Process for Small-World Networks}, DOI={10.1109/IPDPS.2012.115}, booktitle={Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS)}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2012}, pages={1261--1271} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 7339
@article{Dumslaff_Engels_Kremer_2012, title={IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung}, number={Nr. 5}, journal={OBJEKTspektrum}, author={Dumslaff, Uwe and Engels, Gregor and Kremer, Marion}, year={2012}, pages={52–57} }
LibreCat
2012 | Journal Article | LibreCat-ID: 7340
@article{Luckey_Erwig_Engels_2012, title={Systematic evolution of model-based spreadsheet applications}, volume={23}, DOI={10.1016/j.jvlc.2011.11.009}, number={5}, journal={Journal of Visual Languages & Computing}, publisher={Elsevier BV}, author={Luckey, Markus and Erwig, Martin and Engels, Gregor}, year={2012}, pages={267–286} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7342
@article{Chernilovskaya_Gehrke_van Rooijen_2012, title={Generalized Kripke semantics for the Lambek-Grishin calculus}, volume={20}, DOI={10.1093/jigpal/jzr051}, number={6}, journal={Logic Journal of IGPL}, publisher={Oxford University Press (OUP)}, author={Chernilovskaya, Anna and Gehrke, Mai and van Rooijen, Lorijn}, year={2012}, pages={1110–1132} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7344
@article{Grieger_Güldali_Sauer_2012, title={Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung}, volume={32}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR)}, author={Grieger, Marvin and Güldali, Baris and Sauer, Stefan}, year={2012}, pages={37–38} }
LibreCat
2012 | Journal Article | LibreCat-ID: 7345
@article{Engels_Whittle_2012, title={Ten years of software and systems modeling}, volume={11}, DOI={10.1007/s10270-012-0287-3}, number={4}, journal={Software & Systems Modeling}, publisher={Springer Nature}, author={Engels, Gregor and Whittle, Jon }, year={2012}, pages={463–465} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7351
@article{Christ_Nagel_Bachman-Gmür_Westenthaler_2012, title={Semantisches Content Management}, volume={8}, journal={JavaMagazin}, author={Christ, Fabian and Nagel, Benjamin and Bachman-Gmür, Reto and Westenthaler, Rupert}, year={2012}, pages={96–100} }
LibreCat
2012 | Journal Article | LibreCat-ID: 7352
@article{Geisen_Güldali_2012, title={Agiles Testen in Scrum – Testtypen und Abläufe}, number={Agility/2012}, journal={OBJEKTspektrum (Online Themenspecials)}, author={Geisen, Silke and Güldali, Baris}, year={2012}, pages={1–4} }
LibreCat
2012 | Book | LibreCat-ID: 7507
@book{Kremer_Engels_Hofmann_Hohwiller_E. Nandico_Nötzold_Prott_Schlegel_Seidl_Wolf_2012, title={Quasar 3.0 - A Situational Approach to Software Engineering}, publisher={Capgemini CSD Research, Offenbach 2012}, author={Kremer, Marion and Engels, Gregor and Hofmann, Alexander and Hohwiller, Jörg and E. Nandico, Oliver and Nötzold, Thomas and Prott, Karl and Schlegel, Diethelm and Seidl, Andreas and Wolf, Thomas}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 7557
@inbook{Mlynarski_Güldali_Weißleder_Engels_2012, series={Advances in Computers}, title={Model-Based Testing: Achievements and Future Challenges}, volume={86}, DOI={http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6}, booktitle={Advances in Computers}, publisher={Elsevier}, author={Mlynarski, Michael and Güldali, Baris and Weißleder, Stephan and Engels, Gregor}, editor={ Hurson, Ali and Memon, AtifEditors}, year={2012}, pages={1–39}, collection={Advances in Computers} }
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 7572
@book{Christ_2012, title={Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen}, publisher={Universität Paderborn}, author={Christ, Fabian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8473
@inproceedings{Gerth_Luckey_2012, series={Softwaretechnik-Trends}, title={Towards Rich Change Management for Business Process Models}, volume={32}, number={4}, booktitle={Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)}, publisher={FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}, author={Gerth, Christian and Luckey, Markus }, year={2012}, pages={32–34}, collection={Softwaretechnik-Trends} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8475
@inproceedings{Huma _Gerth _Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners}, volume={855}, DOI={http://ceur-ws.org/Vol-855/paper11.pdf}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, publisher={CEUR-WS.org}, author={Huma , Zille and Gerth , Christian and Engels, Gregor and Juwig, Oliver }, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8476
@inproceedings{Luckey _Mutz_2012, title={Modeling with Adapt Cases}, booktitle={Repository for Model-Driven Development (ReMoDD)}, author={Luckey , Markus and Mutz, Felix }, editor={University of PaderbornEditor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8477
@inproceedings{Geisen _Luckey _Engels_2012, title={Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden}, booktitle={Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle}, publisher={Shaker Verlag}, author={Geisen , Silke and Luckey , Markus and Engels, Gregor}, year={2012}, pages={111–120} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8478
@inproceedings{Arifulina_2012, series={CEUR Workshop Proceedings}, title={Towards a Framework for the Integration of Modeling Languages}, volume={935}, booktitle={Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, publisher={CEUR-WS.org}, author={Arifulina, Svetlana }, year={2012}, pages={23–26}, collection={CEUR Workshop Proceedings} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8479
@inproceedings{Güldali _Sauer_Löhr_2012, title={Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme}, volume={32}, number={2}, booktitle={Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)}, publisher={Softwaretechnik-Trends}, author={Güldali , Baris and Sauer, Stefan and Löhr, Perdita }, year={2012}, pages={5–6} }
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 8480
@inproceedings{Mussbacher _Alam _Alhaj _Ali _Amálio _Barn _Bræk _Clark _Combemale _Cysneiros _et al._2012, place={New York, NY, USA}, series={CMA’12}, title={Assessing composition in modeling approaches}, DOI={https://dl.acm.org/citation.cfm?id=2459032}, booktitle={Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)}, publisher={ACM}, author={Mussbacher , Gunter and Alam , Omar and Alhaj , Mohammed and Ali , Shaukat and Amálio , Nuno and Barn , Balbir and Bræk , Rolv and Clark , Tony and Combemale , Benoit and Cysneiros , Luiz Marcio and et al.}, year={2012}, collection={CMA’12} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8483
@inproceedings{Luckey _Thanos _Gerth_Engels_2012, title={Multi-Staged Quality Assurance for Self-Adaptive Systems}, booktitle={Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12}, author={Luckey , Markus and Thanos , Christian and Gerth, Christian and Engels, Gregor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8484
@inproceedings{Geisen_2012, title={Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt}, volume={Report 01/12}, booktitle={Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium}, publisher={Petra Hofstedt, Claus Lewerentz (BTU Cottbus)}, author={Geisen, Silke }, year={2012}, pages={7–12} }
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={10.1007/978-3-642-33666-9_49}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6720
@inproceedings{Böttcher_Hartel_Heindorf_2012, series={{CRPIT}}, title={Optimized XPath evaluation for Schema-compressed XML data}, volume={124}, booktitle={ADC}, publisher={Australian Computer Society}, author={Böttcher, Stefan and Hartel, Rita and Heindorf, Stefan}, year={2012}, pages={137–144}, collection={{CRPIT}} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6742
@inproceedings{Böttcher_Bokermann_Hartel_2012, title={Generalizing and Improving SQL/XML Query Evaluation}, DOI={10.1109/sitis.2012.72}, booktitle={8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)}, publisher={IEEE}, author={Böttcher, Stefan and Bokermann, Dennis and Hartel, Rita}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16445
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Continuous Local Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-30850-5_2}, booktitle={Experimental Algorithms}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16446
@inproceedings{Kempkes_Kling_Meyer auf der Heide_2012, title={Optimal and competitive runtime bounds for continuous, local gathering of mobile robots}, DOI={10.1145/2312005.2312009}, booktitle={Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12}, author={Kempkes, Barbara and Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16448
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Local, Self-organizing Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-28209-6_2}, booktitle={Algorithms for Sensor Systems}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16929
@inproceedings{Domik_2012, place={Los Angeles}, series={Curated exhibit at Siggraph 2012}, title={Faculty Submitted Student Work at Siggraph 2012}, booktitle={Curated exhibit at Siggraph}, author={Domik, Gitta}, year={2012}, collection={Curated exhibit at Siggraph 2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 10636
@inproceedings{Boschmann_Platzner_2012, title={Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array}, booktitle={Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)}, author={Boschmann, Alexander and Platzner, Marco}, year={2012} }
LibreCat
2012 | Mastersthesis | LibreCat-ID: 10650
@book{Dridger_2012, title={Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer}, publisher={Paderborn University}, author={Dridger, Denis}, year={2012} }
LibreCat
2012 | Dissertation | LibreCat-ID: 10652
@book{Giefers_2012, place={Berlin}, title={Design and Programming of Reconfigurable Mesh based Many-Cores}, publisher={Logos Verlag Berlin GmbH}, author={Giefers, Heiner}, year={2012} }
LibreCat
2012 | Mastersthesis | LibreCat-ID: 10658
@book{Graf_2012, title={Adaptive Playouts in der Monte-Carlo Spielbaumsuche am Anwendungsfall Go}, publisher={Paderborn University}, author={Graf, Tobias}, year={2012} }
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 10667
@book{Hangmann_2012, title={Generating Adjustable Temperature Gradients on modern FPGAs}, publisher={Paderborn University}, author={Hangmann, Hendrik}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 10685
@article{Kaufmann_Glette_Platzner_Torresen_2012, title={Compensating Resource Fluctuations by Means of Evolvable Hardware: The Run-Time Reconfigurable Functional Unit Row Classifier Architecture}, volume={3}, DOI={10.4018/jaras.2012100102}, number={4}, journal={International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS)}, publisher={IGI Global}, author={Kaufmann, Paul and Glette, Kyrre and Platzner, Marco and Torresen, Jim}, year={2012}, pages={17–31} }
LibreCat
| DOI
2012 | Misc | LibreCat-ID: 10723
@book{Platzner_Boschmann_Kaufmann_2012, title={Wieder natürlich gehen und greifen}, author={Platzner, Marco and Boschmann, Alexander and Kaufmann, Paul}, year={2012}, pages={6–11} }
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 10734
@book{Schmitz_2012, title={Stereo Matching on a HC-1 Hybrid Core Computer}, publisher={Paderborn University}, author={Schmitz, Henning}, year={2012} }
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 10747
@book{Topmöller_2012, title={Entwicklung eines Picoblaze Compilers mit dem Gentle Compiler Construction System}, publisher={Paderborn University}, author={Topmöller, Christoph}, year={2012} }
LibreCat
2012 | Mastersthesis | LibreCat-ID: 10754
@book{Wistuba_2012, title={Analysis of Pattern Based Model Design and Learning in Computer-Go}, publisher={Paderborn University}, author={Wistuba, Martin}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 11998
@inproceedings{Eckhoff_Sommer_German_Dressler_2012, title={Cooperative Awareness at Low Vehicle Densities: How Parked Cars Can Help See through Buildings}, DOI={10.1109/glocom.2011.6134402}, booktitle={2011 IEEE Global Telecommunications Conference - GLOBECOM 2011}, author={Eckhoff, D. and Sommer, Christoph and German, R. and Dressler, F.}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 12001
@inproceedings{Eckhoff_Sommer_Dressler_2012, title={On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol Simulation}, DOI={10.1109/vetecs.2012.6240064}, booktitle={2012 IEEE 75th Vehicular Technology Conference (VTC Spring)}, author={Eckhoff, David and Sommer, Christoph and Dressler, Falko}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 12021
@inproceedings{Joerer_Dressler_Sommer_2012, title={Comparing apples and oranges?}, DOI={10.1145/2307888.2307895}, booktitle={Proceedings of the ninth ACM international workshop on Vehicular inter-networking, systems, and applications - VANET ’12}, author={Joerer, Stefan and Dressler, Falko and Sommer, Christoph}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 12023
@article{Joerer_Sommer_Dressler_2012, title={Toward reproducibility and comparability of IVC simulation studies: a literature survey}, DOI={10.1109/mcom.2012.6316780}, journal={IEEE Communications Magazine}, author={Joerer, Stefan and Sommer, Christoph and Dressler, Falko}, year={2012}, pages={82–88} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 12037
@inproceedings{Malandrino_Casetti_Chiasserini_Sommer_Dressler_2012, title={Content downloading in vehicular networks: Bringing parked cars into the picture}, DOI={10.1109/pimrc.2012.6362591}, booktitle={2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC)}, author={Malandrino, F. and Casetti, C. and Chiasserini, C. F. and Sommer, Christoph and Dressler, F.}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 15299
@inproceedings{Leinweber_Baumgärtner_Mernberger_Fober_Hüllermeier_Klebe_Freisleben_2012, title={GPU-based cloud computing for comparing the structure of protein binding sites}, booktitle={in Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione d`Italia, Italy}, author={Leinweber, M. and Baumgärtner, L. and Mernberger, M. and Fober, T. and Hüllermeier, Eyke and Klebe, G. and Freisleben, B.}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 15396
@inbook{Hüllermeier_Fallah Tehrani_2012, series={Studies in Computational Intelligence}, title={Efficient learning of classifiers based on the 2-additive Choquet integral}, booktitle={Computational Intelligence in Intelligent Data Analysis}, publisher={Springer}, author={Hüllermeier, Eyke and Fallah Tehrani, A.}, editor={Moewes, C. and Nürnberger, A.Editors}, year={2012}, pages={17–30}, collection={Studies in Computational Intelligence} }
LibreCat
2012 | Journal Article | LibreCat-ID: 15669
@article{Schulte_Suhonen_2012, title={Koli Calling 2009 and 2010}, volume={22}, number={2}, journal={Computer Science Education}, author={Schulte, Carsten and Suhonen, Jarkko}, year={2012}, pages={79–80} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 15670
@inproceedings{Schulte_Hornung_Sentance_Dagiene_Jevsikova_Thota_Eckerdal_Peters_2012, title={Computer science at school/CS teacher education: Koli working-group report on CS at school}, booktitle={Koli Calling}, publisher={ACM}, author={Schulte, Carsten and Hornung, Malte and Sentance, Sue and Dagiene, Valentina and Jevsikova, Tatjana and Thota, Neena and Eckerdal, Anna and Peters, Anne-Kathrin}, year={2012}, pages={29–38} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 15671
@inproceedings{Schulte_2012, title={Uncovering structure behind function: the experiment as teaching method in computer science education}, booktitle={WiPSCE}, publisher={ACM}, author={Schulte, Carsten}, year={2012}, pages={40–47} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 15754
@inproceedings{Bräuning_Hüllermeier_2012, title={Learning conditional lexicographic preference trees}, booktitle={In Workshops on Preference Learning at ECAI, European Conference on Artiticial intelligence, Montpellier, France}, author={Bräuning, M. and Hüllermeier, Eyke}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 14871
@inproceedings{Chen_Kuo_ Wang_ Chen_2012, title={A Syllable-based Prosody Modeling for L1 and L2 English Speeches}, booktitle={Proceedings of the 8th International Symposium on Chinese Spoken Language Processing}, publisher={IEEE}, author={Chen, Wei-Fan and Kuo, Chin-Kuan and Wang, Yih-Ru and Chen, Sin-Horng}, year={2012}, pages={281–285} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 15095
@inproceedings{Böttcher_Hartel_Weber_2012, title={Efficient String-Based XML Stream Prefiltering}, booktitle={Proceedings of the Twenty-Third Australasian Database Conference}, publisher={Australian Computer Society, Inc.}, author={Böttcher, Stefan and Hartel, Rita and Weber, Steffen}, year={2012}, pages={145–152} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 15096
@inproceedings{Böttcher_Bültmann_Hartel_Schlüßler_2012, title={Fast Insertion and Deletion in Compressed Texts}, DOI={10.1109/dcc.2012.50}, booktitle={2012 Data Compression Conference}, publisher={IEEE}, author={Böttcher, Stefan and Bültmann, Alexander and Hartel, Rita and Schlüßler, Jonathan}, year={2012}, pages={393} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 15114
@inproceedings{Hüllermeier_Fallah Tehrani_2012, title={On the VC dimension of the Choquet integral}, booktitle={In Proceedings IPMU-2012 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy}, author={Hüllermeier, Eyke and Fallah Tehrani, A.}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16084
@article{Fallah Tehrani_Cheng_Dembczynski_Hüllermeier_2012, title={Learning monotone nonlinear models using the Choquet integral}, volume={89}, number={1}, journal={Machine Learning}, author={Fallah Tehrani, A. and Cheng, W. and Dembczynski, K. and Hüllermeier, Eyke}, year={2012}, pages={183–211} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16085
@article{Bustince_Pagola_Mesiar_Hüllermeier_Herrera_2012, title={Grouping, overlap and generalized bientropic functions for fuzzy modeling of pairwise comparisons}, volume={20}, number={3}, journal={IEEE Transactions on Fuzzy Systems}, author={Bustince, H. and Pagola, M. and Mesiar, R. and Hüllermeier, Eyke and Herrera, F.}, year={2012}, pages={405–415} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16087
@article{Fürnkranz_Hüllermeier_Cheng_Park_2012, title={Preference-based reinforcement learning: A formal framework and a policy iteration algorithm}, volume={89}, number={1}, journal={Machine Learning}, author={Fürnkranz, J. and Hüllermeier, Eyke and Cheng, W. and Park, S.H.}, year={2012}, pages={123–156} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16088
@article{Dembczynski_Waegeman_Cheng_Hüllermeier_2012, title={On label dependence and loss minimization in multi-label classification}, volume={88}, number={1–2}, journal={Machine Learning}, author={Dembczynski, K. and Waegeman, W. and Cheng, W. and Hüllermeier, Eyke}, year={2012}, pages={5–45} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16089
@article{Shaker_Hüllermeier_2012, title={IBL Streams: A system for instance-based classification and regression on data streams}, volume={3}, number={4}, journal={Evolving Systems}, author={Shaker, Ammar and Hüllermeier, Eyke}, year={2012}, pages={235–249} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16090
@article{Dolorez Ruiz_Hüllermeier_2012, title={A formal and empirical analysis of the fuzzy gamma rank correlation coefficient}, volume={206}, journal={Information Sciences}, author={Dolorez Ruiz, M. and Hüllermeier, Eyke}, year={2012}, pages={1–17} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16091
@article{Fallah Tehrani_Cheng_Hüllermeier_2012, title={Preference learning using the Choquet integral: The case of multipartite ranking}, volume={20}, number={6}, journal={IEEE Transactions on Fuzzy Systems}, author={Fallah Tehrani, A. and Cheng, W. and Hüllermeier, Eyke}, year={2012}, pages={1102–1113} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16092
@article{Fober_Mernberger_Klebe_Hüllermeier_2012, title={Fingerprint kernels for protein structure comparison}, volume={31}, number={6–7}, journal={Molecular Informatics}, author={Fober, T. and Mernberger, M. and Klebe, G. and Hüllermeier, Eyke}, year={2012}, pages={443–452} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16093
@article{Hüllermeier_Rifqi_Henzgen_Senge_2012, title={Comparing fuzzy partitions: A generalization of the Rand index and related measures}, volume={20}, number={3}, journal={IEEE Transactions on Fuzzy Systems}, author={Hüllermeier, Eyke and Rifqi, M. and Henzgen, Sascha and Senge, Robin}, year={2012}, pages={546–556} }
LibreCat
2012 | Journal Article | LibreCat-ID: 16094
@article{Senge_Fober_Nasiri_Hüllermeier_2012, title={Fuzzy Pattern Trees: Ein alternativer Ansatz zur Fuzzy-Modellierung}, volume={60}, number={10}, journal={At-Atomatisierungstechnik}, author={Senge, Robin and Fober, T. and Nasiri, N. and Hüllermeier, Eyke}, year={2012}, pages={622–629} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 16408
@inproceedings{Suess_Koch_Jähn_Fischer_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes}, volume={7431}, DOI={10.1007/978-3-642-33179-4_48}, booktitle={Advances in Visual Computing}, author={Suess, Tim and Koch, Clemens and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2012}, pages={502–512}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 13120
@inproceedings{Cheng_Hüllermeier_Waegeman_Welker_2012, title={Label ranking with partial abstention based on thresholded probalistic models}, booktitle={In Proceedings NIPS-2012, 26th Annual Conference on Neural Information Processing Systems, Lake Tahoe, Nevada, USA}, author={Cheng, W. and Hüllermeier, Eyke and Waegeman, W. and Welker, V.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 13191
@inproceedings{Cheng_Hüllermeier_2012, title={Probability estimation for mulit-class classification based on label ranking}, booktitle={Proceedings ECML/PKDD-2012, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Bristol, UK}, author={Cheng, W. and Hüllermeier, Eyke}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 13192
@inproceedings{Dembczynski_Kotlowski_Hüllermeier_2012, title={Consistent multilabel ranking through univariate loss minimization}, booktitle={in Proceedings ICML-2012, International Conference on Machine Learning, Edinburgh, Scotland}, author={Dembczynski, K. and Kotlowski, W. and Hüllermeier, Eyke}, editor={Langford, J. and Pineau, J.Editors}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 13193
@inproceedings{Dembczynski_Waegeman_Hüllermeier_2012, title={An analysis of chaining in multi-label classification}, booktitle={In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France }, publisher={IOS Press}, author={Dembczynski, K. and Waegeman, W. and Hüllermeier, Eyke}, year={2012}, pages={294–299} }
LibreCat
2012 | Misc | LibreCat-ID: 13462
@book{Lewis_Platzner_Yao_2012, title={An outlook for self-awareness in computing systems}, publisher={Awareness Magazine}, author={Lewis, Peter and Platzner, Marco and Yao, Xin}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 10153
@inbook{Hüllermeier_2012, series={Studies in Fuzziness and Soft Computing}, title={Fuzzy rules in data mining: From fuzzy associations to gradual dependencies}, volume={271}, booktitle={Combining Experimentation and Theory}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Trillas, E. and Bonissone, P.P. and Magdalena, L. and Kacprzyk, J.Editors}, year={2012}, pages={123–135}, collection={Studies in Fuzziness and Soft Computing} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
@inbook{Vanderperren_Müller_He_Mischkalla_Dahaene_2012, edition={1st Edition. Auflage}, title={Extending UML for Electronic Systems Design: A Code Generation Perspective}, booktitle={Design Technology for Heterogeneous Embedded Systems}, publisher={Springer Verlag}, author={Vanderperren, Yves and Müller, Wolfgang and He, Da and Mischkalla, Fabian and Dahaene, Wim}, editor={Nicolescu, Gabriela and O’Connor, Ian and Piguet, Christian}, year={2012}, pages={13–39} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China }, title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}, DOI={10.1109/ISORCW.2012.41}, publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
@inproceedings{Oliveira_Kuznik_Müller_Esen_Ecker_2012, place={San Jose}, title={Towards an Enhanced UVM for SystemC}, booktitle={Proceedings of the Design & Verification Conference (DVCon)}, author={Oliveira, M. F. and Kuznik, Christoph and Müller, Wolfgang and Esen, V. and Ecker, W.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
@inproceedings{Xie_Müller_Letombe_2012, place={ Niagara Falls, NY, USA }, title={Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}, DOI={10.1109/SOCC.2012.6398362}, booktitle={Proceedings of SOCC2012}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
@inproceedings{Xie_Müller_2012, place={Tampere, Finnland}, title={An IP-XACT-TO-SystemC Model Generator for Mutation Analysis}, booktitle={Proceedings of the MeCoES’12}, author={Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8169 | 
@inproceedings{Gharibian_Kempe_2012, place={Berlin, Heidelberg}, title={Hardness of Approximation for Quantum Problems}, DOI={10.1007/978-3-642-31594-7_33}, booktitle={International Colloquium on Automata, Languages, and Programming (ICALP 2012)}, publisher={Springer Berlin Heidelberg}, author={Gharibian, Sevag and Kempe, Julia}, editor={Czumaj, Artur and Mehlhorn, Kurt and Pitts, Andrew and Wattenhofer, Roger}, year={2012}, pages={387–398} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8175 |
@article{Gharibian_Kempe_2012, title={Approximation Algorithms for QMA-Complete Problems}, volume={41}, DOI={10.1137/110842272}, number={4}, journal={SIAM Journal on Computing}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Gharibian, Sevag and Kempe, Julia}, year={2012}, pages={1028–1050} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8174 |
@article{Gharibian_2012, title={Quantifying nonclassicality with local unitary operations}, volume={86}, DOI={10.1103/PhysRevA.86.042106}, journal={Physical Review A}, publisher={American Physical Society}, author={Gharibian, Sevag}, year={2012}, pages={042106} }
LibreCat
| DOI
| Download (ext.)
| arXiv