PubblicazioniRivista < Users

Tags: view all tags
<br>

<b><font color="#990033" size="+1">Journal Publications </font> </b>

%TABLE{ tableborder="3" cellpadding="5" cellspacing="3" cellborder="3" headerbg="#909090" headercolor="#303030" databg="#F8F8F8, #E0E0E0" headerrows="2" }%

| N. Bartolini, T. He, V. Arrigoni, A. Massini, F. Trombetti, H. Khamfroush | *On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography* <br> 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* <br> Giga Science, 7(10), 1-8, 2018 | [[%ATTACHURL%/2018-GigaScience.pdf][pdf]] |
| T. Mancini, A. Massini, E. Tronci | *Parallelization of Cycle-Based Logic Simulation* <br> 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* <br> 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* <br> 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* <br>  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* <br> Wireless Networks, 18(4), 381-399, 2012 |  [[%ATTACHURL%/2012-ProtocolWINET.pdf][pdf]] |
| N. Bartolini, T. Calamoneri, A. Massini, S. Silvestri | *On adaptive density deployment to mitigate the sink-hole problem in mobile sensor networks* <br> ACM/Springer Mobile Networks and Applications, 16:134-145, 2011 |   [[%ATTACHURL%/AdaptiveDensity.pdf][pdf]] |
| N.Bartolini, T. Calamoneri. E. G. Fusco, A. Massini, S. Silvestri | *Push and Pull: Autonomous Deployment of Mobile Sensors for a Complete Coverage* <br> Wireless Networks, 16(3),  607 - 625, 2010 |  [[%ATTACHURL%/PushPullWinet.pdf][pdf]] |
| T. Calamoneri, A. Massini, L. Torok, I. Vrto | *Antibandwidth of Complete k-ary Trees* <br>  Discrete Mathematics, Vol. 309, No. 22, 6408-6414, 2009|  [[%ATTACHURL%/AntiBand.pdf][pdf]] |
| T. Calamoneri, A. Massini | *Nearly Optimal Three Dimensional Layout of Hypercubes* <br>  Networks, 47(19), pp. 1-8, 2006|  [[%ATTACHURL%/3Dhypercube.pdf][pdf]] |
| T. Calamoneri, A. Massini | *Efficient Algorithms for Checking the Equivalence of Multistage Interconnection Networks* <br>  Journal of Parallel and Distributed Computing, 64, 135 - 150,  2004|  [[%ATTACHURL%/Equivalence.pdf][pdf]] |
| T. Calamoneri , A. Massini, I. Vrto | *New results on Edge-Bandwidths* <br>  Theoretical Computer Science, 307, 503-513, 2003|  [[%ATTACHURL%/EdgeBand.pdf][pdf]] |
| A. Massini | *All-to-all personalized communication on multistage interconnection networks* <br>  Discrete Applied Mathematics, 128, 435-446, 2003|  [[%ATTACHURL%/all-to-all.pdf][pdf]] |
| T. Calamoneri, A. Massini | *Optimal Three-Dimensional Layout of Interconnection Networks* <br>   Theoretical Computer Science,  255, 263-279, 2001|  [[%ATTACHURL%/layot-IN.pdf][pdf]] |
| G. Bongiovanni, G. A. De Biase, A. Massini, A. Monti | *The shuffled mesh a flexible and efficient model for parallel computing* <br> Telecommunication Systems, Vol 13-1, 21-27, 2000 |  [[%ATTACHURL%/shuffled-mesh.pdf][pdf]] |
| T. Calamoneri, A. Massini | *An Optimal Layout of Multigrid Networks* <br>   Information Processing Letters, 72, 137-141, 1999 |  [[%ATTACHURL%/multigrid.pdf][pdf]] |
| G. A. De Biase, A. Massini | *A virtually nonblocking self-routing permutation network which routes packets in O(log2N)* <br> Telecommunication Systems, 10, 135-147, 1998 |  [[%ATTACHURL%/virtually.pdf][pdf]] |
| G. A. De Biase, C. Ferrone, A. Massini | *An O(log2N) depth asymptotically nonblocking self-routing permutation network* <br>  IEEE Trans. on Comp., vol. 44, 1047-1050, 1995|  [[%ATTACHURL%/asymptotically.pdf][pdf]] |
| A. Clementi, G. A. De Biase, A. Massini | *Fast parallel arithmetic on cellular automata* <br>  Complex Systems, vol. 8, 435-441, 1994|  [[%ATTACHURL%/FastArithmeticCellAut.pdf][pdf]] |
| G. A. De Biase, A. Massini | *High efficiency redundant binary number representations for parallel arithmetic on optical computers* <br>   Optics & Laser Technology - Special Issue on Optical Computing, vol.26, n. 4, 219-224, 1994|  [[%ATTACHURL%/RB-part1.pdf][pdf1]] [[%ATTACHURL%/RB-part2.pdf][pdf2]] |
| G. A. De Biase, A. Massini | *Redundant Binary Number Representation for an Inherently Parallel Arithmetic on Optical Computers* <br>   Applied Optics, vol. 32, 659-664, 1993|  [[%ATTACHURL%/redundantAO.pdf][pdf]] |
| G. A. De Biase, A. Massini | *Parallel Optical Arithmetic on Images by a Redundant Binary Number Representation* <br>   Applied Optics, vol. 29, 1587-1589, 1990|  [[%ATTACHURL%/Par-Arith-AO.pdf][pdf]] |

