Mladen Miksa

According to our database1, Mladen Miksa authored at least 8 papers between 2011 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Selection and Aggregation of Location Information Provisioning Services.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

2016
On Complexity Measures in Polynomial Calculus.
PhD thesis, 2016

2015
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.
Electron. Colloquium Comput. Complex., 2015

2014
From Small Space to Small Width in Resolution.
Electron. Colloquium Comput. Complex., 2014

Long Proofs of (Seemingly) Simple Formulas.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds - (Extended Abstract).
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2011
Review of mathematics for the analysis of algorithms by Daniel H. Greene and Donald E. Knuth.
SIGACT News, 2011

Automatic movie ratings prediction using machine learning.
Proceedings of the MIPRO, 2011


  Loading...