Dagstuhl's Impact

Häufig kommt es vor, dass ein Dagstuhl-Seminar oder eine Dagstuhl-Veranstaltung so inspirierend war, dass die Teilnehmer nach dem Seminar gemeinsam eine Publikation herausbringen. Diese Arbeiten sind im Folgenden aufgelistet und werden separat im Erdgeschoss der Bibliothek präsentiert. Bitte informieren Sie uns über solche Publikationen.

Legende

 Buch    Special Issue    Technischer Bericht    Artikel   


Dagstuhl Seminar 17471, 19.11.17-24.11.17

Evolving Mario Levels in the Latent Space of a Deep Convolutional Generative Adversarial Network : article in GECCO ’18, July 15 - 19, 2018, Kyoto, Japan

Volz, Vanessa; Schrum, Jacob; Liu, Jialin; Lucas, Simon M.; Smith, Adam; Risi, Sebastian. - New York : ACM, 2018. - 8 pp.
Link
 

Dagstuhl Seminar 17461, 12.11.17-17.11.17

Evaluating Visual Data Analysis Systems : A Discussion Report

Battle, Leilani; Angelini, Marco; Eichmann, Philipp; Sedlmair, Michael; Willett, Wesley; Santucci, Giuseppe; Fekete, Jean-Daniel; Catarci, Tiziana; Binnig, Carsten. - HAL Inria, 2018
Link
 

Dagstuhl Seminar 17442, 29.10.17-03.11.17

The Dagstuhl Perspectives Workshop on Performance Modeling and Prediction : article

Ferro, Nicola; Fuhr, Norbert; Zobel, Justin; Shapira, Bracha; Nie, Jian-Yun; Magnini, Bernardo; Kuflik, Tsvi; Gonzalo, Julio; Geyer, Werner; Ekstrand, Michael D.; Declerck, Thierry; Konstan, Joseph A.; Grefenstette, Gregory; Perego, Raffaele; Soboroff, Ian; Tintarev, Nava; Verspoor, Karin; Willemsen, Martijn C.. - New York : ACM, 2018. - pp. 91-101. - (Sigir forum ; 52. 2018, 1)
Link
 

Dagstuhl Seminar 17392, 24.09.17-29.09.17

Body-centric computing : results from a weeklong Dagstuhl seminar in a German castle : article

Mueller, Florian 'Floyd'; Andres, Josh; Marshall, Joe; Marquez Segura, Elena; Sas, Corina; Höök, Kristina; Graham, Nicholas; Hoven, Elise van den; Martin-Niedecken, Anna Lisa; Tholander, Jakob; Gerling, Kathrin; Schraefel, Monica C.; Svanes, Dag. - New York : ACM, 2018. - Pages 34-39. - (Interactions ; 25. 2018, 4)
Link
 

Dagstuhl Seminar 17301, 23.07.17-28.07.17

An Information Nutritional Label for Online Documents : article

Fuhr, Norbert; Grefenstette, Gregory; Gurevich, Yuri; Liu, Yiqun; Mothe, Josiane; Nejdl, Wolfgang; Stein, Benno M.; Hanselowski, Andreas; Jarvelin, Kalervo; Jones, Rosie; Peters, Isabella; Giachanou, Anastasia. - New York : ACM, 2017. - (Sigir forum ; 51. 2017, 3 : article)
Link
 

Dagstuhl Event 17273, 05.07.17-07.07.17

Semantic Applications : Methodology, Technology, Corporate Use

Hoppe, Thomas; Humm, Bernhard; Reibold, Anatol. - Berlin : Springer, 2018. - xxv, 264 Seiten
ISBN: 978-3-662-55432-6 / 3-662-55432-1
Link
 

Dagstuhl Seminar 17222, 28.05.17-02.06.17

JCC-H : Adding Join Crossing Correlations with Skew to TPC-H : article in LNCS 10661: Performance Evaluation and Benchmarking for the Analytics Era

Boncz, Peter A.; Anatiotis, Angelos-Christos; Kläbe, Steffen. - Berlin : Springer, 2017. - pp. 103-119. - (Lecture notes in computer science ; 10661 : article)
Link
 

Dagstuhl Seminar 17222, 28.05.17-02.06.17

G-CORE : A Core for Future Graph Query Languages : article in Proceedings of the 2018 International Conference on Management of Data