<b><font color="#990033" size="+1"> Conference Publications</font> </b> 

%TABLE{ tableborder="3" cellpadding="5" cellspacing="3" cellborder="3" headerbg="#909090" headercolor="#303030" databg="#F8F8F8, #E0E0E0" headerrows="2" }%
    

| V. Alimguzhin, T. Mancini, A. Massini, S. Sinisi, E. Tronci | *In Silico Clinical Trials through AI and Statistical Model Checking* <br> Proc. Overlay 2019 | ---|
| A. Calabrese, T. Mancini, A. Massini, S. Sinisi, E. Tronci | *Generation of a Complete Virtual Patients Population for T1DM Treatments* <br> Proc. RCRA 2019 | ---|
| V. Arrigoni, A. Massini | *Hybrid Solver for Quasi Block Diagonal Linear Systems* <br> 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* <br> Proc. RCRA@FLoC 2018 |  [[%ATTACHURL%/2018-rcra.pdf][pdf]] |
| T. Mancini, E. Tronci, I. Salvo, F. Mari, A. Massini, I. Melatti | *Computing Biological Model Parameters by Parallel Statistical Model Checking* <br> Proc. IWBBIO (2),  542-554, 2015 | [[%ATTACHURL%/2015-IWWBIO.pdf][pdf]] |
| T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | *SyLVaaS: System Level Formal Verification as a Service* <br> Proc.  PDP,  476-483, 2015 | ---|
| T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci | *Simulator Semantics for System Level Formal Verification* <br> 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* <br> 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* <br> Formal Methods in Computer-Aided Design (FMCAD), Lausanne, Switzerland, 2014 | [[%ATTACHURL%/2014-FMCAD.pdf][pdf]] |
| T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci  | *System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation* <br> 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* <br> 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* <br> 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* <br> 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* <br> Proc. ICST QShine 2009, Las Palmas de Gran Canaria, Spain, 2009|[[%ATTACHURL%/VarDensityQShine.pdf][pdf]]|
| N. Bartolini, A. Massini, S. Silvestri | *P&P protocol: local coordination of mobile sensors for self-deployment* <br>  Proc. ACM Int. Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (ACM MSWIM 2009), Tenerife, Canary Island, Spain, 2009|[[%ATTACHURL%/ProtocolMswim.pdf][pdf]]|
| N. Bartolini, T. Calamoneri, T. La Porta, A. Massini, S. Silvestri | *Autonomous deployment of heterogeneous mobile sensors*  <br> Proc. IEEE International Conference on Network Protocols (IEEE ICNP 2009), Princeton, New Jersey, USA, 2009 <br> <b><font color="#008000"> Best Paper Award winner</font></b> |[[%ATTACHURL%/ICNP09_camera_ready.pdf][pdf]]|
| A. Massini, M. T. Raffa | *Using the LCP based Decomposition for Permutation Routing on (2 log N -1) Stage Interconnection Networks* <br> Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN2009), Innsbruck, Austria, 2009 |[[%ATTACHURL%/641-078.pdf][pdf]]|
| N. Bartolini, T. Calamoneri, E.G. Fusco, A. Massini, S. Silvestri | *Autonomous deployment of self-organizing mobile sensors for a complete coverage* <br>Proc. 3rd International Workshop on Self-Organizing Systems (IWSOS 2008), Vienna, Austria,  2008 |[[%ATTACHURL%/DeploymentIwsos08.pdf][pdf]]|
| N. Bartolini, T. Calamoneri, E. G. Fusco, A. Massini, S. Silvestri | *Snap and Spread: a self-deployment algorithm for mobile sensor networks* <br>Proc. 4th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS '08), Santorini, Greece, 2008 |[[%ATTACHURL%/SnapSpreadDCOSS08.pdf][pdf]]|
| T. Calamoneri, A. Massini, L. Torok, I. Vrto| *Antibandwidth of complete k-ary tree* <br> Proc. of 5th Cracow Conference on Graph Theory, Polland, Electronic Notes in Discrete Mathematics, 24, pp. 259-266, 2006|[[%ATTACHURL%/antibandwidthENDM.pdf][pdf]]|
| T. Calamoneri, A. Massini | *Nearly optimal three-dimensional layout of hypercube networks* <br> Proc. of  Graph Drawing 03, Italy,  Lecture Notes in Computer Science, vol. 2912, 64-75, 2003 |[[%ATTACHURL%/3Dhypercube.pdf][pdf]]|
| G. A. De Biase, A. Massini | *Parallel Sorting of n-strings in Kn Time* <br> Proc. International Conference on Communications in Computing - CIC'2002, Las Vegas, Nevada, USA, 24-27,  2002 |  [[%ATTACHURL%/SortingCIC.pdf][pdf]] |
| T. Calamoneri, A. Massini | *A New Approach to the Rearrangeability of (2 log N -1) Stage MINs* <br> Proc.  IASTED International Conference on Applied Informatics (AI2001), Austria, 2001 |  [[%ATTACHURL%/RearrangeabilityAI01.pdf][pdf]] |
| A. Massini| *All-to-all personalized communication on multistage interconnection networks* <br> International Conference on Communications in Computing - CIC'2000, Las Vegas, Nevada, USA,  217-223, 2000 |  [[%ATTACHURL%/all-to-allCIC.pdf][pdf]] |
| T. Calamoneri, A. Massini | *Efficiently checking the equivalence of multistage interconnection networks* <br>  Proc. 11th IASTED International Conference on Parallel and Distributed Computing  Systems (PDCS&#8217;99 ), Cambridge, Massachusset, USA,  23-30, 1999|  [[%ATTACHURL%/equivalence.pdf][pdf]] |
| A. Clementi, G. A. De Biase, A. Massini | *Pipelined addition, accumulation and multiplication of binary numbers on cellular automata* <br>  Proc. Fourth Joint Conference on Information Science (JCIS'98), RTP, North Carolina, USA, 134-141, 1998|  [[%ATTACHURL%/pipel-add-JCIS.pdf][pdf]] |
| G. Bongiovanni, G.A. De Biase, A. Massini, A. Monti | *The shuffled mesh: a flexible and efficient model for parallel computing* <br>  Proc. 6th International Conference on Telecommunication Systems,  Nashville, USA,  652-654, 1998|  [[%ATTACHURL%/m1-shuffle.pdf][pdf]] |
| T. Calamoneri, A. Massini, | *On three-dimensional layout of interconnection networks* <br>  Proc. of  Graph Drawing 97,  Roma, Italy,  64-75, 1997 |  [[%ATTACHURL%/3DLayoutGD97.pdf][pdf]] |
| G. A. De Biase, A. Massini | *Parallel Arithmetic on Optical Computers by  Redundant Binary Number Representation* <br>  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* <br> Proc. of IEEE INFOCOM'93, S. Francisco, California, USA,  1375-1381, 1993|  [[%ATTACHURL%/sand92.pdf][pdf]] |


<b><font color="#990033" size="+1">Thesis</font> </b> 

%TABLE{ tableborder="3" cellpadding="5" cellspacing="3" cellborder="3" headerbg="#909090" headercolor="#303030" databg="#F8F8F8, #E0E0E0" headerrows="2" }%

| A. Massini | *High efficiency self-routing interconnection networks* <br> Reti di interconnessione autoinstradanti ad alta efficienza  <br> Ph. D. Thesis, 1993|  --- |
| A. Massini | *Binary redundant number representation for a parallel arithmetic on optical and electronic computers* <br> Rappresentazione binaria ridondante dei numeri per un'aritmetica parallela su calcolatori ottici ed elettronici <br> Laurea Thesis, 1989 |  --- |

-- Users.AnnalisaMassini
Attachments
Topic attachments
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