Annalisa 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Annalisa Massini