Angles, Renzo; Arenas, Marcelo; Barcelo, Pablo; Boncz, Peter A.; Fletcher, George; Gutierrez, Claudio; Lindaaker, Tobias; Paradies, Marcus; Plantikow, Stefan; Sequeda, Juan; Rest, Oscar van; Voigt, Hannes. - New York : ACM, 2018. - Pages: 1421-1432
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

A New Class of Guided C2 Subdivision Surfaces Combining Good Shape with Nested Refinement : article

Karciauskas, Kestutis; Peters, Jörg. - Chichester : Wiley, 2018. - pp. 84-95. - (Computer graphics forum ; 37. 2018, 6)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

T-junctions in Spline Surfaces : article

Karciauskas, Kestutis; Panozzo, Daniele; Peters, Jörg. - New York : ACM, 2017. - 9 pp.. - (ACM transactions on graphics ; 36. 2017, 5)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Refinable polycube G-splines : article in Special Issue on SMI 2016

Sarov, Martin; Peters, Jörg. - Amsterdam : Elsevier, 2016. - pp. 92-101. - (Computers and graphics ; 58. 16)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Improved shape for refinable surfaces with singularly parameterized irregularities : article

Karciauskas, Kestutis; Peters, Jörg. - Amsterdam : Elsevier, 2018. - Pages 191-198. - (CAD ; 90. 2017)
Link
 

Dagstuhl Seminar 17221, 28.05.17-02.06.17

Computing medial axis transformations of 2D point clouds : article

Zhong, Yanjun; Chen, Falai. - Amsterdam : Elsevier, 2018. - Pages 50-63. - (Graphical models ; 97. 2018 : article)
Link
 

Dagstuhl Event 17213, 21.05.17-24.05.17

Ausgezeichnete Informatikdissertationen 2016

Hölldobler, Steffen. - Bonn : Gesellschaft für Informatik e.V., 2018. - 328 S.. - (Lecture notes in informatics / D ; 17)
ISBN: 978-3-88579-976-4 / 3-88579-976-6
 

Dagstuhl Seminar 17192, 07.05.17-12.05.17

What Does Explainable AI Really Mean? : A New Conceptualization of Perspectives

Doran, Derek; Schulz, Sarah; Besold, Tarek R.. - Cornell University : arXiv.org, 2017. - 8 S.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Quality Gain Analysis of the Weighted Recombination Evolution Strategy on General Convex Quadratic Functions

Akimoto, Youhei; Auger, Anne; Hansen, Nikolaus. - HAL Inria, 2018. - 29 pp.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Linear multi-objective drift analysis : article

Rowe, Jonathan E.. - Amsterdam : Elsevier, 2018. - pp. 25-40. - (Theoretical computer science ; 736. 2018)
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Drift Analysis : article

Lengler, Johannes. - Cornell University : arXiv.org, 2018. - 44 pp.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

The Benefits of Population Diversity in Evolutionary Algorithms : A Survey of Rigorous Runtime Analyses : article

Sudholt, Dirk. - Cornell University : arXiv.org, 2018. - 36 pp.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

A General Dichotomy of Evolutionary Algorithms on Monotone Functions : article

Lengler, Johannes. - Cornell University : arXiv.org, 2018. - 41 pp.
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Medium step sizes are harmful for the compact genetic algorithm : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference

Lengler, Johannes; Sudholt, Dirk; Witt, Carsten. - New York : ACM, 2018. - pp. 1499-1505
Link
 

Dagstuhl Seminar 17191, 07.05.17-12.05.17

Drift theory in continuous search spaces : expected hitting time of the (1 + 1)-ES with 1/5 success rule : article in GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference

Akimoto, Youhei; Auger, Anne; Glasmachers, Tobias. - New York : ACM, 2018. - pp. 801-808
Link
 

Dagstuhl Seminar 17162, 17.04.17-20.04.17

Hiding in the Crowd : an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale : article in WWW '18, Proceedings of the 2018 World Wide Web Conference

Gomez-Boix, Alejandro; Laperdrix, Pierre; Baudry, Benoit. - New York : ACM, 2018. - pp. 309-318
Link
 

Dagstuhl Seminar 17161, 17.04.17-20.04.17

Feel the Movement : Real Motion Influences Responses to Take-over Requests in Highly Automated Vehicles : article No. 246 in CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Boll, Susanne; Heuten, Wilko; Bülthoff, Heinrich H.; Chuang, Lewis L.. - New York : ACM, 2018. - 13 pp.
Link
 

