يعرض 1 - 10 نتائج من 336 نتيجة بحث عن '"Villa, Tiziano"', وقت الاستعلام: 0.92s تنقيح النتائج
  1. 1
    مؤتمر
    Seto: A Framework for the Decomposition of Petri Nets and Transition Systems

    المؤلفون: Teren, Viktor, Cortadella, Jordi, Villa, Tiziano

    المصدر: 2023 26th Euromicro Conference on Digital System Design (DSD) DSD Digital System Design (DSD), 2023 26th Euromicro Conference on. :669-677 Sep, 2023

    Relation: 2023 26th Euromicro Conference on Digital System Design (DSD)

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package

    المؤلفون: Capogrosso, Luigi, Geretti, Luca, Cristani, Marco, Fummi, Franco, Villa, Tiziano

    المصدر: 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) Design and Diagnostics of Electronic Circuits and Systems (DDECS), 2023 26th International Symposium on. :87-90 May, 2023

    Relation: 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Process-driven Collision Prediction in Human-Robot Work Environments

    المؤلفون: Geretti, Luca, Centomo, Stefano, Boldo, Michele, Martini, Enrico, Bombieri, Nicola, Quaglia, Davide, Villa, Tiziano

    المصدر: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) Emerging Technologies and Factory Automation (ETFA), 2022 IEEE 27th International Conference on. :1-8 Sep, 2022

    Relation: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)

    أضف إلى المفضلة
  4. 4
    تقرير
    Rigorous Function Calculi in Ariadne

    المؤلفون: Collins, Pieter, Geretti, Luca, Gonzalez, Sanja Zivanovic, Bresolin, Davide, Villa, Tiziano

    مصطلحات موضوعية: Computer Science - Mathematical Software

    URL الوصول: http://arxiv.org/abs/2306.17541

    أضف إلى المفضلة
  5. 5
    مؤتمر
    Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets

    المؤلفون: Teren, Viktor, Cortadella, Jordi, Villa, Tiziano

    المصدر: 2022 25th Euromicro Conference on Digital System Design (DSD) DSD Digital System Design (DSD), 2022 25th Euromicro Conference on. :165-173 Aug, 2022

    Relation: 2022 25th Euromicro Conference on Digital System Design (DSD)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    A Boolean Heuristic for Disjoint SOP Synthesis

    المؤلفون: Balasubramanian, Padmanabhan, Bernasconi, Anna, Ciriani, Valentina, Villa, Tiziano

    المصدر: 2021 24th Euromicro Conference on Digital System Design (DSD) DSD Digital System Design (DSD) 2021 24th Euromicro Conference on. :62-68 Sep, 2021

    Relation: 2021 24th Euromicro Conference on Digital System Design (DSD)

    أضف إلى المفضلة
  7. 7
    مؤتمر
    Decomposition of transition systems into sets of synchronizing state machines

    المؤلفون: Teren, Viktor, Cortadella, Jordi, Villa, Tiziano

    المصدر: 2021 24th Euromicro Conference on Digital System Design (DSD) DSD Digital System Design (DSD) 2021 24th Euromicro Conference on. :77-81 Sep, 2021

    Relation: 2021 24th Euromicro Conference on Digital System Design (DSD)

    أضف إلى المفضلة
  8. 8
    مؤتمر
    Computing the full quotient in bi-decomposition by approximation

    المؤلفون: Bernasconi, Anna, Ciriani, Valentina, Cortadella, Jordi, Villa, Tiziano

    المصدر: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE). :580-585 Mar, 2020

    Relation: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    Synchronous Composition of Quasi-Complete and Quasi-Deterministic FSMs

    المؤلفون: Burdonov, Igor, Kossachev, Alexandr, Yevtushenko, Nina, Villa, Tiziano

    المصدر: 2019 Actual Problems of Systems and Software Engineering (APSSE) Actual Problems of Systems and Software Engineering (APSSE), 2019. :69-76 Nov, 2019

    Relation: 2019 Actual Problems of Systems and Software Engineering (APSSE)

    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

    المؤلفون: Geretti, Luca, Collins, Pieter, Nuzzo, Pierluigi, Villa, Tiziano

    المصدر: In Nonlinear Analysis: Hybrid Systems November 2024 54

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء