N. Bartolini, T. He, V. Arrigoni, A. Massini, F. Trombetti, H. Khamfroush | On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography IEEE/ACM Trans. Netw., 28(2), 588-601, 2020 |
--- |
S. Gioiosa, M. Bolis, T. Flati, A. Massini, E. Garattini, G. Chillemi, M. Fratelli, T. Castrignanò | Massive NGS data analysis reveals hundreds of potential novel gene fusions in human cell lines Giga Science, 7(10), 1-8, 2018 |
|
T. Mancini, A. Massini, E. Tronci | Parallelization of Cycle-Based Logic Simulation Parallel Processing Letters 27(2): 1-16, 2017 |
--- |
T. Mancini, F. Mari, A. Massini, I. Melatti, I. Salvo, E. Tronci | On minimising the maximum expected verification time Information Processing Letters, 122, 1, 8-16, 2017 |
--- |
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | SyLVaaS: System Level Formal Verification as a Service Fundamenta Informaticae 149(1-2): 101-132, 2016 |
--- |
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | Anytime system level verification via parallel random exhaustive hardware in the loop simulation Microprocessors and Microsystems - Embedded Hardware Design 41: 12-28, 2016 |
--- |
N. Bartolini, A. Massini, S. Silvestri | P&P: an asynchronous and distributed protocol for mobile sensor deployment Wireless Networks, 18(4), 381-399, 2012 |
|
N. Bartolini, T. Calamoneri, A. Massini, S. Silvestri | On adaptive density deployment to mitigate the sink-hole problem in mobile sensor networks ACM/Springer Mobile Networks and Applications, 16:134-145, 2011 |
|
N.Bartolini, T. Calamoneri. E. G. Fusco, A. Massini, S. Silvestri | Push and Pull: Autonomous Deployment of Mobile Sensors for a Complete Coverage Wireless Networks, 16(3), 607 - 625, 2010 |
|
T. Calamoneri, A. Massini, L. Torok, I. Vrto | Antibandwidth of Complete k-ary Trees Discrete Mathematics, Vol. 309, No. 22, 6408-6414, 2009 |
|
T. Calamoneri, A. Massini | Nearly Optimal Three Dimensional Layout of Hypercubes Networks, 47(19), pp. 1-8, 2006 |
|
T. Calamoneri, A. Massini | Efficient Algorithms for Checking the Equivalence of Multistage Interconnection Networks Journal of Parallel and Distributed Computing, 64, 135 - 150, 2004 |
|
T. Calamoneri , A. Massini, I. Vrto | New results on Edge-Bandwidths Theoretical Computer Science, 307, 503-513, 2003 |
|
A. Massini | All-to-all personalized communication on multistage interconnection networks Discrete Applied Mathematics, 128, 435-446, 2003 |
|
T. Calamoneri, A. Massini | Optimal Three-Dimensional Layout of Interconnection Networks Theoretical Computer Science, 255, 263-279, 2001 |
|
G. Bongiovanni, G. A. De Biase, A. Massini, A. Monti | The shuffled mesh a flexible and efficient model for parallel computing Telecommunication Systems, Vol 13-1, 21-27, 2000 |
|
T. Calamoneri, A. Massini | An Optimal Layout of Multigrid Networks Information Processing Letters, 72, 137-141, 1999 |
|
G. A. De Biase, A. Massini | A virtually nonblocking self-routing permutation network which routes packets in O(log2N) Telecommunication Systems, 10, 135-147, 1998 |
|
G. A. De Biase, C. Ferrone, A. Massini | An O(log2N) depth asymptotically nonblocking self-routing permutation network IEEE Trans. on Comp., vol. 44, 1047-1050, 1995 |
|
A. Clementi, G. A. De Biase, A. Massini | Fast parallel arithmetic on cellular automata Complex Systems, vol. 8, 435-441, 1994 |
|
G. A. De Biase, A. Massini | High efficiency redundant binary number representations for parallel arithmetic on optical computers Optics & Laser Technology - Special Issue on Optical Computing, vol.26, n. 4, 219-224, 1994 |
pdf1 pdf2 |
G. A. De Biase, A. Massini | Redundant Binary Number Representation for an Inherently Parallel Arithmetic on Optical Computers Applied Optics, vol. 32, 659-664, 1993 |
|
G. A. De Biase, A. Massini | Parallel Optical Arithmetic on Images by a Redundant Binary Number Representation Applied Optics, vol. 29, 1587-1589, 1990 |
V. Alimguzhin, T. Mancini, A. Massini, S. Sinisi, E. Tronci | In Silico Clinical Trials through AI and Statistical Model Checking Proc. Overlay 2019 |
--- |
A. Calabrese, T. Mancini, A. Massini, S. Sinisi, E. Tronci | Generation of a Complete Virtual Patients Population for T1DM Treatments Proc. RCRA 2019 |
--- |
V. Arrigoni, A. Massini | Hybrid Solver for Quasi Block Diagonal Linear Systems Proc. PPAM 2019 |
--- |
T. Mancini, F. Mari, A. Massini, I. Melatti, I. Salvo, S. Sinisi, E. Tronci, R. Ehrig, S. Röblitz, B. Leeners | Computing Personalised Treatments through In Silico Clinical Trials Proc. RCRA@FLoC 2018 |
|
T. Mancini, E. Tronci, I. Salvo, F. Mari, A. Massini, I. Melatti | Computing Biological Model Parameters by Parallel Statistical Model Checking Proc. IWBBIO (2), 542-554, 2015 |
|
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | SyLVaaS: System Level Formal Verification as a Service Proc. PDP, 476-483, 2015 |
--- |
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | Simulator Semantics for System Level Formal Verification Proc. Gandalf, 86-99, 2015 |
--- |
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation Proc. 17th Euromicro Conf on Digital Systems Design (DSD 2014) Verona, Italy, 2014 |
--- |
T. Mancini, I. Salvo, F. Mari, I. Melatti, A. Massini, S. Sinisi, E. Tronci, F. Davì, T. Dierkes, R. Ehrig et al. | Patient-Specific Models from Inter-Patient Biological Models and Clinical Records Formal Methods in Computer-Aided Design (FMCAD), Lausanne, Switzerland, 2014 |
|
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation Proc. 22nd Euromicro Int. Conf. on Parallel, Distributed and Network-Based Computing (PDP 2014) Turin, Italy, 2014 |
--- |
T. Mancini, F. Mari, A. Massini, I. Melatti, F. Merli, E. Tronci | System Level Formal Verification via Model Checking Driven Simulation Proc. CAV 2013 - 25th Int. Conf. on Computer Aided Verification, Saint Petersburg, Russia , 2013 |
--- |
F. Alessi, A. Massini, R. Basili | High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs Proc. 2.nd Int. Workshop on Advances in High-Performance Computational Earth Sciences: Applications and Frameworks (IHPCES), Int. Con. on Computational Science, Omaha, Nebraska, USA, 2012 |
--- |
F. Alessi, A. Massini, R. Basili | Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs Proc. 20th Euromicro Int. Conf. on Parallel, Distributed and Network-Based Computing (PDP 2012) Garching, Germany, 2012 |
--- |
N. Bartolini, T. Calamoneri, A. Massini, S. Silvestri | Variable density deployment and topology control for the solution of the sink-hole problem Proc. ICST QShine 2009, Las Palmas de Gran Canaria, Spain, 2009 |
|
N. Bartolini, A. Massini, S. Silvestri | P&P protocol: local coordination of mobile sensors for self-deployment Proc. ACM Int. Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (ACM MSWIM 2009), Tenerife, Canary Island, Spain, 2009 |
|
N. Bartolini, T. Calamoneri, T. La Porta, A. Massini, S. Silvestri | Autonomous deployment of heterogeneous mobile sensors Proc. IEEE International Conference on Network Protocols (IEEE ICNP 2009), Princeton, New Jersey, USA, 2009 Best Paper Award winner |
|
A. Massini, M. T. Raffa | Using the LCP based Decomposition for Permutation Routing on (2 log N -1) Stage Interconnection Networks Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN2009), Innsbruck, Austria, 2009 |
|
N. Bartolini, T. Calamoneri, E.G. Fusco, A. Massini, S. Silvestri | Autonomous deployment of self-organizing mobile sensors for a complete coverage Proc. 3rd International Workshop on Self-Organizing Systems (IWSOS 2008), Vienna, Austria, 2008 |
|
N. Bartolini, T. Calamoneri, E. G. Fusco, A. Massini, S. Silvestri | Snap and Spread: a self-deployment algorithm for mobile sensor networks Proc. 4th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS '08), Santorini, Greece, 2008 |
|
T. Calamoneri, A. Massini, L. Torok, I. Vrto | Antibandwidth of complete k-ary tree Proc. of 5th Cracow Conference on Graph Theory, Polland, Electronic Notes in Discrete Mathematics, 24, pp. 259-266, 2006 |
|
T. Calamoneri, A. Massini | Nearly optimal three-dimensional layout of hypercube networks Proc. of Graph Drawing 03, Italy, Lecture Notes in Computer Science, vol. 2912, 64-75, 2003 |
|
G. A. De Biase, A. Massini | Parallel Sorting of n-strings in Kn Time Proc. International Conference on Communications in Computing - CIC'2002, Las Vegas, Nevada, USA, 24-27, 2002 |
|
T. Calamoneri, A. Massini | A New Approach to the Rearrangeability of (2 log N -1) Stage MINs Proc. IASTED International Conference on Applied Informatics (AI2001), Austria, 2001 |
|
A. Massini | All-to-all personalized communication on multistage interconnection networks International Conference on Communications in Computing - CIC'2000, Las Vegas, Nevada, USA, 217-223, 2000 |
|
T. Calamoneri, A. Massini | Efficiently checking the equivalence of multistage interconnection networks Proc. 11th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS’99 ), Cambridge, Massachusset, USA, 23-30, 1999 |
|
A. Clementi, G. A. De Biase, A. Massini | Pipelined addition, accumulation and multiplication of binary numbers on cellular automata Proc. Fourth Joint Conference on Information Science (JCIS'98), RTP, North Carolina, USA, 134-141, 1998 |
|
G. Bongiovanni, G.A. De Biase, A. Massini, A. Monti | The shuffled mesh: a flexible and efficient model for parallel computing Proc. 6th International Conference on Telecommunication Systems, Nashville, USA, 652-654, 1998 |
|
T. Calamoneri, A. Massini, | On three-dimensional layout of interconnection networks Proc. of Graph Drawing 97, Roma, Italy, 64-75, 1997 |
|
G. A. De Biase, A. Massini | Parallel Arithmetic on Optical Computers by Redundant Binary Number Representation Proc. of International Conference on Application of Photonic Technology, Plenum Press, Toronto, Canada, 101-108, 1995 |
|
G. A. De Biase, C. Ferrone, A. Massini | A quasi-nonblocking self-routing network which routes packets in log2N time Proc. of IEEE INFOCOM'93, S. Francisco, California, USA, 1375-1381, 1993 |
A. Massini | High efficiency self-routing interconnection networks Reti di interconnessione autoinstradanti ad alta efficienza Ph. D. Thesis, 1993 |
--- |
A. Massini | Binary redundant number representation for a parallel arithmetic on optical and electronic computers Rappresentazione binaria ridondante dei numeri per un'aritmetica parallela su calcolatori ottici ed elettronici Laurea Thesis, 1989 |
--- |
I | Attachment | History | Action | Size | Date | Who | Comment |
---|---|---|---|---|---|---|---|
doc | curriculum08.doc | r1 | manage | 68.0 K | 2010-03-04 - 14:49 | AnnalisaMassini | Curriculum |
doc | elenco-pubblicazioni.doc | r1 | manage | 32.0 K | 2010-03-04 - 14:50 | AnnalisaMassini |
Questo sito usa cookies, usandolo ne accettate la presenza. (CookiePolicy)
Torna al Dipartimento di Informatica |
|