( en | de | ru )

 

Disambiguierung von "Massini, Annalisa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Level Formal Verification via Model Checking Driven Simulation.

, , , , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 296-312. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rudolf Massini

Annalisa Marotto

Annalisa Viviani

Annalisa Zuccotti

Annalisa Grellmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks., und . IEEE Access, (2023)Optimal three-dimensional layout of interconnection networks., und . Theor. Comput. Sci., 255 (1-2): 263-279 (2001)Efficient algorithms for checking the equivalence of multistage interconnection networks., und . J. Parallel Distributed Comput., 64 (1): 135-150 (2004)A New Perspective for Rearrangeability of MINs., , und . SoftCOM, Seite 1-6. IEEE, (2021)An optimal layout of multigrid networks., und . Inf. Process. Lett., 72 (3-4): 137-141 (1999)P&P protocol: local coordination of mobile sensors for self-deployment., , und . MSWiM, Seite 305-314. ACM, (2009)Hybrid Solver for Quasi Block Diagonal Linear Systems., und . PPAM (1), Volume 12043 von Lecture Notes in Computer Science, Seite 129-140. Springer, (2019)New results on edge-bandwidth., , und . Theor. Comput. Sci., 307 (3): 503-513 (2003)Patient-specific models from inter-patient biological models and clinical records., , , , , , , , , und 5 andere Autor(en). FMCAD, Seite 207-214. IEEE, (2014)Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage, , , , und . (2008)