Bibliography (as of 2017)

Showing 2551 - 2600 of 2795 Results

  • Source
  • [Contribution to a book, Contribution to a conference proceedings]
    Noichl, Svenja; Bergner, Nadine; Schroeder, Ulrik
    Zielgruppengerechte App-Icons für Seniorinnen und Senioren
    Bildungsräume : DeLFI 2017 - die 15. e-Learning Fachtagung Informatik der Gesellschaft für Informatik, 5. bis 8. September 2017, Chemnitz / Christoph Igel, Carsten Ullrich, Martin Wessner (Hrsg.), 117-123 (2017)
  • [Contribution to a conference proceedings]
    Noichl, Svenja; Bergner, Nadine; Schroeder, Ulrik
    Apps für Seniorinnen und Senioren anpassen mittels spezifischer Tastaturen und Menüeinstellungen
    Mensch und Computer 2017 : Workshopband / Manuel Burghardt, Raphael Wimmer, Christian Wolff, Christa Womser-Hacker (Hrsg.), 585-590 (2017)
    [DOI: 10.18420/MUC2017-WS17-0412]
  • [Book, Proceedings]
    Bodlaender, Hans L. (Editor); Woeginger, Gerhard (Editor)
    Graph-theoretic concepts in computer sciene : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers
    Lecture Notes in Computer Science 10520 (2017)
    [DOI: 10.1007/978-3-319-68705-6]
  • [Contribution to a book, Contribution to a conference proceedings]
    Pieterse, Astrid; Woeginger, Gerhard
    The Subset Sum Game Revisited
    Algorithmic decision theory : 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings / Jörg Rothe (ed.), 228-240 (2017)
    [DOI: 10.1007/978-3-319-67504-6_16]
  • [Contribution to a book, Contribution to a conference proceedings]
    Kaminski, Benjamin Lucien; Katoen, Joost-Pieter
    A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 (2017)
    [DOI: 10.1109/LICS.2017.8005153]
  • [Preprint]
    Dehnert, Hans Christian; Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias
    A storm is Coming: A Modern Probabilistic Model Checker
    (2017)
  • [Journal Article]
    Bruintjes, Harold Yorick; Katoen, Joost-Pieter
    Missie: foutvrije software in de ruimte
    Bits en Chips, 1, 38-39 (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Dehnert, Hans Christian; Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias
    A Storm is Coming: A Modern Probabilistic Model Checker
    Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600 (2017)
    [DOI: 10.1007/978-3-319-63390-9_31]
  • [Contribution to a book, Contribution to a conference proceedings]
    Jansen, Christina; Katelaan, Jens; Matheja, Christoph; Noll, Thomas; Zuleger, Florian
    Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
    Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Hongseok Yang (ed.), 611-638 (2017)
    [DOI: 10.1007/978-3-662-54434-1_23]
  • [Contribution to a conference proceedings]
    Wachtmeister, Louis; Noll, Thomas
    Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications
    [embeddedworld Exibition & Conference, 2017-03-14 - 2017-03-16, Nuremberg, Germany], 5 Seiten (2017)
    [DOI: 10.5281/zenodo.571173]
  • [Contribution to a book, Contribution to a conference proceedings]
    Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Papusha, Ivan; Poonawala, Hasan A.; Topcu, Ufuk
    Sequential Convex Programming for the Efficient Verification of Parametric MDPs
    Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Axel Legay, Tiziana Margaria (eds.). - Part 2, 133-150 (2017)
    [DOI: 10.1007/978-3-662-54580-5_8]
  • [Contribution to a book, Contribution to a conference proceedings]
    Budde, Carlos E.; Dehnert, Hans Christian; Hahn, E. Moritz; Hartmanns, Arnd; Junges, Sebastian; Turrini, Andrea
    JANI: Quantitative Model and Tool Interaction
    Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Axel Legay, Tiziana Margaria (eds.). - Part 2, 151-168 (2017)
    [DOI: 10.1007/978-3-662-54580-5_9]
  • [Contribution to a book, Contribution to a conference proceedings]
    Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter
    Markov Automata with Multiple Objectives
    Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 1, 140-159 (2017)
    [DOI: 10.1007/978-3-319-63387-9_7]
  • [Contribution to a book, Contribution to a conference proceedings]
    Müller, Sascha; Gerndt, Andreas; Noll, Thomas
    Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees
    AIAA Space and Astronautics Forum and Exposition 2017 : Orlando, Florida, USA, 12-14 September 2017 / American Institute of Aeronautics and Astronautics. - Volume 2, 1140-1149 (2017)
    [DOI: 10.2514/6.2017-5163]
  • [Conference Presentation]
    Bozzano, Marco; Bruintjes, Harold Yorick; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
    The COMPASS 3.0 Toolset
    5th International Symposium on Model Based Safety Assessment Trento 2017-09-11 - 2017-09-13 (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Ghadhab, Majdi; Junges, Sebastian; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias
    Model-based Safety Analysis for Vehicle Guidance Systems
    Computer safety, reliability, and security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.), 3-19 (2017)
    [DOI: 10.1007/978-3-319-66266-4_1]
  • [Contribution to a book, Contribution to a conference proceedings]
    Aflaki, Saba; Volk, Matthias; Bonakdarpour, Borzoo; Katoen, Joost-Pieter; Storjohann, Arne
    Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
    2017 IEEE 36th International Symposium on Reliable Distributed Systems : SRDS 2017 : 26-29 September 2017, Hong Kong : proceedings / sponsored by: IEEE, IEEE Computer Society, Technical Committee on Distributed Processing (TCDP) ; organized by The Hong Kong Polytechnic University, Department of Computing ; symposium general co-chairs: Jiannong Cao (The Hong Kong Polytechnic University, Hong Kong), Michael R. Lyu (The Chinese University of Hong Kong, Hong Kong), 94-103 (2017)
    [DOI: 10.1109/SRDS.2017.22]
  • [Contribution to a book, Contribution to a conference proceedings]
    Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
    Motion planning under partial observability using game-based abstraction
    2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208 (2017)
    [DOI: 10.1109/CDC.2017.8263971]
  • [Contribution to a book, Contribution to a conference proceedings]
    Katoen, Joost-Pieter; Sher, Falak
    Modal Stochastic Games : Abstraction-Refinement of Probabilistic Automata
    Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday / Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.), 426-448 (2017)
    [DOI: 10.1007/978-3-319-63121-9_21]
  • [Contribution to a book]
    Katoen, Joost-Pieter; Stoelinga, Marielle
    Boosting Fault Tree Analysis by Formal Methods
    ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday / Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.), 368-389 (2017)
    [DOI: 10.1007/978-3-319-68270-9_19]
  • [Abstract, Contribution to a book, Contribution to a conference proceedings]
    Katoen, Joost-Pieter
    Tweaking The Odds: Parameter Synthesis in Markov Models (Abstract)
    Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings / edited by Dang Van Hung, Deepak Kapur, [XVI]-XVII (2017)
  • [Book]
    Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend
    ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday
    Lecture notes in computer science 10500 (2017)
    [DOI: 10.1007/978-3-319-68270-9]
  • [Contribution to a book]
    Bozzano, Marco; Bruintjes, Harold Yorick; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano
    Formal Methods for Aerospace Systems : Achievements and Challenges
    Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings / edited by Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu, 133-159 (2017)
    [DOI: 10.1007/978-981-10-4436-6_6]
  • [Contribution to a book]
    Calinescu, Radu; Autili, Marco; Ciamara, Javier; Di Marco, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost-Pieter; Kwiatkowska, Marta; Mengshoel, Ole J.; Spalazzese, Romina; Tivoli, Massimo
    Synthesis and Verification of Self-aware Computing Systems
    Self-Aware Computing Systems / Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, 337-373 (2017)
    [DOI: 10.1007/978-3-319-47474-8_11]
  • [Report]
    Huisman, Marieke; Noll, Thomas; Tatsuta, Makoto
    Analysis and Verification of Pointer Programs : October 2-5, 2017
    NII Shonan Meeting Report 2017-04 (2017)
  • [Master Thesis]
    Krämer, Aaron
    Parameterized Tangible Detection on Capacitive Screens
    (2017)
  • [Book, Proceedings]
    Chechik, Marsha (Editor); Di Ruscio, Davide (Editor); Rumpe, Bernhard (Editor)
    2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering : MiSE 2017 : 21-22 May 2017, Buenos Aires, Argentina : proceedings
    (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Di Ruscio, Davide; Chechik, Marsha; Rumpe, Bernhard
    9th Workshop on Modelling in Software Engineering (MiSE 2017)
    2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering : MiSE 2017 : 21-22 May 2017, Buenos Aires, Argentina : proceedings / program committee co-chairs: Marsha Chechik (University of Toronto, Canada), Davide Di Ruscio (University of L'Aquila, Italy), Bernhard Rumpe (RWTH Aachen University, Germany) ; sponsors: IEEE Computer Society, ACM - Association for Computing Machinery [und 5 weitere], 1-1 (2017)
    [DOI: 10.1109/MiSE.2017.15]
  • [Contribution to a conference proceedings]
    Butting, Arvid; Kautz, Oliver; Rumpe, Bernhard; Wortmann, Andreas
    Architectural Programming with MontiArcAutomaton
    International Conference on Software Engineering Advances (ICSEA'17), pages 213-218, Athens, Greece, 2017, 213-218 (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Bertram, Vincent; Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard; von Wenckstern, Michael
    Component and Connector Views in Practice: An Experience Report
    ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems : 17-22 September 2017, Austin, Texas : proceedings / general chair: Don Batory (University of Texas at Austin, Texas (USA)), 167-177 (2017)
    [DOI: 10.1109/MODELS.2017.29]
  • [Contribution to a book, Contribution to a conference proceedings]
    Deguele, T.; Mayerhofer, T.; Wortmann, Andreas
    Engineering a ROVER Language in GEMOC STUDIO & MONTICORE: A Comparison of Language Reuse Support
    MODELS-SE 2017 : MODELS 2017 satellite events : proceedings of MODELS 2017 satellite event: workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) : Austin, TX, USA, September, 17, 2017 / edited by Loli Burgueño (University of Málaga and Marbella International University Centre), Jonathan Corley (University of West Georgia), Nelly Bencomo (Aston University), Peter J. Clarke (Florida International University), Philippe Collet (University of Nice Sophia Antipolis), Michalis Famelis (Université de Montréal), Sudipto Ghosh (Colorado State University), Martin Gogolla (University of Bremen), Joel Greenyer (Universität Hannover), Esther Guerra (Universidad Autónoma de Madrid), Sahar Kokaly (McMaster University), Alfonso Pierantonio (University of L'Aquila), Julia Rubin (University of British Columbia), Davide Di Ruscio (University of L'Aquila), 6 Seiten (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Boulanger, Frédéric; Syriani, Eugene; Wortmann, Andreas
    Fifth Workshop on the Globalization of Modeling Languages (GEMOC 2017)
    MODELS-SE 2017 : MODELS 2017 satellite events : proceedings of MODELS 2017 satellite event: workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) : Austin, TX, USA, September, 17, 2017 / edited by Loli Burgueño (University of Málaga and Marbella International University Centre), Jonathan Corley (University of West Georgia), Nelly Bencomo (Aston University), Peter J. Clarke (Florida International University), Philippe Collet (University of Nice Sophia Antipolis), Michalis Famelis (Université de Montréal), Sudipto Ghosh (Colorado State University), Martin Gogolla (University of Bremen), Joel Greenyer (Universität Hannover), Esther Guerra (Universidad Autónoma de Madrid), Sahar Kokaly (McMaster University), Alfonso Pierantonio (University of L'Aquila), Julia Rubin (University of British Columbia), Davide Di Ruscio (University of L'Aquila), 2 Seiten (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Bolender, Tim; Rumpe, Bernhard; Wortmann, Andreas
    Investigating the Effects of Integrating Handcrafted Code in Model-Driven Engineering
    MODELS-SE 2017 : MODELS 2017 satellite events : proceedings of MODELS 2017 satellite event: workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) : Austin, TX, USA, September, 17, 2017 / edited by Loli Burgueño (University of Málaga and Marbella International University Centre), Jonathan Corley (University of West Georgia), Nelly Bencomo (Aston University), Peter J. Clarke (Florida International University), Philippe Collet (University of Nice Sophia Antipolis), Michalis Famelis (Université de Montréal), Sudipto Ghosh (Colorado State University), Martin Gogolla (University of Bremen), Joel Greenyer (Universität Hannover), Esther Guerra (Universidad Autónoma de Madrid), Sahar Kokaly (McMaster University), Alfonso Pierantonio (University of L'Aquila), Julia Rubin (University of British Columbia), Davide Di Ruscio (University of L'Aquila), 8 Seiten (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Grazioli, Filippo; Kusmenko, Evgeny; Roth, Alexander; Rumpe, Bernhard; von Wenckstern, Michael
    Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles
    MODELS-SE 2017 : MODELS 2017 satellite events : proceedings of MODELS 2017 satellite event: workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) : Austin, TX, USA, September, 17, 2017 / edited by Loli Burgueño (University of Málaga and Marbella International University Centre), Jonathan Corley (University of West Georgia), Nelly Bencomo (Aston University), Peter J. Clarke (Florida International University), Philippe Collet (University of Nice Sophia Antipolis), Michalis Famelis (Université de Montréal), Sudipto Ghosh (Colorado State University), Martin Gogolla (University of Bremen), Joel Greenyer (Universität Hannover), Esther Guerra (Universidad Autónoma de Madrid), Sahar Kokaly (McMaster University), Alfonso Pierantonio (University of L'Aquila), Julia Rubin (University of British Columbia), Davide Di Ruscio (University of L'Aquila), 7 Seiten (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Maoz, Shahar; Mehlan, Ferdinand; Ringert, Jan Oliver; Rumpe, Bernhard; von Wenckstern, Michael
    OCL Framework to Verify Extra-Functional Properties in Component and Connector Models
    MODELS-SE 2017 : MODELS 2017 satellite events : proceedings of MODELS 2017 satellite event: workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) : Austin, TX, USA, September, 17, 2017 / edited by Loli Burgueño (University of Málaga and Marbella International University Centre), Jonathan Corley (University of West Georgia), Nelly Bencomo (Aston University), Peter J. Clarke (Florida International University), Philippe Collet (University of Nice Sophia Antipolis), Michalis Famelis (Université de Montréal), Sudipto Ghosh (Colorado State University), Martin Gogolla (University of Bremen), Joel Greenyer (Universität Hannover), Esther Guerra (Universidad Autónoma de Madrid), Sahar Kokaly (McMaster University), Alfonso Pierantonio (University of L'Aquila), Julia Rubin (University of British Columbia), Davide Di Ruscio (University of L'Aquila), 7 Seiten (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Butting, Arvid; Heim, Robert; Kautz, Oliver; Ringert, Jan Oliver; Rumpe, Bernhard; Wortmann, Andreas
    A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description Languages
    MODELS-SE 2017 : MODELS 2017 satellite events : proceedings of MODELS 2017 satellite event: workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) : Austin, TX, USA, September, 17, 2017 / edited by Loli Burgueño (University of Málaga and Marbella International University Centre), Jonathan Corley (University of West Georgia), Nelly Bencomo (Aston University), Peter J. Clarke (Florida International University), Philippe Collet (University of Nice Sophia Antipolis), Michalis Famelis (Université de Montréal), Sudipto Ghosh (Colorado State University), Martin Gogolla (University of Bremen), Joel Greenyer (Universität Hannover), Esther Guerra (Universidad Autónoma de Madrid), Sahar Kokaly (McMaster University), Alfonso Pierantonio (University of L'Aquila), Julia Rubin (University of British Columbia), Davide Di Ruscio (University of L'Aquila), 7 Seiten (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Adam, Kai; Butting, Arvid; Kautz, Oliver; Rumpe, Bernhard; Wortmann, Andreas
    Executing Robot Task Models in Dynamic Environments
    MODELS-SE 2017 : MODELS 2017 satellite events : proceedings of MODELS 2017 satellite event: workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) : Austin, TX, USA, September, 17, 2017, 7 Seiten (2017)
  • [Contribution to a conference proceedings]
    Kriebel, Stefan; Moyses, Vincent; Strobl-Wildemann, Georg; Richenhagen, Johannes Martin; Orth, Philipp; Pischinger, Stefan; Schulze, Christoph; Greifenberg, Timo Herbert; Rumpe, Bernhard
    The Next Generation of BMW's Electrified Powertrains: Providing Software Features Quickly by Model-Based System Design
    [26th Aachen Colloquium Automobile and Engine Technologie, 2017-10-09 - 2017-10-11, Aachen, Germany], 211-222 (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Hölldobler, Katrin; Roth, Alexander; Rumpe, Bernhard; Wortmann, Andreas
    Advances in Modeling Language Engineering
    Model and data engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017 : proceedings / Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche (eds.), p 3-17 (2017)
    [DOI: 10.1007/978-3-319-66854-3_1]
  • [Journal Article]
    Krauß, Jonathan; Heutmann, Timo; Quix, Christoph; Reuter, Dominic; Harmata, Simon; Schmitt, Robert H.
    Wertvolle Seen in der Produktion : mit Data Lakes Informationen bedarfsgerecht und einfach bereitstellen
    Qualität und Zuverlässigkeit, 62, 6, 26-29 (2017)
  • [Journal Article]
    Eickmeyer, Kord; Elberfeld, Michael; Harwath, Frederik
    Succinctness of Order-Invariant Logics on Depth-Bounded Structures
    ACM transactions on computational logic : TOCL, 18, 4, 33 (2017)
    [DOI: 10.1145/3152770]
  • [Contribution to a book, Contribution to a conference proceedings]
    Brütsch, Benedikt; Landwehr, Patrick; Thomas, Wolfgang
    N-Memory Automata over the Alphabet N
    Language and automata theory and applications : 11th international conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings / Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.), 91-102 (2017)
    [DOI: 10.1007/978-3-319-53733-7_6]
  • [Preprint]
    Neuen, Daniel; Schweitzer, Pascal
    Benchmark Graphs for Practical Graph Isomorphism
    (2017)
  • [Contribution to a book, Contribution to a conference proceedings]
    Neuen, Daniel; Schweitzer, Pascal
    Benchmark Graphs for Practical Graph Isomorphism
    25th European Symposium on Algorithms : ESA 2017, September 4-6, 2017, Vienna, Austria / edited by Kirk Pruhs, Christian Sohler, Seiten 60:1-60:14 (2017)
    [DOI: 10.4230/LIPIcs.ESA.2017.60]
  • [Contribution to a book, Contribution to a conference proceedings]
    Grohe, Martin; Chen, Yijia; Lin, Bingkai
    The Hardness of Embedding Grids and Walls
    Graph-theoretic concepts in computer sciene : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers / Hans L. Bodlaender, Gerhard J. Woeginger (eds.), 180-192 (2017)
    [DOI: 10.1007/978-3-319-68705-6_14]
  • [Contribution to a book, Contribution to a conference proceedings]
    Berkholz, Christoph; Grohe, Martin
    Linear Diophantine Equations, Group CSPs, and Graph Isomorphism
    Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms / Society for Industrial and Applied Mathematics / Philip N. Klein (ed.), 327-339 (2017)
    [DOI: 10.1137/1.9781611974782.21]
  • [Contribution to a book, Contribution to a conference proceedings]
    Grohe, Martin; Ritzert, Martin
    Learning first-order definable concepts over structures of small degree
    2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, Reykjavík, Iceland, 1-12 (2017)
    [DOI: 10.1109/LICS.2017.8005080]
  • [Contribution to a book, Contribution to a conference proceedings]
    Grohe, Martin; Löding, Christof; Ritzert, Martin
    Learning MSO-definable hypotheses on strings
    [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451 (2017)
  • [Book]
    van der Pas, Ruud; Stotzer, Eric; Terboven, Christian
    Using OpenMP - The Next Step : affinity, accelerators, tasking, and SIMD
    Scientific and engineering computation series (2017)