 | 2009 |
|---|
| 43 |       | Manuel Bodirsky,
Miki Hermann,
Florian Richoux:
Complexity of Existential Positive First-Order Logic.
CiE 2009: 31-36 |
| 42 | | Miki Hermann,
Florian Richoux:
On the Computational Complexity of Monotone Constraint Satisfaction Problems.
WALCOM 2009: 286-297 |
| 41 | | Miki Hermann,
Reinhard Pichler:
Complexity of counting the optimal solutions.
Theor. Comput. Sci. 410(38-40): 3814-3825 (2009) |
| 2008 |
|---|
| 40 | | Miki Hermann,
Reinhard Pichler:
Complexity of Counting the Optimal Solutions.
COCOON 2008: 149-159 |
| 39 | | Miki Hermann,
Baris Sertkaya:
On the Complexity of Computing Generators of Closed Sets.
ICFCA 2008: 158-168 |
| 38 | | Victor Chepoi,
Nadia Creignou,
Miki Hermann,
Gernot Salzer:
Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.
ISMVL 2008: 100-105 |
| 37 | | Miki Hermann,
Reinhard Pichler:
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction.
JELIA 2008: 206-218 |
| 36 | | Miki Hermann:
On Boolean primitive positive clones.
Discrete Mathematics 308(15): 3151-3162 (2008) |
| 35 | | Miki Hermann,
Reinhard Pichler:
Complexity of Counting the Optimal Solutions.
Electronic Colloquium on Computational Complexity (ECCC) 15(044): (2008) |
| 34 | | Arnaud Durand,
Miki Hermann:
On the counting complexity of propositional circumscription.
Inf. Process. Lett. 106(4): 164-170 (2008) |
| 33 | | Àngel J. Gil,
Miki Hermann,
Gernot Salzer,
Bruno Zanuttini:
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains.
SIAM J. Comput. 38(3): 922-945 (2008) |
| 32 | | Nadia Creignou,
Miki Hermann,
Andrei A. Krokhin,
Gernot Salzer:
Complexity of Clausal Constraints Over Chains.
Theory Comput. Syst. 42(2): 239-255 (2008) |
| 2007 |
|---|
| 31 | | Miki Hermann,
Reinhard Pichler:
Counting Complexity of Propositional Abduction.
IJCAI 2007: 417-422 |
| 30 | | Philippe Chapdelaine,
Miki Hermann,
Ilka Schnoor:
Complexity of Default Logic on Generalized Conjunctive Queries.
LPNMR 2007: 58-70 |
| 2006 |
|---|
| 29 |  | Miki Hermann,
Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Springer 2006 |
| 2005 |
|---|
| 28 | | Arnaud Durand,
Miki Hermann,
Phokion G. Kolaitis:
Subtractive reductions and complete problems for counting complexity classes.
Theor. Comput. Sci. 340(3): 496-513 (2005) |
| 2004 |
|---|
| 27 | | Àngel J. Gil,
Miki Hermann,
Gernot Salzer,
Bruno Zanuttini:
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract.
IJCAR 2004: 244-258 |
| 26 | | Michael Bauland,
Philippe Chapdelaine,
Nadia Creignou,
Miki Hermann,
Heribert Vollmer:
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.
SAT 2004 |
| 25 | | Michael Bauland,
Philippe Chapdelaine,
Nadia Creignou,
Miki Hermann,
Heribert Vollmer:
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.
SAT (Selected Papers 2004: 30-45 |
| 24 | | Georg Gottlob,
Miki Hermann,
Michaël Rusinowitch:
2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword.
Theory Comput. Syst. 37(6): 639-640 (2004) |
| 2003 |
|---|
| 23 | | Arnaud Durand,
Miki Hermann:
The Inference Problem for Propositional Circumscription of Affine Formulas Is coNP-Complete.
STACS 2003: 451-462 |
| 2002 |
|---|
| 22 | | Arnaud Durand,
Miki Hermann,
Laurent Juban:
On the complexity of recognizing the Hilbert basis of a linear diophantine system.
Theor. Comput. Sci. 270(1-2): 625-642 (2002) |
| 2000 |
|---|
| 21 | | Arnaud Durand,
Miki Hermann,
Phokion G. Kolaitis:
Subtractive Reductions and Complete Problems for Counting Complexity Classes.
MFCS 2000: 323-332 |
| 20 | | Miki Hermann,
Phokion G. Kolaitis:
Unification Algorithms Cannot Be Combined in Polynomial Time.
Inf. Comput. 162(1-2): 24-42 (2000) |
| 1999 |
|---|
| 19 | | Miki Hermann,
Laurent Juban,
Phokion G. Kolaitis:
On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System.
LPAR 1999: 13-32 |
| 18 | | Arnaud Durand,
Miki Hermann,
Laurent Juban:
On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System.
MFCS 1999: 92-102 |
| 17 | | Miki Hermann,
Phokion G. Kolaitis:
Computational Complexity of Simultaneous Elementary Matching Problems.
J. Autom. Reasoning 23(2): 107-136 (1999) |
| 1998 |
|---|
| 16 | | Miki Hermann,
Gernot Salzer:
On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations.
MFCS 1998: 257-266 |
| 1997 |
|---|
| 15 | | Miki Hermann,
Phokion G. Kolaitis:
On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups.
CP 1997: 282-296 |
| 14 | | Ali Amaniss,
Miki Hermann,
Denis Lugiez:
Set Operations for Recurrent Term Schematizations.
TAPSOFT 1997: 333-344 |
| 13 | | Miki Hermann,
Roman Galbavý:
Unification of Infinite Sets of Terms Schematized by Primal Grammars.
Theor. Comput. Sci. 176(1-2): 111-158 (1997) |
| 1996 |
|---|
| 12 | | Miki Hermann,
Phokion G. Kolaitis:
Unification Algorithms Cannot be Combined in Polynomial Time.
CADE 1996: 246-260 |
| 11 | | Nadia Creignou,
Miki Hermann:
Complexity of Generalized Satisfiability Counting Problems.
Inf. Comput. 125(1): 1-12 (1996) |
| 1995 |
|---|
| 10 | | Miki Hermann,
Phokion G. Kolaitis:
Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract).
MFCS 1995: 359-370 |
| 9 | | Miki Hermann,
Phokion G. Kolaitis:
The Complexity of Counting Problems in Equational Matching.
J. Symb. Comput. 20(3): 343-362 (1995) |
| 1994 |
|---|
| 8 | | Miki Hermann,
Phokion G. Kolaitis:
The Complexity of Counting Problems in Equational Matching.
CADE 1994: 560-574 |
| 1992 |
|---|
| 7 | | Miki Hermann:
On the Relation Between Primitive Recursion, Schematization and Divergence.
ALP 1992: 115-127 |
| 1991 |
|---|
| 6 | | Miki Hermann:
On Proving Properties of Completion Strategies.
RTA 1991: 398-410 |
| 5 | | Miki Hermann,
Claude Kirchner,
Hélène Kirchner:
Implementations of Term Rewriting Systems.
Comput. J. 34(1): 20-33 (1991) |
| 1990 |
|---|
| 4 | | Hélène Kirchner,
Miki Hermann:
Meta-rule Synthesis from Crossed Rewrite Systems.
CTRS 1990: 143-154 |
| 3 | | Miki Hermann:
Chain Properties of Rule Closures.
Formal Asp. Comput. 2(3): 207-225 (1990) |
| 1989 |
|---|
| 2 | | Miki Hermann:
Chain Properties of Rule Closures.
STACS 1989: 339-347 |
| 1986 |
|---|
| 1 | | Miki Hermann,
Igor Prívara:
On Nontermination of Knuth-Bendix Algorithm.
ICALP 1986: 146-156 |
