Bogdan Munteanu

According to our database, Bogdan Munteanu authored at least 4 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

How Amazon web services uses formal methods.

Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff

Commun. ACM, 2015

2010

Variations of the Vision-Based Pursuit-Evasion Problem on a Grid.

Bogdan Munteanu, Richard Borie

Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

2008

The Spinning problem.

Bogdan Munteanu, Richard Borie, Grzegorz Malewicz

Proceedings of the 6th International Symposium on Modeling and Optimization in Mobile, 2008

2007

Investigating the Impact of Real-World Factors on Internet Worm Propagation.

Daniel A. Ray, Charles B. Ward, Bogdan Munteanu, Jonathan Blackwell, Xiaoyan Hong, Jun Li

Proceedings of the Information Systems Security, Third International Conference, 2007