Jan Kára

According to our database1, Jan Kára authored at least 19 papers between 2002 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
The complexity of surjective homomorphism problems - a survey.
Discret. Appl. Math., 2012

2010
A fast algorithm and datalog inexpressibility for temporal reasoning.
ACM Trans. Comput. Log., 2010

The complexity of temporal constraint satisfaction problems.
J. ACM, 2010

Pattern Hypergraphs.
Electron. J. Comb., 2010

2009
Maximal infinite-valued constraint languages.
Theor. Comput. Sci., 2009

Clustered Planarity: Small Clusters in Cycles and Eulerian Graphs.
J. Graph Algorithms Appl., 2009

2008
The Complexity of Equality Constraint Languages.
Theory Comput. Syst., 2008

A Fast Algorithm and Lower Bound for Temporal Reasoning
CoRR, 2008

2007
On the Complexity of the Balanced Vertex Ordering Problem.
Discret. Math. Theor. Comput. Sci., 2007

Noncrossing Hamiltonian paths in geometric graphs.
Discret. Appl. Math., 2007

Clustered Planarity: Small Clusters in Eulerian Graphs.
Proceedings of the Graph Drawing, 15th International Symposium, 2007

2006
Free binary decision diagrams for the computation of EAR<sub><i>n</i></sub>.
Comput. Complex., 2006

Fixed Parameter Tractability of Independent Set in Segment Intersection Graphs.
Proceedings of the Parameterized and Exact Computation, Second International Workshop, 2006

2005
On the Chromatic Number of the Visibility Graph of a Set of Points in the Plane.
Discret. Comput. Geom., 2005

2004
An Algorithm for Cyclic Edge Connectivity of Cubic Graphs.
Proceedings of the Algorithm Theory, 2004

2003
Free Binary Decision Diagrams for Computation of EAR<sub>n</sub>
Electron. Colloquium Comput. Complex., 2003

Minimum Degree and the Number of Chords.
Ars Comb., 2003

2002
Complexity of Pattern Coloring of Cycle Systems.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2002

Optimal Free Binary Decision Diagrams for Computation of EAR<sub>n</sub>.
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002


  Loading...