Dagstuhl Seminar 17161, 17.04.17-20.04.17

Understanding systems that are designed to support human cognition : article : Rethinking Interaction - CHI 2018 workshop

Chuang, Lewis L.; Schmidt, Albrecht. - exSitu, 2018. - 5 pp.
Link
 

Dagstuhl Seminar 17161, 17.04.17-20.04.17

A Survey of Attention Management Systems in Ubiquitous Computing Environments : Article No. 58 in Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, IMWUT

Anderson, Christoph; Hübener, Isabel; Seipp, Ann-Kathrin; Ohly, Sandra; Pejovic, Veljko; David, Klaus. - New York : ACM, 2018. - 27 pp.
Link
 

Dagstuhl Seminar 17142, 02.04.17-05.04.17

Composition Closure of Linear Extended Top-down Tree Transducers : article

Engelfriet, Joost; Fülöp, Zoltan; Maletti, Andreas. - Berlin : Springer, 2017. - pp. 129-171. - (Theory of computing systems ; 60. 2017 : article)
Link
 

Dagstuhl Seminar 17142, 02.04.17-05.04.17

Multiple context-free tree grammars: Lexicalization and characterization : article

Engelfriet, Joost; Maletti, Andreas; Maneth, Sebastian. - Amsterdam : Elsevier, 2018. - pp. 29-99. - (Theoretical computer science ; 728. 2018)
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines : article in Workshop on Mixed Criticality Systems 2017 : WMC 2017

Burns, Alan; Davis, Robert Ian. - WMC, 2017. - pp. 13-18
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Mixed Criticality Systems with Varying Context Switch Costs : article in RTAS 2018 : 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal

Davis, Robert I.; Altmeyer, Sebastian; Burns, Alan. - http://2018.rtas.org/, 2018. - 12 pp.
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Probabilistic analysis for mixed criticality systems using fixed priority preemptive scheduling : article in RTNS '17 Proceedings of the 25th International Conference on Real-Time Networks and Systems

Maxim, Dorin; Davis, Robert Ian; Cucu-Grosjean, Liliana; Easwaran, Arvind. - New York : ACM, 2017. - Pages 237-246
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

Sustainability in Mixed-Criticality Scheduling : article in Real-Time Systems Symposium (RTSS), 2017 IEEE

Guo, Zhishan; Sruti, Sai; Ward, Bryan C.; Baruah, Sanjoy K.. - Los Alamitos : IEEE, 2017. - pp. 24-33
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

On the Existence of a Cyclic Schedule for Non-Preemptive Periodic Tasks with Release Offset : article in 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

Nasri, Mitra; Grolleau, Emmanuel. - http://www.cister.isep.ipp.pt, 2017. - 2 pp.
Link
 

Dagstuhl Seminar 17131, 26.03.17-31.03.17

On the Meaning of pWCET Distributions and their use in Schedulability Analysis : article in 8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)

Davis, Robert I.; Burns, Alan; Griffin, David. - http://www.cister.isep.ipp.pt, 2017. - 4 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Gram-Schmidt Walk : A Cure for the Banaszczyk Blues

Bansal, Nikhil; Dadush, Daniel; Garg, Shashwat; Lovett, Shachar. - Cornell University : arXiv.org, 2017. - 22 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

A note on Graph Automorphism and Smart Reductions

Allender, Eric; Grochow, Joshua A.; Melkebeek, Dieter van; Moore, Cristopher; Morgan, Andrew. - Rehovot : Electronic Colloquium on Computational Complexity, 2018. - 6 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Choice and Agreement Problems of a Random Function

Meir, Or; Tal, Avishay. - Haifa : University, 2017. - 7 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

Minimum Circuit Size, Graph Isomorphism, and Related Problems : article

Allender, Eric; Grochow, Joshua A.; Melkebeek, Dieter van; Morgan, Andrew. - Philadelphia : SIAM, 2018. - pp. 1339-1372. - (SIAM journal on computing ; 47. 2018, 4)
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

Computing Hitting Set Kernels By AC0-Circuits

Bannach, Max; Tantau, Till. - Cornell University : arXiv.org, 2018. - 19 pp.
Link
 

Dagstuhl Seminar 17121, 19.03.17-24.03.17

The Choice and Agreement Problems of a Random Function

Meir, Or; Tal, Avishay. - Amsterdam : Elsevier, 2018. - (Information processing letters ; 133. 2018)
Link
 

