Ing. Filip Konečný

2012Konečný, F., Iosif, R., Bozga, M.: Deciding Conditional Termination, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 252-266, ISSN 0302-9743
2010Bozga, M., Iosif, R., Konečný, F.: Fast Acceleration of Ultimately Periodic Relations, In: Computer Aided Verification, Berlin, DE, Springer, 2010, p. 227-242, ISBN 978-3-642-14294-9
 Bozga, M., Iosif, R., Konečný, F.: Fast Acceleration of Ultimately Periodic Relations, TR-2010-3, Grenoble, FR, VERIMAG, 2010, p. 24
2009Bozga, M., Habermehl, P., Iosif, R., Konečný, F., Vojnar, T.: Automatic Verification of Integer Array Programs, In: Computer Aided Verification, Berlin, DE, Springer, 2009, p. 157-172, ISBN 978-3-642-02657-7
 Bozga, M., Habermehl, P., Iosif, R., Konečný, F., Vojnar, T.: Automatic Verification of Integer Array Programs, TR-2009-2, Grenoble, FR, VERIMAG, 2009, p. 49

Show all publications

Your IPv4 address: 38.107.179.219
Switch to IPv6 connection

DNSSEC [dnssec]