default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnalisa Massini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c27]Annalisa Massini, Federico Mingardi:
A Delay-Efficient Implementation of Quantum Carry Select Adders. IPDPS (Workshops) 2024: 1095-1104- 2023
- [j26]Daniele Izzi, Annalisa Massini
:
Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks. IEEE Access 11: 51064-51083 (2023) - [j25]Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti:
A Bayesian Approach to Network Monitoring for Progressive Failure Localization. IEEE/ACM Trans. Netw. 31(2): 770-783 (2023) - 2022
- [c26]Daniele Izzi, Annalisa Massini:
All-to-All Personalized Communication on Fat-Trees Using Latin Squares. SoftCOM 2022: 1-6 - 2021
- [j24]Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management. Appl. Artif. Intell. 35(5): 353-372 (2021) - [j23]Viviana Arrigoni, Novella Bartolini, Annalisa Massini:
Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification. IEEE Access 9: 6076-6086 (2021) - [j22]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
On checking equivalence of simulation scripts. J. Log. Algebraic Methods Program. 120: 100640 (2021) - [c25]Viviana Arrigoni, Filippo Maggioli, Annalisa Massini, Emanuele Rodolà:
Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose. ICPP 2021: 56:1-56:12 - [c24]Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti:
Failure Localization through Progressive Network Tomography. INFOCOM 2021: 1-10 - [c23]Fitz Gerald Cabangcla, Daniele Izzi, Annalisa Massini:
A New Perspective for Rearrangeability of MINs. SoftCOM 2021: 1-6 - [i6]Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti:
Static and Dynamic Failure Localization through Progressive Network Tomography. CoRR abs/2103.17221 (2021) - [i5]Viviana Arrigoni, Filippo Maggioli, Annalisa Massini, Emanuele Rodolà:
Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose. CoRR abs/2110.13042 (2021) - 2020
- [j21]Angela Pappagallo, Annalisa Massini, Enrico Tronci:
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. Inf. 11(12): 588 (2020) - [j20]Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini, Federico Trombetti, Hana Khamfroush:
On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography. IEEE/ACM Trans. Netw. 28(2): 588-601 (2020) - [c22]Daniele Izzi, Annalisa Massini:
Optimal all-to-all personalized communication on Butterfly networks through a reduced Latin square. HPCC/DSS/SmartCity 2020: 1065-1072
2010 – 2019
- 2019
- [c21]Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci:
In Silico Clinical Trials through AI and Statistical Model Checking. OVERLAY@AI*IA 2019: 17-22 - [c20]Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci:
Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. RCRA/RiCeRcA@AI*IA 2019 - [c19]Viviana Arrigoni, Annalisa Massini:
Hybrid Solver for Quasi Block Diagonal Linear Systems. PPAM (1) 2019: 129-140 - [i4]Viviana Arrigoni, Annalisa Massini:
Fast Strassen-based $A^t A$ Parallel Multiplication. CoRR abs/1902.02104 (2019) - [i3]Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini, Hana Khamfroush:
On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography. CoRR abs/1903.10636 (2019) - 2018
- [c18]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners:
Computing Personalised Treatments through In Silico Clinical Trials. RCRA@FLoC 2018 - 2017
- [j19]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci:
On minimising the maximum expected verification time. Inf. Process. Lett. 122: 8-16 (2017) - [j18]Toni Mancini, Annalisa Massini, Enrico Tronci:
Parallelization of Cycle-Based Logic Simulation. Parallel Process. Lett. 27(2): 1750003:1-1750003:16 (2017) - 2016
- [j17]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
SyLVaaS: System Level Formal Verification as a Service. Fundam. Informaticae 149(1-2): 101-132 (2016) - [j16]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocess. Microsystems 41: 12-28 (2016) - 2015
- [c17]Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti:
Computing Biological Model Parameters by Parallel Statistical Model Checking. IWBBIO (2) 2015: 542-554 - [c16]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
SyLVaaS: System Level Formal Verification as a Service. PDP 2015: 476-483 - [c15]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
Simulator Semantics for System Level Formal Verification. GandALF 2015: 86-99 - 2014
- [c14]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. DSD 2014: 236-245 - [c13]Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille:
Patient-specific models from inter-patient biological models and clinical records. FMCAD 2014: 207-214 - [c12]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. PDP 2014: 734-742 - 2013
- [c11]Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci:
System Level Formal Verification via Model Checking Driven Simulation. CAV 2013: 296-312 - 2012
- [j15]Novella Bartolini, Annalisa Massini, Simone Silvestri:
P&P: an asynchronous and distributed protocol for mobile sensor deployment. Wirel. Networks 18(4): 381-399 (2012) - [c10]Ferdinando Alessi, Annalisa Massini, Roberto Basili:
Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs. PDP 2012: 434-441 - [c9]Ferdinando Alessi, Annalisa Massini, Roberto Basili:
High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs. ICCS 2012: 966-975 - 2011
- [j14]Novella Bartolini, Tiziana Calamoneri, Annalisa Massini, Simone Silvestri:
On Adaptive Density Deployment to Mitigate the Sink-Hole Problem in Mobile Sensor Networks. Mob. Networks Appl. 16(1): 134-145 (2011) - 2010
- [j13]Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri:
Push & Pull: autonomous deployment of mobile sensors for a complete coverage. Wirel. Networks 16(3): 607-625 (2010)
2000 – 2009
- 2009
- [j12]Tiziana Calamoneri, Annalisa Massini, L'ubomír Török, Imrich Vrto:
Antibandwidth of complete k-ary trees. Discret. Math. 309(22): 6408-6414 (2009) - [c8]Novella Bartolini, Tiziana Calamoneri, Thomas La Porta, Annalisa Massini, Simone Silvestri:
Autonomous deployment of heterogeneous mobile sensors. ICNP 2009: 42-51 - [c7]Novella Bartolini, Annalisa Massini, Simone Silvestri:
P&P protocol: local coordination of mobile sensors for self-deployment. MSWiM 2009: 305-314 - [c6]Novella Bartolini, Tiziana Calamoneri, Annalisa Massini, Simone Silvestri:
Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem. QSHINE 2009: 167-182 - 2008
- [c5]Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri:
Snap and Spread: A Self-deployment Algorithm for Mobile Sensor Networks. DCOSS 2008: 451-456 - [c4]Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri:
Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage. IWSOS 2008: 194-205 - [i2]Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri:
Push&Pull: autonomous deployment of mobile sensors for a complete coverage. CoRR abs/0804.2191 (2008) - [i1]Novella Bartolini, Annalisa Massini, Simone Silvestri:
P&P protocol: local coordination of mobile sensors for self-deployment. CoRR abs/0805.1981 (2008) - 2006
- [j11]Tiziana Calamoneri, Annalisa Massini, Lubomir Torok, Imrich Vrto:
Antibandwidth of Complete k-Ary Trees. Electron. Notes Discret. Math. 24: 259-266 (2006) - [j10]Tiziana Calamoneri, Annalisa Massini:
Nearly optimal three dimensional layout of hypercube networks. Networks 47(1): 1-8 (2006) - 2004
- [j9]Tiziana Calamoneri, Annalisa Massini:
Efficient algorithms for checking the equivalence of multistage interconnection networks. J. Parallel Distributed Comput. 64(1): 135-150 (2004) - 2003
- [j8]Annalisa Massini:
All-to-all Personalized Communication on Multistage Interconnection Networks. Discret. Appl. Math. 128(2-3): 435-446 (2003) - [j7]Tiziana Calamoneri, Annalisa Massini, Imrich Vrto:
New results on edge-bandwidth. Theor. Comput. Sci. 307(3): 503-513 (2003) - [c3]Tiziana Calamoneri, Annalisa Massini:
Nearly Optimal Three Dimensional Layout of Hypercube Networks. GD 2003: 247-258 - 2001
- [j6]Tiziana Calamoneri, Annalisa Massini:
Optimal three-dimensional layout of interconnection networks. Theor. Comput. Sci. 255(1-2): 263-279 (2001) - 2000
- [j5]G. Bongiovanni, Giuseppe A. De Biase, Annalisa Massini, Angelo Monti:
The Shuffled Mesh: a flexible and efficient model for parallel computing. Telecommun. Syst. 13(1): 21-27 (2000)
1990 – 1999
- 1999
- [j4]Tiziana Calamoneri, Annalisa Massini:
An optimal layout of multigrid networks. Inf. Process. Lett. 72(3-4): 137-141 (1999) - 1998
- [j3]Giuseppe A. De Biase, Annalisa Massini:
A virtually nonblocking self-routing permutation network which routes packets in \mathrm{O}(\log_{2} N) time. Telecommun. Syst. 10(1): 135-147 (1998) - 1997
- [c2]Tiziana Calamoneri, Annalisa Massini:
On Three-Dimensional Layout of Interconnection Networks. GD 1997: 64-75 - 1995
- [j2]Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini:
An O(log2 N) Depth Asymptotically Nonblocking Self-Routing Permutation Network. IEEE Trans. Computers 44(8): 1047-1051 (1995) - 1994
- [j1]Andrea Clementi, Giuseppe A. De Biase, Annalisa Massini:
Fast Parallel Arithmetic on Cellular Automata. Complex Syst. 8(6) (1994) - 1993
- [c1]Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini:
A Quasi-Nonblocking Self-Routing Network which Routs Packets in log2N Time. INFOCOM 1993: 1375-1381
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