Dagstuhl Seminar 17112, 12.03.17-15.03.17

The iLab Concept : Making Teaching Better, at Scale : article pp. 178-185

Pahl, Marc-Oliver. - Los Alamitos : IEEE, 2017. - (IEEE Communications Magazine ; 55. 2017. 11)
Link
 

Dagstuhl Seminar 17112, 12.03.17-15.03.17

Challenges with Reproducibility : article in Reproducibility '17 : Proceedings of the Reproducibility Workshop : Pages 1-4

Bajpai, Vaibhav; Kühlewind, Mirja; Ott, Jörg; Schönwälder, Jürgen; Trammell, Brian; Sperotto, Anna. - New York : ACM, 2017. - 4 pp.
Link
 

Dagstuhl Seminar 17112, 12.03.17-15.03.17

Using Networks to Teach About Networks : (Report on Dagstuhl Seminar #17112)

Schönwälder, Jürgen; Friedman, Timur; Pras, Aiko. - New York : ACM, 2017. - 5 pp.. - (Computer communication review ; 47. 2017, 3)
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Adopting OpenCAPI for High Bandwidth Database Accelerators : article in Third International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC'17), At Denver, USA

Fang, Jian; Mulder, Yvo T. B.; Huang, Kangli; Qiao, Yang; Zeng, Xianwei; Lee, Jinho; Hidders, Jan; Hofstee, H. Peter. - ResearchGate, 2017. - 1 p.
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

doppioDB : A hardware accelerated database : article in 2017 27th International Conference on Field Programmable Logic and Applications (FPL)

Sidler, David; Owaida, Muhsen; Istvan, Zsolt; Kara, Kaan; Alonso, . - Los Alamitos : IEEE, 2017. - 1 p.
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Reproducible Floating-Point Aggregation in RDBMSs

Müller, Ingo; Arteaga, Andrea; Hoefler, Torsten; Alonso, Gustavo. - Cornell University : arXiv.org, 2018. - 16 pp.
Link
 

Dagstuhl Seminar 17101, 05.03.17-10.03.17

Scalable inference of decision tree ensembles : Flexible design for CPU-FPGA platforms : article in 2017 27th International Conference on Field Programmable Logic and Applications (FPL)

Owaida, Muhsen; Zhang, Hantian; Zhang, Ce; Alonso, Gustavo. - Los Alamitos : IEEE, 2018. - 8 pp.
Link
 

Dagstuhl Seminar 17082, 19.02.17-22.02.17

Grand Challenges in Shape-Changing Interface Research : article in CHI 2018 : Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Alexander, Jason; Roudaut, Anne; Steimle, Jürgen; Bruns Alonso, Miguel; Merritt, Tim; Follmer, Sean; Hornbaek, Kasper. - New York : ACM, 2018. - 14 pp. . - (Conference on Human Factors in Computing Systems ; 2018 : article)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

A Friedberg enumeration of equivalence structures : article

Downey, Rodney Graham; Melnikov, Alexander; Ng, Keng Meng. - Singapore : World Scientific, 2017. - 28 pp.. - (Journal of Mathematical Logic ; 17. 2017, 2)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

On Low for Speed Oracles : article in 35th Symposium on Theoretical Aspects of Computer Science

Bienvenu, Laurent; Downey, Rodney Graham. - Wadern : LZI, 2018. - (LIPICS : 96 : article)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

Lowness and logical depth

Downey, Rodney Graham; MacInerney, Michael; Ng, Keng Meng. - Amsterdam : Elsevier, 2017. - pp. 23-3. - (Theoretical computer science ; 702. 2017)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

On a question of Kalimullin

Downey, Rodney Graham; Igusa, Gregory; Melnikov, Alexander. - - Providence : American Mathematical Society, 2018. - 11 pp. . - (Proceedings of the American Mathematical Society ; 2018)
Link
 

Dagstuhl Seminar 17081, 19.02.17-24.02.17

A hierarchy of computably enumerable degrees

Downey, Rodney Graham; Greenberg, Noam. - Cambridge : Cambridge University Press, 2018. - pp. 53-89. - (The bulletin of symbolic logic ; 24. 2018, 1)
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Convexity-Increasing Morphs of Planar Graphs

Kleist, Linda; Klemz, Boris; Lubiw, Anna; Schlipf, Lena; Strash, Darren; Staals, Frank. - Cornell University : arXiv.org, 2018. - 16 pp.
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

On the Topology of Walkable Environments : article in EuroCG 2018 European Workshop on Computational Geometry

Burton, Benjamin A.; Hillebrand, Arne; Löffler, Maarten; Schleimer, Saul; Thurston, Dylan; Tillmann, Stephan; Toll, Wouter van. - EuroCG, 2018. - 6 pp.
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Tightening curves on surfaces via local moves : article in SODA '18 Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms

Chang, Hsien-Chih; Erickson, Jeff; Letscher, David; Mesmay, Arnaud de; Schleimer, Saul; Tillmann, Stephan; Thurston, Dylan; Sedgwick, Eric. - New York : ACM, 2018. - Pages 121-135
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Open Problems in Computational Topology : Open Problems Column

Gasarch, William I.; Fasy, Brittany Terese; Wang, Bei. - New York : ACM, 2017. - pp. 32-36. - (SIGACT news ; 48. 2017, 3)
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Computing Optimal Homotopies over a Spiked Plane with Polygonal Boundary : article in 25th Annual European Symposium on Algorithms

Burton, Benjamin A.; Chambers, Erin Wolf; Kreveld, Marc van; Meulemans, Wouter; Ophelders, Tim; Speckmann, Bettina. - Wadern : LZI, 2017. - (LIPICS : 87 : article)
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Unravelling the Dodecahedral Spaces

Jonathan Spreer ; Stephan Tillmann. - Cornell University : arXiv.org, 2017. - 12 pp.
Link
 

Dagstuhl Seminar 17072, 12.02.17-17.02.17

Lombardi Drawings of Knots and Links : article in LNCS 10692, GD 2017

Kindermann, Philipp; Kobourov, Stephen G.; Löffler, Maarten; Nöllenburg, Martin; Schulz, Andre; Vogtenhuber, Birgit. - Berlin : Springer, 2018. - pp. 113-126. - (Lecture notes in computer science ; 10692 : article)
Link
 

Dagstuhl Seminar 17071, 12.02.17-17.02.17

Mining the Usage Patterns of ROS Primitives : article in 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) September 24 - 28, 2017, Vancouver, BC, Canada

