| Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose. | 0 | 0.34 | 2021 |
| On checking equivalence of simulation scripts | 1 | 0.34 | 2021 |
| On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography | 0 | 0.34 | 2020 |
| Monte Carlo Based Statistical Model Checking Of Cyber-Physical Systems: A Review | 1 | 0.36 | 2020 |
| Optimal all-to-all personalized communication on Butterfly networks through a reduced Latin square. | 0 | 0.34 | 2020 |
| Hybrid Solver for Quasi Block Diagonal Linear Systems. | 0 | 0.34 | 2019 |
| Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. | 0 | 0.34 | 2019 |
| On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography. | 0 | 0.34 | 2019 |
| In Silico Clinical Trials through AI and Statistical Model Checking. | 0 | 0.34 | 2019 |
| Fast Strassen-based $A^t A$ Parallel Multiplication. | 0 | 0.34 | 2019 |
| Computing Personalised Treatments through In Silico Clinical Trials. | 0 | 0.34 | 2018 |
| On minimising the maximum expected verification time. | 3 | 0.37 | 2017 |
| Parallelization of Cycle-Based Logic Simulation. | 0 | 0.34 | 2017 |
| Anytime system level verification via parallel random exhaustive hardware in the loop simulation | 4 | 0.38 | 2016 |
| SyLVaaS: System Level Formal Verification as a Service | 7 | 0.42 | 2015 |
| Computing Biological Model Parameters by Parallel Statistical Model Checking. | 4 | 0.39 | 2015 |
| Simulator Semantics For System Level Formal Verification | 0 | 0.34 | 2015 |
| System level formal verification via model checking driven simulation | 23 | 0.73 | 2013 |
| High Performance Parallelization Of Compsyn On A Cluster Of Multicore Processors With Gpus | 0 | 0.34 | 2012 |
| Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs | 0 | 0.34 | 2012 |
| P&P: an asynchronous and distributed protocol for mobile sensor deployment | 0 | 0.34 | 2012 |
| On Adaptive Density Deployment to Mitigate the Sink-Hole Problem in Mobile Sensor Networks | 10 | 0.62 | 2011 |
| Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem | 0 | 0.34 | 2009 |
| Push & Pull: autonomous deployment of mobile sensors for a complete coverage | 37 | 1.26 | 2008 |
| Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage | 10 | 0.64 | 2008 |
| Nearly optimal three dimensional layout of hypercube networks | 0 | 0.34 | 2006 |
| Antibandwidth of complete k-ary trees | 9 | 0.64 | 2006 |
| Efficient algorithms for checking the equivalence of multistage interconnection networks | 3 | 0.43 | 2004 |
| All-to-all personalized communication on multistage interconnection networks | 11 | 0.61 | 2003 |
| New results on edge-bandwidth | 3 | 0.44 | 2003 |
| The Shuffled Mesh: a flexible and efficient model for parallel computing | 0 | 0.34 | 2000 |
| An optimal layout of multigrid networks | 3 | 0.49 | 1999 |
| A virtually nonblocking self-routing permutation network which routes packets in \mathrm{O}(\log_{2} N) time | 0 | 0.34 | 1998 |
| Optimal three-dimensional layout of interconnection networks | 7 | 0.61 | 1997 |
| Fast Parallel Arithmetic on Cellular Automata. | 0 | 0.34 | 1994 |
| A Quasi-Nonblocking Self-Routing Network which Routs Packets in log2N Time | 1 | 0.39 | 1993 |
