Miriam Di Ianni

Qualifica
ASSOCIATO CONFERMATO
Curriculum Vitae

Formazione

  • Laurea in Matematica, presso l’Università degli Studi di Roma “La Sapienza”, con votazione 106/110 (1988);
  • Dottorato in Informatica, l’Università degli Studi di Roma “La Sapienza” (1993);
  • Borsa di studio Post-Doc, l’Università degli Studi di Roma “La Sapienza” (1994-1997).

 

 

Posizioni Universitarie

  • Ricercatrice (ING/INF 05)presso il Dipartimento di Ingegneria Elettronica e dell’Informazione dell’Università degli Studi di Perugia (1997-2001);
  • Ricercatrice (INF 01) presso il Dipartimento di Matematica dell’Università degli Studi di Roma Tor Vergata (2001-2004);
  • Professore Associato (INF 01) presso il Dipartimento di Matematica dell’Università degli Studi di Roma “Tor Vergata” (2004-).

 

 

Attività didattica

  • Cicli di seminari interni ai corsi di Teoria della complessità, Algoritmi e Strutture Dati, Architettura degli elaboratori per il Corso di Laurea in Scienze dell’Informazione dell’Università “La Sapienza” di Roma, durante i periodi di Dottorato e Post-Dottorato;
  • Corsi di Sistemi Operativi e Laboratorio di Sistemi Operativi per il Diploma in Informatica dell’Università degli Studi di Camerino (1996);
  • Corsi di Fondamenti di Informatica per i Corsi di Laurea in Ingegneria Elettronica ed in Ingegneria dei Materiali dell’Università di Perugina (1997-2002);
  • Corso di Laboratorio di Informatica per il Corso di Laurea in Matematica dell’Università degli Studi di Roma “Tor Vergata” (2002);
  • Corso di Programmazione Orientata agli Oggetti per il Master in Tecnologie Informatiche dell’Università degli Studi di Roma “Tor Vergata”(2003);
  • Corsi di Linguaggi di Programmazione e Metodologie di Programmazione per il corso di Laurea in Informatica dell’Università degli Studi di Roma “Tor Vergata” (2002-2009).
  • Corsi di Informatica Teorica e Analisi di Reti per il corso di Laurea Magistrale in Informatica dell’Università degli Studi di Roma “Tor Vergata” (2009-).
  • Materiale didattico per i due corsi di Informatica Teorica e Analisi di Reti per il corso di Laurea Magistrale in Informatica dell’Università degli Studi di Roma “Tor Vergata” (2011).
  • Ciclo di lezioni per gli studenti della scuola secondaria di II grado, ed elaborazione del materiale corrispondente, per il laboratorio di Complessità computazionale. Facilità e difficoltà di soluzioni di problemi, nell’ambito del progetto Piano Lauree Scientifiche del Centro Interdipartimentale di Ricerca e Formazione Permanente per l’Insegnamento delle Disciplinescientifiche dell’Università degli Studi di Roma “Tor Vergata” (2011).
  • Ciclo di lezioni per i docenti della scuola secondaria di I grado, ed elaborazione del materiale corrispondente, per il Corso di formazione per docenti della scuola secondaria di I grado: Informatica tra matematica e linguistica, nell’ambito del progetto Piano Lauree Scientifiche del Centro Interdipartimentale di Ricerca e Formazione Permanente per l’Insegnamento delle Disciplinescientifiche dell’Università degli Studi di Roma “Tor Vergata” (2011).

 

Attività scientifica

  • Coordinatrice per la sede del progetto europeo EU/IST 15964 – AEOLUS (Algorithmic Principles for building efficient overlay computers).

·      Pubblicazione su riviste e convegni internazionali di lavori di ricerca

o   Riviste:

§  P. Crescenzi, M. Di Ianni, A. Marino, D. Merlini, G. Rossi, P. Vocca: “Smooth movement and Manhattan path based Random Waypoint mobility”, Information Processing Letters, 111 (5): 239-246 (2011)

§  T. Calamoneri, A. E. F. Clementi, M. Di Ianni, M. Lauria, A. Monti, R. Silvestri, "Minimum Energy Broadcast and Disk Cover in Grid Wireless Networks", Theoretical Computer Science, 399(1-2): 38-53 (2008).

