Edit Profile (opens in new tab) Milano, Matthew Co-Author Distance Author ID: milano.matthew Published as: Milano, Matthew Documents Indexed: 3 Publications since 2001 Co-Authors: 4 Co-Authors with 1 Joint Publication 156 Co-Co-Authors all top 5 Co-Authors 0 single-authored 1 Belohlavek, Marek 1 Bosi, Francesco 1 Foster, Nate 1 Heys, Jeffrey J. 1 Kozen, Dexter C. 1 Manteuffel, Thomas A. 1 McCormick, Steve Fahrney 1 Silva, Alexandra 1 Thompson, Laure 1 Westerdale, John Serials 1 Journal of Computational Physics 1 Software. Practice & Experience Fields 2 Computer science (68-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 12 times in 12 Documents Cited by ▼ Year ▼ A coalgebraic decision procedure for NetKAT. Zbl 1346.68132 Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 12 2015 Weighted least-squares finite elements based on particle imaging velocimetry data. Zbl 1381.76173 Heys, J. J.; Manteuffel, T. A.; McCormick, S. F.; Milano, M.; Westerdale, J.; Belohlavek, M. 9 2010 Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664 Bosi, F.; Milano, M. 1 2001 A coalgebraic decision procedure for NetKAT. Zbl 1346.68132 Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 12 2015 Weighted least-squares finite elements based on particle imaging velocimetry data. Zbl 1381.76173 Heys, J. J.; Manteuffel, T. A.; McCormick, S. F.; Milano, M.; Westerdale, J.; Belohlavek, M. 9 2010 Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664 Bosi, F.; Milano, M. 1 2001 all cited Publications top 5 cited Publications all top 5 Cited by 35 Authors 6 Silva, Alexandra 4 Kozen, Dexter C. 3 Mamouras, Konstantinos 2 Caltais, Georgiana 2 Foster, Nate 2 Kappé, Tobias 2 Rot, Jurriaan 2 Tunç, Hünkar Can 2 Wagemaker, Jana 1 Albert, Elvira 1 Alpernas, Kalev 1 Brunet, Paul 1 Carle, Georg 1 Diekmann, Cornelius 1 Gómez-Zamalloa, Miguel 1 Haslbeck, Maximilian P. L. 1 Hojjat, Hossein 1 Hupel, Lars 1 Isabel, Miguel 1 Kahn, David M. 1 Michaelis, Julius 1 Milanese, Marco 1 Mousavi, Mohammadreza 1 Panda, Aurojit 1 Petrisan, Daniela Luan 1 Rabinovich, Alexander 1 Ranzato, Francesco 1 Reitblatt, Mark 1 Rubio, Albert 1 Sagiv, Mooly 1 Sammartino, Matteo 1 Shenker, Scott J. 1 Shoham, Sharon 1 Velner, Yaron 1 Zanasi, Fabio Cited in 3 Serials 3 Journal of Logical and Algebraic Methods in Programming 1 Journal of Automated Reasoning 1 Formal Methods in System Design Cited in 2 Fields 12 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) Citations by Year