Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/dagstuhl-reports/dagstuhl-reports4.bht:"
@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} }
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.