Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: Dagstuhl Reports
    Year: 2014
    Volume: 4
    Number: 2
    DBLP: db/journals/dagstuhl-reports/dagstuhl-reports4.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 67  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann.
    Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Journal article
    Alexander M. Fraser, Kevin Knight, Philipp Koehn, Helmut Schmid, Hans Uszkoreit.
    Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Journal article
    Dominique Méry, Bernhard Schätz, Alan Wassyng.
    The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Journal article
    Frederik Armknecht, Helena Handschuh, Tetsu Iwata, Bart Preneel.
    Symmetric Cryptography (Dagstuhl Seminar 14021).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Journal article
    Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel.
    Planning with epistemic goals (Dagstuhl Seminar 14032).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Journal article
    Peer-Timo Bremer, Bernd Mohr, Valerio Pascucci, Martin Schulz.
    Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Journal article
    Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders.
    Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Conference paper
    Bernhard Burgeth, Ingrid Hotz, Anna Vilanova, Carl-Fredrik Westin.
    Visualization and Processing of Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 14082).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Conference paper
    Hans L. Bodlaender, Pinar Heggernes, Daniel Lokshtanov.
    Graph Modification Problems (Dagstuhl Seminar 14071).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Conference paper
    Anthony G. Cohn, Bernd Neumann, Alessandro Saffiotti, Markus Vincze.
    Robots Learning from Experiences (Dagstuhl Seminar 14081).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Show item 1 to 10 of 67  

    Your query returned 67 matches in the database.