§  A. E. F. Clementi, M. Di Ianni, M. Lauria, A. Monti, G. Rossi, R. Silvestri, "On the bounded-hop MST problem on random Euclidean instances", Theoretical Computer Science, 384: 161-167 (2007).

§  Andrea E. F. Clementi, Miriam Di Ianni, Massimo Lauria, Angelo Monti, Gianluca Rossi, Riccardo Silvestri: On the bounded-hop MST problem on random Euclidean instances. Theoetical. Compuer. Science 384(2-3): 161-167 (2007)

§  Luca Becchetti, Miriam Di Ianni, Alberto Marchetti-Spaccamela: Approximating call-scheduling makespan in all-optical networks. J. Discrete Algorithms 2 (4): 501-515 (2004)

§  T. Calamoneri, M. Di Ianni, “Interval routing and Layered Cross Product: compact routing schemes for butterflies, mesh of trees and fat-trees”, J. Parallel Distrib. Comput., 63: 1017-1025 (2003).

§  A. Clementi, M. Di Ianni, R. Silvestri, “The Minimum Broadcast Range Assignment Problem on Linear Multi-Hop Wireless Networks”, Theoretical Computer Science, 299 (1-3): 751-761 (2003).

§  J.C. Bermond, M. Di Ianni, M. Flammini, S. Perennes “Acyclic orientations for deadlock prevention in usual networks”, Discrete Applied Mathematics, 129 (1): 31-47 (2003).

§  L. Becchetti, M. Di Ianni, A. Marchetti Spaccamela, “Approximation algorithms for routing and call scheduling in all-optical chains and rings”, Theoretical Computer Science, 287 (2): 429-448 (2002).

§  M. Di Ianni, “Wormhole deadlock prediction”, Parallel Processing Letters, 10: 295-303 (2000).

§  P. Barcaccia, M.A. Bonuccelli, M. Di Ianni, “Minimum length scheduling of precedence constrained messages in distributed systems”, IEEE Trans. on Parallel and Distributed Systems, 11:1090-1102 (2000).

§  M. Di Ianni, “Efficient delay routing”, Theoretical Computer Science, 196:131-151 (1998).

§  M. Cesati, M. Di Ianni, “Computation models for parameterized complexity”, Mathematical Logic Quarterly, 43:179-202 (1997).

§  M. Di Ianni, R. Dieckmann, R. Lueling, J. Schultze, S. Tschoeke, “Simulated annealing and genetic algorithms for shape detection”, The Polish Journal Control and Cybernetics,25:159-176 (1996).

§  A.E.F. Clementi, M. Di Ianni, “On the hardness of approximating optimum schedule problems in Store and-Forward Networks”, IEEE/ACM Transactions on Networking, 4(2):272-280 (1996).

§  A. Clementi, M. Di Ianni, “Optimum schedule problems in Store and-Forward Networks”, Int. Journal of Foundations of Computer Science, 6:155-168 (1995).

§  D.P. Bovet, P. Crescenzi, M. Di Ianni, “Deadlock prediction in the case of dynamic routing”, Int. Journal of Foundations of Computer Science, 1:185-199 (1990).

o   Conferenze:

§  Pierluigi Crescenzi, Miriam Di Ianni, Andrea Marino, Gianluca Rossi and Paola Vocca, Spatial Node Distribution of Manhattan Path Based Random Waypoint Mobility Models with Applications, SIROCCO 2009, Lecture Notes in Computer Science, 5869:154-166 (2009).

§  Pilu Crescenzi, Miriam Di Ianni, Federico Greco, Gianluca Rossi, Paola Vocca, Making Role Assignment Feasible: A Polynomial-time Algorithm for Computing Ecological Colorings, Graph-Theoretic Concepts in Computer Science, WG 2008, Lecture Notes in Computer Science, 5344: 90-100 (2008).

§  Pierluigi Crescenzi, Stefano Boschi, Gianluca Rossi, Miriam Di Ianni, Paola Vocca, "MOMOSE: A Mobility Model Simulation Environment for Mobile Wireless Ad-hoc Networks", SIMUTools'08 (2008).

