David Gajser

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 6

Top Topics

Hough Transform

Digital Pictures

Top Venues

J. Comput. Syst. Sci.

Informatica (Slovenia)

Publications

Sergio Cabello, David Gajser
Connectivity with Uncertainty Regions Given as Line Segments. Algorithmica 86 (5) (2024)
Sergio Cabello, David Gajser
Connectivity with uncertainty regions given as line segments. CoRR (2023)
David Gajser
Verifying whether one-tape Turing machines run in linear time. J. Comput. Syst. Sci. 107 (2020)
David Gajser, Bojan Mohar
Minimal Normal Graph Covers. Comb. 38 (6) (2018)
David Gajser
Verifying Time Complexity of Turing Machines. Informatica (Slovenia) 40 (3) (2016)
David Gajser
On convergence of binomial means, and an application to finite Markov chains. Ars Math. Contemp. 10 (2) (2016)
David Gajser
Verifying time complexity of Turing machines. Theor. Comput. Sci. 600 (2015)
Sergio Cabello, David Gajser
Simple PTAS's for families of graphs excluding a minor. Discret. Appl. Math. 189 (2015)
David Gajser
Verifying whether One-Tape Turing Machines Run in Linear Time. Electron. Colloquium Comput. Complex. 22 (2015)
Sergio Cabello, David Gajser
Simple PTAS's for families of graphs excluding a minor. CoRR (2014)
David Gajser
Verifying whether one-tape NTMs run in time $Cn+D$. CoRR (2013)
David Gajser
Verifying Time Complexity of Deterministic Turing Machines. CoRR (2013)