default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 4
Volume 4, Number 1, January 2014
- Frederik Armknecht
, Helena Handschuh, Tetsu Iwata, Bart Preneel:
Symmetric Cryptography (Dagstuhl Seminar 14021). 1-16 - Peer-Timo Bremer, Bernd Mohr, Valerio Pascucci, Martin Schulz:
Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022). 17-35 - Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders:
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). 36-82 - Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel:
Planning with epistemic goals (Dagstuhl Seminar 14032). 83-103
Volume 4, Number 2, February 2014
- Alexander M. Fraser, Kevin Knight, Philipp Koehn, Helmut Schmid, Hans Uszkoreit:
Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061). 1-16 - Dominique Méry, Bernhard Schätz, Alan Wassyng:
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). 17-38 - Hans L. Bodlaender, Pinar Heggernes, Daniel Lokshtanov:
Graph Modification Problems (Dagstuhl Seminar 14071). 38-59 - Michael Breuß, Alfred M. Bruckstein, Petros Maragos, Stefanie Wuhrer:
New Perspectives in Shape Analysis (Dagstuhl Seminar 14072). 60-78 - Anthony G. Cohn, Bernd Neumann, Alessandro Saffiotti, Markus Vincze:
Robots Learning from Experiences (Dagstuhl Seminar 14081). 79-109 - Bernhard Burgeth, Ingrid Hotz, Anna Vilanova Bartrolí, Carl-Fredrik Westin:
Visualization and Processing of Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 14082). 110-128 - Alejandro López-Ortiz, Ulrich Carsten Meyer, Robert Sedgewick:
Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 14091). 129-149 - Glenn S. Dardick, Barbara Endicott-Popovsky, Pavel Gladyshev, Thomas Kemmerich, Carsten Rudolph:
Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092). 150-190
Volume 4, Number 3, March 2014
- Johannes Fürnkranz, Eyke Hüllermeier, Cynthia Rudin, Roman Slowinski, Scott Sanner:
Preference Learning (Dagstuhl Seminar 14101). 1-27 - Maxime Crochemore, James D. Currie, Gregory Kucherov, Dirk Nowotka:
Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111). 28-46 - Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing:
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). 47-61 - Anna Gál, Michal Koucký, Oded Regev, Rüdiger Reischuk:
Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121). 62-84 - Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar:
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). 85-102 - Elisabeth André, Ruth Aylett, Gert Jan Hofstede, Ana Paiva:
Computational Models of Cultural Behavior for Human-Agent Interaction (Dagstuhl Seminar 14131). 103-137 - Maike Buchin, Luca Giuggioli, Marc J. van Kreveld, Guy Theraulaz:
Interaction and Collective Movement Processing (Dagstuhl Seminar 14132). 138-152 - Javier Esparza, Alain Finkel, Pierre McKenzie, Joël Ouaknine:
Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141). 153-180 - Aldo Gangemi, Verena V. Hafner, Werner Kuhn, Simon Scheider, Luc Steels:
Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142). 181-201
Volume 4, Number 4, April 2014
- Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). 1-19 - Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, Tomi Männistö:
Unifying Product and Software Configuration (Dagstuhl Seminar 14172). 20-35 - Michael N. Huhns, Wolfgang Ketter, Ryszard Kowalczyk, Fabrice Saffre, Rainer Unland:
Multi-agent systems and their role in future energy grids (Dagstuhl Seminar 14181). 37-48
Volume 4, Number 5, May 2014
- Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, György Turán:
Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201). 1-26 - Franz Dietrich, Ulle Endriss, Davide Grossi, Gabriella Pigozzi, Marija Slavkovik:
JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202). 27-39 - Danny Dig, William G. Griswold, Emerson R. Murphy-Hill, Max Schäfer:
The Future of Refactoring (Dagstuhl Seminar 14211). 40-67
Volume 4, Number 6, June 2014
- Min Chen, Charles D. Hansen, Penny Rheingans, Gerik Scheuermann:
Scientific Visualization (Dagstuhl Seminar 14231). 1-28 - Jakob Rehof, Moshe Y. Vardi:
Design and Synthesis from Components (Dagstuhl Seminar 14232). 29-47 - Roberto Giacobazzi, Axel Simon, Sarah Zennou:
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). 48-63 - Harald C. Gall, Tim Menzies, Laurie A. Williams, Thomas Zimmermann:
Software Development Analytics (Dagstuhl Seminar 14261). 64-83 - Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann:
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). 84-107
Volume 4, Number 7, July 2014
- Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave:
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). 1-24 - Abraham Bernstein, Jan Marco Leimeister, Natasha F. Noy, Cristina Sarasua, Elena Simperl:
Crowdsourcing and the Semantic Web (Dagstuhl Seminar 14282). 25-51 - Dirk Kutscher, Taekyoung Kwon, Ignacio Solis:
Information-Centric Networking 3 (Dagstuhl Seminar 14291). 52-61 - Marc Dacier, Frank Kargl, Hartmut König, Alfonso Valdes:
Network Attack Detection and Defense: Securing Industrial Control Systems for Critical Infrastructures (Dagstuhl Seminar 14292). 62-79 - Chris Biemann, Gregory R. Crane, Christiane D. Fellbaum, Alexander Mehler:
Computational Humanities - bridging the gap between Computer Science and Digital Humanities (Dagstuhl Seminar 14301). 80-111 - Tal Hassner, Robert Sablatnig, Dominique Stutzmann, Ségolène M. Tarte:
Digital Palaeography: New Machines and Old Texts (Dagstuhl Seminar 14302). 112-134
Volume 4, Number 8, August 2014
- Michael Benedikt, Carsten Lutz, Balder ten Cate:
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). 1-20 - Thomas Ågotnes, Nils Bulling:
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). 21-44 - Yll Haxhimusa, Iris van Rooij, Sashank Varma, Todd Wareham:
Resource-bounded Problem Solving (Dagstuhl Seminar 14341). 45-72 - Nimrod Megiddo, Kurt Mehlhorn, Rahul Savani, Vijay V. Vazirani:
Equilibrium Computation (Dagstuhl Seminar 14342). 73-88 - Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur:
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). 89-106 - Patrick Cousot, Daniel Kroening, Carsten Sinz:
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). 107-125 - Marc Alexa, Bernd Bickel, Sara McMains, Holly E. Rushmeier:
Computational Aspects of Fabrication (Dagstuhl Seminar 14361). 126-150
Volume 4, Number 9, September 2014
- Nicolas R. Gauger, Michael B. Giles, Max D. Gunzburger, Uwe Naumann:
Adjoint Methods in Computational Science, Engineering, and Finance (Dagstuhl Seminar 14371). 1-29 - Maria-Florina Balcan, Bodo Manthey, Heiko Röglin, Tim Roughgarden:
Analysis of Algorithms Beyond the Worst Case (Dagstuhl Seminar 14372). 30-49 - Artur S. d'Avila Garcez, Marco Gori, Pascal Hitzler, Luís C. Lamb:
Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381). 50-84 - Manindra Agrawal, Valentine Kabanets, Thomas Thierauf, Christopher Umans:
Algebra in Computational Complexity (Dagstuhl Seminar 14391). 85-105 - Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan:
Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). 106-123 - Hermann Härtig, Satoshi Matsuoka, Frank Mueller, Alexander Reinefeld:
Resilience in Exascale Computing (Dagstuhl Seminar 14402). 124-139
Volume 4, Number 10, October 2014
- Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Michèle Sebag:
Constraints, Optimization and Data (Dagstuhl Seminar 14411). 1-31 - Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe:
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412). 32-50 - Olaf Beyersdorff, Edward A. Hirsch, Jan Krajícek, Rahul Santhanam:
Optimal algorithms and proofs (Dagstuhl Seminar 14421). 51-68 - Alessandro Abate, Martin Fränzle, Ian A. Hiskens, Martin Strelec:
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441). 69-97 - Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen:
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). 98-114
Volume 4, Number 11, November 2014
- Stefan Kratsch, Daniel Lokshtanov, Dániel Marx, Peter Rossmanith:
Optimality and tight results in parameterized complexity (Dagstuhl Seminar 14451). 1-21 - Wolfgang Banzhaf, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
Algorithmic Cheminformatics (Dagstuhl Seminar 14452). 22-39 - Ulrich Carsten Meyer, Henning Meyerhenke, Ali Pinar, Ilya Safro:
High-performance Graph Algorithms and Applications in Computational Science (Dagstuhl Seminar 14461). 40-58 - Eiko Yoneki, Amitabha Roy, Derek Gordon Murray:
Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar 14462). 59-77 - Jon Crowcroft, Adam Wolisz, Arjuna Sathiaseelan:
Towards an Affordable Internet Access for Everyone: The Quest for Enabling Universal Service Commitment (Dagstuhl Seminar 14471). 78-137 - David R. Gilbert, Monika Heiner, Koichi Takahashi, Adelinde M. Uhrmacher:
Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481). 138-226 - Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku:
Automated Planning and Model Checking (Dagstuhl Seminar 14482). 227-245
Volume 4, Number 12, December 2014
- Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, Martina Angela Sasse:
Socio-Technical Security Metrics (Dagstuhl Seminar 14491). 1-28 - Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh:
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). 29-47 - James Cheney, Torsten Grust, Dimitrios Vytiniotis:
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). 48-67 - Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli:
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). 68-113
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
