Search results for: Iulian Neamtiu
IEEE Transactions on Mobile Computing > 2017 > 16 > 5 > 1475 - 1489
Computer Networks > 2017 > 114 > C > 1-12
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 262-277
2013 IEEE 2nd Network Science Workshop (NSW) > 106 - 109
Journal of Software: Evolution and Process > 25 > 3 > 193 - 218