Santos, Andre Filipe; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; Neves dos Santos, Filipe. - Los Alamitos : IEEE, 2017. - 6 pp.
Link
 

Dagstuhl Seminar 17062, 05.02.17-10.02.17

A Dagstuhl Seminar Looks beyond Virtual and Augmented Reality : article : pp. 14-17

Henze, Niels; Kunze, Kai. - Piscataway : IEEE, 2017. - (IEEE multimedia : 24. 2017, 2)
Link
 

Dagstuhl Seminar 17062, 05.02.17-10.02.17

Superhuman Sports : pplying Human Augmentation to Physical Exercise : article : pp. 14-17

Kunze, Kai; Minamizawa, Kouta; Lukosch, Stephan; Inami, Masahiko; Rekimoto, Jun. - Los Alamitos : IEEE, 2017. - (IEEE pervasive computing ; 16. 2017, 2, pp. 14-17)
Link
 

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Gradual Session Types : article

Igarashi, Atsushi; Thiemann, Peter; Vasconcelos, Vasco T.; Wadler, Philip. - New York : ACM, 2017. - 28 pp.. - (Proceedings of the ACM on Programming Languages ; 1. 2017 : Article No. 38)
Link
 

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Microservices : A Language-Based Approach : article in "Present and Ulterior Software Engineering"

Guidi, Claudio; Lanese, Ivan; Mazzara, Manuel; Montesi, Fabrizio. - Berlin : Springer, 2017. - pp 217-225
Link
 

Dagstuhl Seminar 17051, 29.01.17-03.02.17

Session Types with Linearity in Haskell : book chapter : Behavioural Types: from Theory to Tools, Editors: Simon Gay, Antonio Ravara, River Publishers, eBook ISBN: 9788793519817

Orchard, Dominic; Nobuko, Yoshida. - Gistrup : River Publishers, 2017. - pp. 219 - 241
Link
 

Dagstuhl Seminar 17041, 22.01.17-27.01.17

Directed Hamiltonicity and Out-Branchings via Generalized Laplacians : article in 44th International Colloquium on Automata, Languages, and Programming

Björklund, Andreas; Kaski, Petteri; Koutis, Ioannis. - Wadern : LZI, 2017. - (LIPICS : 80 : article)
Link