Concepedia

Florian Zuleger

FZ

Statistics

Publications

12

Citations

509

H-Index

11

Active since

2010

Affiliations

TU Wien(Current)

Microsoft (United States)

University of Naples Federico II

Florian Zuleger is an author at TU Wien specializing in computer science, computing, and theory of computation.

Publications per year

2010–2018

12

Publications

12

Automated clustering and program repair for introductory programming assignments

Sumit Gulwani, Ivan Radiček, Florian Zuleger · 2018 · 120 citations · Full text

Education, Computer Science, Teaching +17

The reachability-bound problem

Sumit Gulwani, Florian Zuleger · 2010 · 116 citations

Computing, Computer Engineering, Computer Science +15

Feedback generation for performance problems in introductory programming assignments

Sumit Gulwani, Ivan Radiček, Florian Zuleger · 2014 · 69 citations · Full text

Education, Computer Science, Algorithms +15

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Moritz Sinn, Florian Zuleger, Helmut Veith · Journal of Automated Reasoning · 2017 · 57 citations · Full text

Computing, Computer Science, Algorithms +13

Monadic refinements for relational cost analysis

Ivan Radiček, Gilles Barthe, Deepak Garg et al. · Proceedings of the ACM on Programming Languages · 2017 · 39 citations · Full text

Computing, Computer Science, Formal Methods +10

1–5 of 12