§  Andrea E. F. Clementi, Miriam Di Ianni, Massimo Lauria, Angelo Monti, Gianluca Rossi, Riccardo Silvestri: A Distributed Protocol for the Bounded-Hops Converge-Cast in Ad-Hoc Networks. ADHOC-NOW 2006, Lecture Notes in Computer Science, 4104: 60-72 (2006).

§  Tiziana Calamoneri, Andrea E. F. Clementi, Miriam Di Ianni, Massimo Lauria, Angelo Monti, Riccardo Silvestri: Minimum Energy Broadcast and Disk Cover in Grid Wireless Networks. SIROCCO 2006, Lecture Notes in Computer Science, 4056: 227-239 (2006).

§  Pilu Crescenzi, Miriam Di Ianni, Alessandro Lazzoni, Paolo Penna, Gianluca Rossi, Paola Vocca: Equilibria for Broadcast Range Assignment Games in Ad-Hoc Networks. ADHOC-NOW 2005, Lecture Notes in Computer Science, 3738: 4-17 (2005) .

§  Andrea E. F. Clementi, Miriam Di Ianni, Angelo Monti, Gianluca Rossi, Riccardo Silvestri: Experimental Analysis of Practically Efficient Algorithms for Bounded-Hop Accumulation in Ad-Hoc Wireless Networks. IPDPS 2005 (2005).

§  A. Clementi, M. Di Ianni, M. Lauria, A. Monti , G. Rossi, R. Silvestri, “Divide et Impera is almost optimal for the bounded-hop MST problem on random Euclidean instances”, SIROCCO’05, Lecture Notes in Computer Science, 3499: 89-98 (2005).

§  A.E.F. Clementi, M. Di Ianni, A. Monti, G. Rossi, R Silvestri, “The Range Assignment Problem in Non-Homogeneous Static Ad-Hoc Networks”, IPDPS 2004(2004).

§  C. Ambuehl, A.E.F. Clementi, M. Di Ianni, N. Lev-Tov, A. Monti, D. Peleg, G. Rossi, R Silvestri, “Efficient Algorithms for Energy-Efficient Bounded-Hop Broadcast in Ad-Hoc Wireless Networks”, STACS '04, Lecture Notes in Computer Science, 2996: 418-427 (2004).

§  A. Sterbini, M. Di Ianni, R. Sorrentino, “Constraint tree drawing for antenna layout”, IASTED Conference on Computer, Graphics and Imaging: 210-217 (2000).

§  L. Becchetti, M. Di Ianni, A. Marchetti Spaccamela, “Approximating call-scheduling makespan in all-optical networks”, WG'00, Lecture Notes in Computer Science, 1928: 13-22 (2000).

§  L. Becchetti, M. Di Ianni, A. Marchetti Spaccamela, “Approximation algorithms for routing and call scheduling in all-optical chains and rings”, FST-TCS '99, Lecture Notes in Computer Science, 1738: 201-212 (1999).

§  T. Calamoneri, M. Di Ianni, “Interval routing and Layered Cross Product: compact routing schemes for butterflies, mesh of trees and fat-trees”, Euro-Par'98, Lecture Notes in Computer Science, 1470: 1029-1039 (1998).

§  M. Cesati, M. Di Ianni “Parameterized parallel complexity”, Euro-Par'98, Lecture Notes in Computer Science, 1470: 892-896 (1998).

§  M. Di Ianni, “Wormhole deadlock prediction”, Euro-Par'97, Lecture Notes in Computer Science, 1300: 188-195 (1997).

§  M. Di Ianni, M. Flammini, R. Flammini, S. Salomone, “Systolic acyclic orientations for deadlock prevention”, Colloquium on Structural Information and Communication Complexity (SIROCCO): 1-12 (1995).

§  A. Clementi, M. Di Ianni, “Optimum schedule problems in Store and-Forward Networks”, IEEE INFOCOM '94: 1336-1343 (1994).

§  A. Clementi, M. Di Ianni, P. Mentrasti, “The class of refractory neural nets”, International Conference on Artificial Neural Networks and Genetic Algorithms: 3-9 (1993).