default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Reports, Volume 2
Volume 2, Number 1, January 2012
- Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek:
Foundations for Scripting Languages (Dagstuhl Seminar 12011). 1-18 - Verónica Becher
, Laurent Bienvenu, Rodney G. Downey, Elvira Mayordomo:
Computability, Complexity and Randomness (Dagstuhl Seminar 12021). 19-38 - Frederik Armknecht, Stefan Lucks, Bart Preneel, Phillip Rogaway:
Symmetric Cryptography (Dagstuhl Seminar 12031). 39-49 - Salvatore Greco, Joshua D. Knowles, Kaisa Miettinen, Eckart Zitzler:
Learning in Multiobjective Optimization (Dagstuhl Seminar 12041). 50-99 - Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon:
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). 100-116
Volume 2, Number 2, February 2012
- Georg Carle, Hervé Debar, Falko Dressler, Hartmut König:
Network Attack Detection and Defense Early Warning Systems - Challenges and Perspectives (Dagstuhl Seminar 12061). 1-20 - Ira D. Baxter, Michael Conradt, James R. Cordy, Rainer Koschke:
Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071). 21-57 - Daniel A. Keim, Fabrice Rossi, Thomas Seidl, Michel Verleysen, Stefan Wrobel:
Information Visualization, Visual Data Mining and Machine Learning (Dagstuhl Seminar 12081). 58-83 - James Cheney, Anthony Finkelstein, Bertram Ludäscher, Stijn Vansummeren:
Principles of Provenance (Dagstuhl Seminar 12091). 84-113
Volume 2, Number 3, March 2012
- Edith Elkind, Christian Klamler, Jeffrey S. Rosenschein, M. Remzi Sanver:
Computation and Incentives in Social Choice (Dagstuhl Seminar 12101). 1-22 - Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre:
Normative Multi-Agent Systems (Dagstuhl Seminar 12111). 23-49 - Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, Maurice Herlihy:
Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121). 50-66 - Robert B. France, Ulrich Frank, Andreas Oberweis, Matti Rossi, Stefan Strecker:
Open Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131). 67-85
Volume 2, Number 4, April 2012
- Daniel F. Keefe, Antonio Krüger, Frank Steinicke, Jean-Baptiste de la Rivière:
Touching the 3rd Dimension (Dagstuhl Seminar 12151). 1-20 - Rastislav Bodík, Sumit Gulwani, Eran Yahav:
Software Synthesis (Dagstuhl Seminar 12152). 21-38 - Grigoris Antoniou, Óscar Corcho, Karl Aberer, Elena Simperl, Rudi Studer:
Semantic Data Management (Dagstuhl Seminar 12171). 39-65
Volume 2, Number 5, May 2012
- Markus Fiedler, Sebastian Möller, Peter Reichl:
Quality of Experience: From User Perception to Instrumental Metrics (Dagstuhl Seminar 12181). 1-25 - Matthias Häsel, Thorsten Quandt, Gottfried Vossen:
Social, Supply-Chain, Administrative, Business, Commerce, Political networks: a multi-discipline perspective (Dagstuhl Perspectives Workshop 12182). 26-42 - Simon M. Lucas, Michael Mateas, Mike Preuss, Pieter Spronck, Julian Togelius:
Artificial and Computational Intelligence in Games (Dagstuhl Seminar 12191). 43-70 - Arndt Bode, Adolfy Hoisie, Dieter Kranzlmüller, Wolfgang E. Nagel:
Co-Design of Systems and Applications for Exascale (Dagstuhl Perspectives Worksop 12212). 71-92 - Dedre Gentner, Frank van Harmelen, Pascal Hitzler, Krzysztof Janowicz, Kai-Uwe Kühnberger:
Cognitive Approaches for the Semantic Web (Dagstuhl Seminar 12221). 93-116
Volume 2, Number 6, June 2012
- Katarzyna Wac, David Hausheer, Markus Fiedler, Paolo Bonato:
Future Internet for eHealth (Dagstuhl Seminar 12231). 1-25 - Michael R. Fellows, Jiong Guo, Dániel Marx, Saket Saurabh:
Data Reduction and Problem Kernels (Dagstuhl Seminar 12241). 26-50 - Stephen G. Kobourov, Alexander Wolff, Frank van Ham:
Putting Data on the Map (Dagstuhl Seminar 12261). 51-76
Volume 2, Number 7, July 2012
- Alan Bundy, Dieter Hutter, Cliff B. Jones, J Strother Moore:
AI meets Formal Software Development (Dagstuhl Seminar 12271). 1-29 - Peter H. Feiler, Jérôme Hugues, Oleg Sokolsky:
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). 30-55 - Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Veríssimo, Michael Waidner:
Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281). 56-72 - Shivnath Babu, Goetz Graefe, Harumi A. Kuno:
Database Workload Management (Dagstuhl Seminar 12282). 73-91 - Alberto Apostolico, Andreas W. M. Dress, Laxmi Parida:
Structure Discovery in Biology: Motifs, Networks & Phylogenies (Dagstuhl Seminar 12291). 92-117
Volume 2, Number 8, August 2012
- Goetz Graefe, Wey Guy, Harumi A. Kuno, Glenn N. Paulley:
Robust Query Processing (Dagstuhl Seminar 12321). 1-15 - Christopher W. Clifton, Bart Kuijpers, Katharina Morik, Yücel Saygin:
Mobility Data Mining and Privacy (Dagstuhl Seminar 12331). 16-53 - Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, Matteo Sonza Reorda:
Verifying Reliability (Dagstuhl Seminar 12341). 57-73 - Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke:
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). 74-98 - Samson Abramsky, Jean Krivine, Michael W. Mislove:
Information Flow and Its Applications (Dagstuhl Seminar 12352). 99-112
Volume 2, Number 9, September 2012
- Ali Ghodsi, Börje Ohlman, Jörg Ott, Ignacio Solis, Matthias Wählisch:
Information-centric networking - Ready for the real world? (Dagstuhl Seminar 12361). 1-14 - Paul Buitelaar, Key-Sun Choi, Philipp Cimiano, Eduard H. Hovy:
The Multilingual Semantic Web (Dagstuhl Seminar 12362). 15-94 - Pan Hui, Teemu Koponen:
Software Defined Networking (Dagstuhl Seminar 12363). 95-108 - Anthony D. Joseph, Pavel Laskov, Fabio Roli, J. Doug Tygar, Blaine Nelson:
Machine Learning Methods for Computer Security (Dagstuhl Perspectives Workshop 12371). 109-130 - Carsten Görg, Lawrence Hunter, Jessie Kennedy, Seán I. O'Donoghue, Jarke J. van Wijk:
Biological Data Visualization (Dagstuhl Seminar 12372). 131-164 - Jan Camenisch, Mark Manulis, Gene Tsudik, Rebecca N. Wright:
Privacy-Oriented Cryptography (Dagstuhl Seminar 12381). 165-183 - Tal Hassner, Malte Rehbein, Peter A. Stokes, Lior Wolf:
Computation and Palaeography: Potentials and Limits (Dagstuhl Perspectives Workshop 12382). 184-199 - Alexander Keller, Frances Y. Kuo, Andreas Neuenkirch, Joseph F. Traub:
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 12391). 200-225
Volume 2, Number 10, October 2012
- Lieven Desmet, Martin Johns, Benjamin Livshits, Andrei Sabelfeld:
Web Application Security (Dagstuhl Seminar 12401). 1-37 - Ernst-Erich Doberkat, Alexander Kurz:
Coalgebraic Logics (Dagstuhl Seminar 12411). 38-59 - Manindra Agrawal, Thomas Thierauf, Christopher Umans:
Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421). 60-78 - James Davis, Bernd Jähne, Andreas Kolb, Ramesh Raskar, Christian Theobalt:
Time-of-Flight Imaging: Algorithms, Sensors and Applications (Dagstuhl Seminar 12431). 79-104 - James P. Delgrande, Thomas Meyer, Ulrike Sattler:
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). 105-116 - Jane Cleland-Huang, Matthias Jarke, Lin Liu, Kalle Lyytinen:
Requirements Management - Novel Perspectives and Challenges (Dagstuhl Seminar 12442). 117-152
Volume 2, Number 11, November 2012
- Johan Håstad, Andrei A. Krokhin, Dániel Marx:
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 12451). 1-19 - Kurt Mehlhorn, Moshe Y. Vardi, Marc Herbstritt:
Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). 20-44 - Nikolaj S. Bjørner, Krishnendu Chatterjee, Laura Kovács, Rupak Majumdar:
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461). 45-65 - François Boulier, Anne Shiu, Thomas Sturm, Andreas Weber:
Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). 66-86 - Nadia Creignou, Nicola Galesi, Oliver Kullmann, Heribert Vollmer:
SAT Interactions (Dagstuhl Seminar 12471). 87-101 - Erik Elmroth, Michael Factor, Ethan L. Miller, Margo I. Seltzer:
Is the Future of Preservation Cloudy? (Dagstuhl Seminar 12472). 102-134 - Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi:
Quantitative Security Analysis (Dagstuhl Seminar 12481). 135-154 - Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel:
Analysis of Security APIs (Dagstuhl Seminar 12482). 155-168
Volume 2, Number 12, December 2012
- Susanne Biundo-Stephan, Hans Werner Guesgen, Joachim Hertzberg, Stephen Marsland:
Interpreting Observed Action (Dagstuhl Seminar 12491). 1-16 - James L. Crowley, Kai Kunze, Paul Lukowicz, Albrecht Schmidt:
Human Activity Recognition in Smart Environments (Dagstuhl Seminar 12492). 17-36 - Lizzie Coles-Kemp, Carrie Gates, Dieter Gollmann, Sean Peisert, Christian W. Probst:
Organizational Processes for Supporting Sustainable Security (Dagstuhl Seminar 12501). 37-48 - Marc Dacier, Frank Kargl, Alfonso Valdes:
Securing Critical Infrastructures from Targeted Attacks (Dagstuhl Seminar 12502). 49-63 - Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga:
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). 64-88 - Joachim Gudmundsson, Patrick Laube, E. Emiel van Loon:
Representation, Analysis and Visualization of Moving Objects (Dagstuhl Seminar 12512). 89-106
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 2026-02-13 22:40 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:
