Search results for: David Nowak
ISPRS Journal of Photogrammetry and Remote Sensing > 2017 > 128 > C > 338-353
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Hybrid Systems > 359-374
Urban Forestry & Urban Greening > 2016 > 17 > C > 192-201
Lecture Notes in Computer Science > Information and Communications Security > Formal Analysis > 319-333
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Decidability and Complexity > 248-262
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 2(b) > 78-89
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 223-230
Lecture Notes in Computer Science > Information Security and Cryptology – ICISC 2008 > Primitives and Foundations > 368-382