Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014
    URL: http://dx.doi.org/10.1007/978-3-642-54830-7
    DBLP: db/conf/fossacs/fossacs2014.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 29  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Takeshi Tsukada, Naoki Kobayashi 0001.
    Complexity of Model-Checking Call-by-Value Programs.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Krishnendu Chatterjee, Laurent Doyen 0001, Hugo Gimbert, Youssouf Oualhadj.
    Perfect-Information Stochastic Mean-Payoff Parity Games.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi.
    Interacting Bialgebras Are Frobenius.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Guy Avni, Orna Kupferman, Tami Tamir.
    Network-Formation Games with Regular Objectives.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Shaull Almagor, Orna Kupferman.
    Latticed-LTL Synthesis in the Presence of Noisy Inputs.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Pedro R. D'Argenio, Daniel Gebler, Matias David Lee.
    Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Corina Cîrstea.
    A Coalgebraic Approach to Linear-Time Logics.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat.
    Generalized Eilenberg Theorem I: Local Varieties of Languages.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Hongfei Fu.
    Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Alberto Carraro, Giulio Guerrieri.
    A Semantical and Operational Account of Call-by-Value Solvability.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Show item 1 to 10 of 29  

    Your query returned 29 matches in the database.