Author: "Žikelić, Đorđe" / Publication Type: Conference Materials - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Žikelić, Đorđe"' showing total 2 results

Start Over Author "Žikelić, Đorđe" Publication Type Conference Materials

2 results on '"Žikelić, Đorđe"'

1. Differential cost analysis with simultaneous potentials and anti-potentials

Author: Žikelić, Đorđe, primary, Chang, Bor-Yuh Evan, additional, Bolignano, Pauline, additional, and Raimondi, Franco, additional
Published: 2022
Full Text: View/download PDF

2. Proving non-termination by program reversal

Author: Chatterjee, Krishnendu, primary, Goharshady, Ehsan Kafshdar, additional, Novotný, Petr, additional, and Žikelić, Đorđe, additional
Published: 2021
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results