Zum Inhalt springen

  1. Geist, Daniel [Herausgeber:in]; Tronci, Enrico [Sonstige Person, Familie und Körperschaft] ; CHARME 12 2003 L'Aquila

    Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003 ; proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2860

  2. Geist, Daniel [Verfasser:in] ; Tronci, Enrico [Sonstige Person, Familie und Körperschaft]

    Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 286000

  3. Chen, Qian Matteo [Verfasser:in]; Mancini, Toni [Verfasser:in]; Melatti, Igor [Verfasser:in]; Tronci, Enrico [Verfasser:in]; Finzi, Alberto [Verfasser:in]

    Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2020

    Erschienen in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (2. : 2020 : Online): 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020 ; (2020), Seite 41-46

  4. Tronci, Enrico

    Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering : Control Software Synthesis from System Level Formal Specifications : Control Software Synthesis from System Level Formal Specifications

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Open Publishing Association, 2013

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 138 (2013)

  5. Tronci, Enrico

    Introductory Paper

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Science and Business Media LLC, 2006

    Erschienen in: International Journal on Software Tools for Technology Transfer, 8 (2006) 4-5, Seite 355-358

  6. Esposito, Marco; Mancini, Toni; Tronci, Enrico

    Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2024

    Erschienen in: IEEE Transactions on Systems, Man, and Cybernetics: Systems, 54 (2024) 3, Seite 1515-1526

  7. Melatti, Igor; Mari, Federico; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico

    A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2022

    Erschienen in: IEEE Transactions on Industrial Electronics, 69 (2022) 8, Seite 8566-8578