Zum Inhalt springen

  1. Martino, Sergio [VerfasserIn] ; Peron, Adriano [Sonstige Person, Familie und Körperschaft]; Tezuka, Taro [Sonstige Person, Familie und Körperschaft]

    Web and Wireless Geographical Information Systems : 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7236

  2. Bozzelli, Laura [VerfasserIn]; Peron, Adriano [VerfasserIn] ; Laura Bozzelli and Adriano Peron [MitwirkendeR]

    A Quantitative Extension of Interval Temporal Logic over Infinite Words

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  3. Bozzelli, Laura [VerfasserIn]; Peron, Adriano [VerfasserIn]; Sánchez, César [VerfasserIn] ; Laura Bozzelli and Adriano Peron and César Sánchez [MitwirkendeR]

    Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  4. Benerecetti, Massimo [VerfasserIn]; Mogavero, Fabio [VerfasserIn]; Peron, Adriano [VerfasserIn] ; Massimo Benerecetti and Fabio Mogavero and Adriano Peron [MitwirkendeR]

    Taming Strategy Logic: Non-Recurrent Fragments

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  5. Bozzelli, Laura [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn] ; Laura Bozzelli and Angelo Montanari and Adriano Peron [MitwirkendeR]

    Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  6. Bozzelli, Laura [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn] ; Laura Bozzelli and Angelo Montanari and Adriano Peron [MitwirkendeR]

    Interval Temporal Logic for Visibly Pushdown Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  7. Bozzelli, Laura [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn] ; Laura Bozzelli and Angelo Montanari and Adriano Peron [MitwirkendeR]

    Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  8. Molinari, Alberto [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn] ; Alberto Molinari and Angelo Montanari and Adriano Peron [MitwirkendeR]

    A Model Checking Procedure for Interval Temporal Logics based on Track Representatives

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  9. Bozzelli, Laura [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn]; Sala, Pietro [VerfasserIn] ; Laura Bozzelli and Angelo Montanari and Adriano Peron and Pietro Sala [MitwirkendeR]

    Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  10. Bozzelli, Laura [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn]; Sala, Pietro [VerfasserIn] ; Laura Bozzelli and Angelo Montanari and Adriano Peron and Pietro Sala [MitwirkendeR]

    On a Temporal Logic of Prefixes and Infixes

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  11. Bozzelli, Laura [VerfasserIn]; Molinari, Alberto [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn]

    Undecidability of Future Timeline-based Planning over Dense Temporal Domains?

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2020

    Erschienen in: Italian Conference on Theoretical Computer Science (21. : 2020 : Online): ICTCS 2020, 21st Italian Conference on Theoretical Computer Science ; (2020), Seite 155-166

  12. Bozzelli, Laura [VerfasserIn]; Molinari, Alberto [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn]; Sala, Pietro [VerfasserIn] ; Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala [MitwirkendeR]

    Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  13. Bozzelli, Laura [VerfasserIn]; Molinari, Alberto [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Peron, Adriano [VerfasserIn]; Sala, Pietro [VerfasserIn] ; Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala [MitwirkendeR]

    Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016