Hasil Pencarian - Adriano Peron

  • Menampilkan 1 - 7 hasil dari 7
Perbaiki Hasil
  1. 1
    Timed Context-Free Temporal Logics

    Timed Context-Free Temporal Logics oleh Laura Bozzelli, Aniello Murano, Adriano Peron

    Diterbitkan 2018-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Web and Wireless Geographic Information Systems

    Web and Wireless Geographic Information Systems oleh Sergio Di Martino, Adriano Peron, Taro Tezuka

    Diterbitkan 2013-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions

    On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions oleh Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

    Diterbitkan 2017-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground

    Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground oleh Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

    Diterbitkan 2018-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete

    Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete oleh Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

    Diterbitkan 2016-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

    Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption oleh Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

    Diterbitkan 2022-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Validation, measurement uncertainty estimation and evaluation of UHPLC greenness for simultaneous determination of metoprolol tartrate and hydrochlorothiazide in binary tablet

    Validation, measurement uncertainty estimation and evaluation of UHPLC greenness for simultaneous determination of metoprolol tartrate and hydrochlorothiazide in binary tablet oleh Claudia Vilela de Oliveira, Adriano Peron, Anas Rashid, Frank Alonso Gavilano Fajardo, Felipe Rebello Lourenço, Marina Franco Maggi Tavares, María Segunda Aurora Prado

    Diterbitkan 2024-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: