Search dblp for Publications

export results for "toc:db/journals/dagstuhl-reports/dagstuhl-reports4.bht:"

 download as .bib file

@article{DBLP:journals/dagstuhl-reports/AbateFHS14,
  author       = {Alessandro Abate and
                  Martin Fr{\"{a}}nzle and
                  Ian A. Hiskens and
                  Martin Strelec},
  title        = {Modeling, Verification, and Control of Complex Systems for Energy
                  Networks (Dagstuhl Seminar 14441)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {10},
  pages        = {69--97},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.10.69},
  doi          = {10.4230/DAGREP.4.10.69},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AbateFHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamARS14,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Alberto Avritzer and
                  Anne Remke and
                  William H. Sanders},
  title        = {Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl
                  Seminar 14031)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {1},
  pages        = {36--82},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.1.36},
  doi          = {10.4230/DAGREP.4.1.36},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamARS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AdarichevaIBT14,
  author       = {Kira V. Adaricheva and
                  Giuseppe F. Italiano and
                  Hans Kleine{ }B{\"{u}}ning and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Horn formulas, directed hypergraphs, lattices and closure systems:
                  related formalisms and applications (Dagstuhl Seminar 14201)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {5},
  pages        = {1--26},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.5.1},
  doi          = {10.4230/DAGREP.4.5.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AdarichevaIBT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AgotnesB14,
  author       = {Thomas {\AA}gotnes and
                  Nils Bulling},
  title        = {Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar
                  14332)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {8},
  pages        = {21--44},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.8.21},
  doi          = {10.4230/DAGREP.4.8.21},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AgotnesB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AgotnesLLN14,
  author       = {Thomas {\AA}gotnes and
                  Gerhard Lakemeyer and
                  Benedikt L{\"{o}}we and
                  Bernhard Nebel},
  title        = {Planning with epistemic goals (Dagstuhl Seminar 14032)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {1},
  pages        = {83--103},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.1.83},
  doi          = {10.4230/DAGREP.4.1.83},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AgotnesLLN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AgrawalKTU14,
  author       = {Manindra Agrawal and
                  Valentine Kabanets and
                  Thomas Thierauf and
                  Christopher Umans},
  title        = {Algebra in Computational Complexity (Dagstuhl Seminar 14391)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {9},
  pages        = {85--105},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.9.85},
  doi          = {10.4230/DAGREP.4.9.85},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AgrawalKTU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AlexaBMR14,
  author       = {Marc Alexa and
                  Bernd Bickel and
                  Sara McMains and
                  Holly E. Rushmeier},
  title        = {Computational Aspects of Fabrication (Dagstuhl Seminar 14361)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {8},
  pages        = {126--150},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.8.126},
  doi          = {10.4230/DAGREP.4.8.126},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AlexaBMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AndreAHP14,
  author       = {Elisabeth Andr{\'{e}} and
                  Ruth Aylett and
                  Gert Jan Hofstede and
                  Ana Paiva},
  title        = {Computational Models of Cultural Behavior for Human-Agent Interaction
                  (Dagstuhl Seminar 14131)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {103--137},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.103},
  doi          = {10.4230/DAGREP.4.3.103},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AndreAHP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ApelABZ14,
  author       = {Sven Apel and
                  Joanne M. Atlee and
                  Luciano Baresi and
                  Pamela Zave},
  title        = {Feature Interactions: The Next Generation (Dagstuhl Seminar 14281)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {7},
  pages        = {1--24},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.7.1},
  doi          = {10.4230/DAGREP.4.7.1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ApelABZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ArmknechtHIP14,
  author       = {Frederik Armknecht and
                  Helena Handschuh and
                  Tetsu Iwata and
                  Bart Preneel},
  title        = {Symmetric Cryptography (Dagstuhl Seminar 14021)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {1},
  pages        = {1--16},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.1.1},
  doi          = {10.4230/DAGREP.4.1.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ArmknechtHIP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BalcanMRR14,
  author       = {Maria{-}Florina Balcan and
                  Bodo Manthey and
                  Heiko R{\"{o}}glin and
                  Tim Roughgarden},
  title        = {Analysis of Algorithms Beyond the Worst Case (Dagstuhl Seminar 14372)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {9},
  pages        = {30--49},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.9.30},
  doi          = {10.4230/DAGREP.4.9.30},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BalcanMRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BanzhafFMS14,
  author       = {Wolfgang Banzhaf and
                  Christoph Flamm and
                  Daniel Merkle and
                  Peter F. Stadler},
  title        = {Algorithmic Cheminformatics (Dagstuhl Seminar 14452)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {11},
  pages        = {22--39},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.11.22},
  doi          = {10.4230/DAGREP.4.11.22},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BanzhafFMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BartheHKU14,
  author       = {Gilles Barthe and
                  Michael Hicks and
                  Florian Kerschbaum and
                  Dominique Unruh},
  title        = {The Synergy Between Programming Languages and Cryptography (Dagstuhl
                  Seminar 14492)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {12},
  pages        = {29--47},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.12.29},
  doi          = {10.4230/DAGREP.4.12.29},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BartheHKU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BenediktLC14,
  author       = {Michael Benedikt and
                  Carsten Lutz and
                  Balder ten Cate},
  title        = {Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar
                  14331)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {8},
  pages        = {1--20},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.8.1},
  doi          = {10.4230/DAGREP.4.8.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BenediktLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BernsteinLNSS14,
  author       = {Abraham Bernstein and
                  Jan Marco Leimeister and
                  Natasha F. Noy and
                  Cristina Sarasua and
                  Elena Simperl},
  title        = {Crowdsourcing and the Semantic Web (Dagstuhl Seminar 14282)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {7},
  pages        = {25--51},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.7.25},
  doi          = {10.4230/DAGREP.4.7.25},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BernsteinLNSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyerHKM14,
  author       = {Dirk Beyer and
                  Marieke Huisman and
                  Vladimir Klebanov and
                  Rosemary Monahan},
  title        = {Evaluating Software Verification Systems: Benchmarks and Competitions
                  (Dagstuhl Reports 14171)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {4},
  pages        = {1--19},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.4.1},
  doi          = {10.4230/DAGREP.4.4.1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BeyerHKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyersdorffHKS14,
  author       = {Olaf Beyersdorff and
                  Edward A. Hirsch and
                  Jan Kraj{\'{\i}}cek and
                  Rahul Santhanam},
  title        = {Optimal algorithms and proofs (Dagstuhl Seminar 14421)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {10},
  pages        = {51--68},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.10.51},
  doi          = {10.4230/DAGREP.4.10.51},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BeyersdorffHKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BiemannCFM14,
  author       = {Chris Biemann and
                  Gregory R. Crane and
                  Christiane D. Fellbaum and
                  Alexander Mehler},
  title        = {Computational Humanities - bridging the gap between Computer Science
                  and Digital Humanities (Dagstuhl Seminar 14301)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {7},
  pages        = {80--111},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.7.80},
  doi          = {10.4230/DAGREP.4.7.80},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BiemannCFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BodlaenderHL14,
  author       = {Hans L. Bodlaender and
                  Pinar Heggernes and
                  Daniel Lokshtanov},
  title        = {Graph Modification Problems (Dagstuhl Seminar 14071)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {38--59},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.38},
  doi          = {10.4230/DAGREP.4.2.38},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BodlaenderHL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BremerMPS14,
  author       = {Peer{-}Timo Bremer and
                  Bernd Mohr and
                  Valerio Pascucci and
                  Martin Schulz},
  title        = {Connecting Performance Analysis and Visualization to Advance Extreme
                  Scale Computing (Dagstuhl Perspectives Workshop 14022)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {1},
  pages        = {17--35},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.1.17},
  doi          = {10.4230/DAGREP.4.1.17},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BremerMPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BreussBMW14,
  author       = {Michael Breu{\ss} and
                  Alfred M. Bruckstein and
                  Petros Maragos and
                  Stefanie Wuhrer},
  title        = {New Perspectives in Shape Analysis (Dagstuhl Seminar 14072)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {60--78},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.60},
  doi          = {10.4230/DAGREP.4.2.60},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BreussBMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BuchinGKT14,
  author       = {Maike Buchin and
                  Luca Giuggioli and
                  Marc J. van Kreveld and
                  Guy Theraulaz},
  title        = {Interaction and Collective Movement Processing (Dagstuhl Seminar 14132)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {138--152},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.138},
  doi          = {10.4230/DAGREP.4.3.138},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BuchinGKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BurgethHBW14,
  author       = {Bernhard Burgeth and
                  Ingrid Hotz and
                  Anna Vilanova Bartrol{\'{\i}} and
                  Carl{-}Fredrik Westin},
  title        = {Visualization and Processing of Higher Order Descriptors for Multi-Valued
                  Data (Dagstuhl Seminar 14082)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {110--128},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.110},
  doi          = {10.4230/DAGREP.4.2.110},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/BurgethHBW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CadarGSS14,
  author       = {Cristian Cadar and
                  Vijay Ganesh and
                  Raimondas Sasnauskas and
                  Koushik Sen},
  title        = {Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {10},
  pages        = {98--114},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.10.98},
  doi          = {10.4230/DAGREP.4.10.98},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CadarGSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ChenHRS14,
  author       = {Min Chen and
                  Charles D. Hansen and
                  Penny Rheingans and
                  Gerik Scheuermann},
  title        = {Scientific Visualization (Dagstuhl Seminar 14231)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {6},
  pages        = {1--28},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.6.1},
  doi          = {10.4230/DAGREP.4.6.1},
  timestamp    = {Tue, 04 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChenHRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CheneyGV14,
  author       = {James Cheney and
                  Torsten Grust and
                  Dimitrios Vytiniotis},
  title        = {Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {12},
  pages        = {48--67},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.12.48},
  doi          = {10.4230/DAGREP.4.12.48},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CheneyGV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ChengCFJR14,
  author       = {Betty H. C. Cheng and
                  Beno{\^{\i}}t Combemale and
                  Robert B. France and
                  Jean{-}Marc J{\'{e}}z{\'{e}}quel and
                  Bernhard Rumpe},
  title        = {Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {10},
  pages        = {32--50},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.10.32},
  doi          = {10.4230/DAGREP.4.10.32},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/ChengCFJR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CimattiEFMP14,
  author       = {Alessandro Cimatti and
                  Stefan Edelkamp and
                  Maria Fox and
                  Daniele Magazzeni and
                  Erion Plaku},
  title        = {Automated Planning and Model Checking (Dagstuhl Seminar 14482)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {11},
  pages        = {227--245},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.11.227},
  doi          = {10.4230/DAGREP.4.11.227},
  timestamp    = {Tue, 02 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CimattiEFMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CohnNSV14,
  author       = {Anthony G. Cohn and
                  Bernd Neumann and
                  Alessandro Saffiotti and
                  Markus Vincze},
  title        = {Robots Learning from Experiences (Dagstuhl Seminar 14081)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {79--109},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.79},
  doi          = {10.4230/DAGREP.4.2.79},
  timestamp    = {Tue, 20 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CohnNSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CousotKS14,
  author       = {Patrick Cousot and
                  Daniel Kroening and
                  Carsten Sinz},
  title        = {Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {8},
  pages        = {107--125},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.8.107},
  doi          = {10.4230/DAGREP.4.8.107},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CousotKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CrochemoreCKN14,
  author       = {Maxime Crochemore and
                  James D. Currie and
                  Gregory Kucherov and
                  Dirk Nowotka},
  title        = {Combinatorics and Algorithmics of Strings (Dagstuhl Seminar 14111)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {28--46},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.28},
  doi          = {10.4230/DAGREP.4.3.28},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CrochemoreCKN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CrowcroftWS14,
  author       = {Jon Crowcroft and
                  Adam Wolisz and
                  Arjuna Sathiaseelan},
  title        = {Towards an Affordable Internet Access for Everyone: The Quest for
                  Enabling Universal Service Commitment (Dagstuhl Seminar 14471)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {11},
  pages        = {78--137},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.11.78},
  doi          = {10.4230/DAGREP.4.11.78},
  timestamp    = {Sun, 29 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CrowcroftWS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CzarneckiHJJM14,
  author       = {Krzysztof Czarnecki and
                  Arnaud Hubaux and
                  Ethan Jackson and
                  Dietmar Jannach and
                  Tomi M{\"{a}}nnist{\"{o}}},
  title        = {Unifying Product and Software Configuration (Dagstuhl Seminar 14172)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {4},
  pages        = {20--35},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.4.20},
  doi          = {10.4230/DAGREP.4.4.20},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CzarneckiHJJM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DacierKKV14,
  author       = {Marc Dacier and
                  Frank Kargl and
                  Hartmut K{\"{o}}nig and
                  Alfonso Valdes},
  title        = {Network Attack Detection and Defense: Securing Industrial Control
                  Systems for Critical Infrastructures (Dagstuhl Seminar 14292)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {7},
  pages        = {62--79},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.7.62},
  doi          = {10.4230/DAGREP.4.7.62},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DacierKKV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DardickEGKR14,
  author       = {Glenn S. Dardick and
                  Barbara Endicott{-}Popovsky and
                  Pavel Gladyshev and
                  Thomas Kemmerich and
                  Carsten Rudolph},
  title        = {Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {150--190},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.150},
  doi          = {10.4230/DAGREP.4.2.150},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DardickEGKR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DietrichEGPS14,
  author       = {Franz Dietrich and
                  Ulle Endriss and
                  Davide Grossi and
                  Gabriella Pigozzi and
                  Marija Slavkovik},
  title        = {{JA4AI} - Judgment Aggregation for Artificial Intelligence (Dagstuhl
                  Seminar 14202)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {5},
  pages        = {27--39},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.5.27},
  doi          = {10.4230/DAGREP.4.5.27},
  timestamp    = {Tue, 21 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DietrichEGPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DigGMS14,
  author       = {Danny Dig and
                  William G. Griswold and
                  Emerson R. Murphy{-}Hill and
                  Max Sch{\"{a}}fer},
  title        = {The Future of Refactoring (Dagstuhl Seminar 14211)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {5},
  pages        = {40--67},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.5.40},
  doi          = {10.4230/DAGREP.4.5.40},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DigGMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DillenbourgKMW14,
  author       = {Pierre Dillenbourg and
                  Claude Kirchner and
                  John C. Mitchell and
                  Martin Wirsing},
  title        = {Massively Open Online Courses, Current State and Perspectives (Dagstuhl
                  Perspectives Workshop 14112)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {47--61},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.47},
  doi          = {10.4230/DAGREP.4.3.47},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/DillenbourgKMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/EsparzaFMO14,
  author       = {Javier Esparza and
                  Alain Finkel and
                  Pierre McKenzie and
                  Jo{\"{e}}l Ouaknine},
  title        = {Reachability Problems for Infinite-State Systems (Dagstuhl Seminar
                  14141)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {153--180},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.153},
  doi          = {10.4230/DAGREP.4.3.153},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/EsparzaFMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FraserKKSU14,
  author       = {Alexander M. Fraser and
                  Kevin Knight and
                  Philipp Koehn and
                  Helmut Schmid and
                  Hans Uszkoreit},
  title        = {Statistical Techniques for Translating to Morphologically Rich Languages
                  (Dagstuhl Seminar 14061)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {1--16},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.1},
  doi          = {10.4230/DAGREP.4.2.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FraserKKSU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FurnkranzHRSS14,
  author       = {Johannes F{\"{u}}rnkranz and
                  Eyke H{\"{u}}llermeier and
                  Cynthia Rudin and
                  Roman Slowinski and
                  Scott Sanner},
  title        = {Preference Learning (Dagstuhl Seminar 14101)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {1--27},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.1},
  doi          = {10.4230/DAGREP.4.3.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/FurnkranzHRSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GalKRR14,
  author       = {Anna G{\'{a}}l and
                  Michal Kouck{\'{y}} and
                  Oded Regev and
                  R{\"{u}}diger Reischuk},
  title        = {Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {62--84},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.62},
  doi          = {10.4230/DAGREP.4.3.62},
  timestamp    = {Thu, 02 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GalKRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GallMWZ14,
  author       = {Harald C. Gall and
                  Tim Menzies and
                  Laurie A. Williams and
                  Thomas Zimmermann},
  title        = {Software Development Analytics (Dagstuhl Seminar 14261)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {6},
  pages        = {64--83},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.6.64},
  doi          = {10.4230/DAGREP.4.6.64},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GallMWZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GangemiHKSS14,
  author       = {Aldo Gangemi and
                  Verena V. Hafner and
                  Werner Kuhn and
                  Simon Scheider and
                  Luc Steels},
  title        = {Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar
                  14142)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {181--201},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.181},
  doi          = {10.4230/DAGREP.4.3.181},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GangemiHKSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GarcezGHL14,
  author       = {Artur S. d'Avila Garcez and
                  Marco Gori and
                  Pascal Hitzler and
                  Lu{\'{\i}}s C. Lamb},
  title        = {Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {9},
  pages        = {50--84},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.9.50},
  doi          = {10.4230/DAGREP.4.9.50},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GarcezGHL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GaugerGGN14,
  author       = {Nicolas R. Gauger and
                  Michael B. Giles and
                  Max D. Gunzburger and
                  Uwe Naumann},
  title        = {Adjoint Methods in Computational Science, Engineering, and Finance
                  (Dagstuhl Seminar 14371)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {9},
  pages        = {1--29},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.9.1},
  doi          = {10.4230/DAGREP.4.9.1},
  timestamp    = {Thu, 24 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GaugerGGN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GiacobazziSZ14,
  author       = {Roberto Giacobazzi and
                  Axel Simon and
                  Sarah Zennou},
  title        = {Challenges in Analysing Executables: Scalability, Self-Modifying Code
                  and Synergy (Dagstuhl Seminar 14241)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {6},
  pages        = {48--63},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.6.48},
  doi          = {10.4230/DAGREP.4.6.48},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GiacobazziSZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GilbertHTU14,
  author       = {David R. Gilbert and
                  Monika Heiner and
                  Koichi Takahashi and
                  Adelinde M. Uhrmacher},
  title        = {Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar
                  14481)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {11},
  pages        = {138--226},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.11.138},
  doi          = {10.4230/DAGREP.4.11.138},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GilbertHTU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GollmannHKPS14,
  author       = {Dieter Gollmann and
                  Cormac Herley and
                  Vincent Koenig and
                  Wolter Pieters and
                  Martina Angela Sasse},
  title        = {Socio-Technical Security Metrics (Dagstuhl Seminar 14491)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {12},
  pages        = {1--28},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.12.1},
  doi          = {10.4230/DAGREP.4.12.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GollmannHKPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HartigMMR14,
  author       = {Hermann H{\"{a}}rtig and
                  Satoshi Matsuoka and
                  Frank Mueller and
                  Alexander Reinefeld},
  title        = {Resilience in Exascale Computing (Dagstuhl Seminar 14402)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {9},
  pages        = {124--139},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.9.124},
  doi          = {10.4230/DAGREP.4.9.124},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HartigMMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HassnerSST14,
  author       = {Tal Hassner and
                  Robert Sablatnig and
                  Dominique Stutzmann and
                  S{\'{e}}gol{\`{e}}ne M. Tarte},
  title        = {Digital Palaeography: New Machines and Old Texts (Dagstuhl Seminar
                  14302)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {7},
  pages        = {112--134},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.7.112},
  doi          = {10.4230/DAGREP.4.7.112},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HassnerSST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HaxhimusaRVW14,
  author       = {Yll Haxhimusa and
                  Iris van Rooij and
                  Sashank Varma and
                  Todd Wareham},
  title        = {Resource-bounded Problem Solving (Dagstuhl Seminar 14341)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {8},
  pages        = {45--72},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.8.45},
  doi          = {10.4230/DAGREP.4.8.45},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HaxhimusaRVW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HengleinJKT14,
  author       = {Fritz Henglein and
                  Ranjit Jhala and
                  Shriram Krishnamurthi and
                  Peter Thiemann},
  title        = {Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl
                  Seminar 14271)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {6},
  pages        = {84--107},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.6.84},
  doi          = {10.4230/DAGREP.4.6.84},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HengleinJKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HillstonPWZ14,
  author       = {Jane Hillston and
                  Jeremy Pitt and
                  Martin Wirsing and
                  Franco Zambonelli},
  title        = {Collective Adaptive Systems: Qualitative and Quantitative Modelling
                  and Analysis (Dagstuhl Seminar 14512)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {12},
  pages        = {68--113},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.12.68},
  doi          = {10.4230/DAGREP.4.12.68},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HillstonPWZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HuhnsKKSU14,
  author       = {Michael N. Huhns and
                  Wolfgang Ketter and
                  Ryszard Kowalczyk and
                  Fabrice Saffre and
                  Rainer Unland},
  title        = {Multi-agent systems and their role in future energy grids (Dagstuhl
                  Seminar 14181)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {4},
  pages        = {37--48},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.4.37},
  doi          = {10.4230/DAGREP.4.4.37},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/HuhnsKKSU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KratschLMR14,
  author       = {Stefan Kratsch and
                  Daniel Lokshtanov and
                  D{\'{a}}niel Marx and
                  Peter Rossmanith},
  title        = {Optimality and tight results in parameterized complexity (Dagstuhl
                  Seminar 14451)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {11},
  pages        = {1--21},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.11.1},
  doi          = {10.4230/DAGREP.4.11.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/KratschLMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KroeningRST14,
  author       = {Daniel Kroening and
                  Thomas W. Reps and
                  Sanjit A. Seshia and
                  Aditya V. Thakur},
  title        = {Decision Procedures and Abstract Interpretation (Dagstuhl Seminar
                  14351)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {8},
  pages        = {89--106},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.8.89},
  doi          = {10.4230/DAGREP.4.8.89},
  timestamp    = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/KroeningRST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KutscherKS14,
  author       = {Dirk Kutscher and
                  Taekyoung Kwon and
                  Ignacio Solis},
  title        = {Information-Centric Networking 3 (Dagstuhl Seminar 14291)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {7},
  pages        = {52--61},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.7.52},
  doi          = {10.4230/DAGREP.4.7.52},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/KutscherKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/Lopez-OrtizMS14,
  author       = {Alejandro L{\'{o}}pez{-}Ortiz and
                  Ulrich Carsten Meyer and
                  Robert Sedgewick},
  title        = {Data Structures and Advanced Models of Computation on Big Data (Dagstuhl
                  Seminar 14091)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {129--149},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.129},
  doi          = {10.4230/DAGREP.4.2.129},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Lopez-OrtizMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/MajumdarMP14,
  author       = {Rupak Majumdar and
                  Richard M. Murray and
                  Pavithra Prabhakar},
  title        = {Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {85--102},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.85},
  doi          = {10.4230/DAGREP.4.3.85},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MajumdarMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/MegiddoMSV14,
  author       = {Nimrod Megiddo and
                  Kurt Mehlhorn and
                  Rahul Savani and
                  Vijay V. Vazirani},
  title        = {Equilibrium Computation (Dagstuhl Seminar 14342)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {8},
  pages        = {73--88},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.8.73},
  doi          = {10.4230/DAGREP.4.8.73},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MegiddoMSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/MerySW14,
  author       = {Dominique M{\'{e}}ry and
                  Bernhard Sch{\"{a}}tz and
                  Alan Wassyng},
  title        = {The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl
                  Seminar 14062)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {2},
  pages        = {17--38},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.2.17},
  doi          = {10.4230/DAGREP.4.2.17},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MerySW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/MeyerMPS14,
  author       = {Ulrich Carsten Meyer and
                  Henning Meyerhenke and
                  Ali Pinar and
                  Ilya Safro},
  title        = {High-performance Graph Algorithms and Applications in Computational
                  Science (Dagstuhl Seminar 14461)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {11},
  pages        = {40--58},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.11.40},
  doi          = {10.4230/DAGREP.4.11.40},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/MeyerMPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/PreneelRRR14,
  author       = {Bart Preneel and
                  Phillip Rogaway and
                  Mark Dermot Ryan and
                  Peter Y. A. Ryan},
  title        = {Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives
                  Workshop 14401)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {9},
  pages        = {106--123},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.9.106},
  doi          = {10.4230/DAGREP.4.9.106},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/PreneelRRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/RaedtNOS14,
  author       = {Luc De Raedt and
                  Siegfried Nijssen and
                  Barry O'Sullivan and
                  Mich{\`{e}}le Sebag},
  title        = {Constraints, Optimization and Data (Dagstuhl Seminar 14411)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {10},
  pages        = {1--31},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.10.1},
  doi          = {10.4230/DAGREP.4.10.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/RaedtNOS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/RehofV14,
  author       = {Jakob Rehof and
                  Moshe Y. Vardi},
  title        = {Design and Synthesis from Components (Dagstuhl Seminar 14232)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {6},
  pages        = {29--47},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.6.29},
  doi          = {10.4230/DAGREP.4.6.29},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/RehofV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/Yoneki0M14,
  author       = {Eiko Yoneki and
                  Amitabha Roy and
                  Derek Gordon Murray},
  title        = {Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar
                  14462)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {11},
  pages        = {59--77},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.11.59},
  doi          = {10.4230/DAGREP.4.11.59},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/Yoneki0M14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics