A. Massini

Available identifiers

zbMath Open massini.annalisaMaRDI QIDQ1045175

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5013880	2021-12-03	Paper
On checking equivalence of simulation scripts	2021-06-25	Paper
SyLVaaS: System Level Formal Verification as a Service*	2017-11-09	Paper
On minimising the maximum expected verification time	2017-11-03	Paper
Antibandwidth of complete \(k\)-ary trees	2009-12-15	Paper
Graph Drawing	2009-08-11	Paper
Antibandwidth of Complete k-Ary Trees	2007-05-29	Paper
Nearly optimal three dimensional layout of hypercube networks	2006-03-24	Paper
New results on edge-bandwidth	2004-10-27	Paper
Efficient algorithms for checking the equivalence of multistage interconnection networks	2004-09-08	Paper
Application of bipartite graphs for achieving race-free state assignments	2003-11-10	Paper
All-to-all personalized communication on multistage interconnection networks	2003-06-10	Paper
An optimal layout of multigrid networks	2002-07-25	Paper
Optimal three-dimensional layout of interconnection networks	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4848814	1995-09-20	Paper

Research outcomes over time

This page was built for person: A. Massini