Using Alloy to formally model and reason about an OpenFlow network switch S Mirzaei, S Bahargam, R Skowyra, A Kfoury, A Bestavros arXiv preprint arXiv:1604.00060, 2016 | 8 | 2016 |
Efficient reassembling of graphs, part 1: The linear case A Kfoury, S Mirzaei Journal of Combinatorial Optimization, 1-33, 2016 | 7 | 2016 |
An Alloy Verification Model for Consensus-Based Auction Protocols S Mirzaei, F Esposito IEEE 35th International Conference on Distributed Computing Systems …, 2015 | 6 | 2015 |
A different approach to the design and analysis of network algorithms A Kfoury, S Mirzaei Technical Report BUCS-TR-2012-019, CS Dept, Boston Univ, 2013 | 5 | 2013 |
Linear Arrangement of Halin Graphs S Mirzaei, A Kfoury BUCS Technical Report Archives BUCS-TR-2015-012, 2015 | 3 | 2015 |
Shortest path and maximum flow problems in planar flow networks with additive gains and losses S Mirzaei, A Kfoury arXiv preprint arXiv:1603.08997, 2016 | 2 | 2016 |
Minimum average delay of routing trees S Mirzaei arXiv preprint arXiv:1601.02697, 2016 | 2 | 2016 |
A new extension of activity networks for modeling and verification of timed systems H Motallebi, MA Azgomi, MS Mirzaei, A Movaghar Turkish Journal of Electrical Engineering and Computer Sciences 21 (6), 1751 …, 2013 | 1 | 2013 |
Toward Lightweight Integration of SMT Solvers A Lapets, S Mirzaei CS Dept., Boston University, Tech. Rep. BUCS-TR-2012-017, 2012 | 1 | 2012 |
Efficient Reassembling of Graphs, Part 2: The Balanced Case S Mirzaei, A Kfoury arXiv preprint arXiv:1602.02863, 2016 | | 2016 |
Linear arrangement of Halin graphs A Kfoury, S Mirzaei Computer Science Department, Boston University, 2015 | | 2015 |
WRITING A RESEARCH PAPER S Bahargam, S Mirzaei | | |