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

Pattern Hypergraphs.
Electron. J. Comb., 2010

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

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

The complexity of temporal constraint satisfaction problems.
Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008

2007
Maximal Infinite-Valued Constraint Languages.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 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

The Complexity of Equality Constraint Languages.
Proceedings of the Computer Science, 2006

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

On the Complexity of the Balanced Vertex Ordering Problem.
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 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

Noncrossing Hamiltonian Paths in Geometric Graphs.
Proceedings of the Graph Drawing, 11th International Symposium, 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...