Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Thomas A. Sudkamp |
Examples, counterexamples, and measuring fuzzy associations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 149(1), pp. 57-71, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | K. Rustan M. Leino, Todd D. Millstein, James B. Saxe |
Generating error traces from verification-condition counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 55(1-3), pp. 209-226, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Guilherme Carmona |
On the existence of equilibria in discontinuous games: three counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 33(2), pp. 181-187, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jian Zhang 0001 |
Computer Search for Counterexamples to Wilkie's Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 441-451, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore |
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACoS ![In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, pp. 199-211, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alex Groce, Daniel Kroening |
Making the Most of BMC Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@CAV ![In: Proceedings of the 2nd International Workshop on Bounded Model Checking, BMC@CAV 2004, Boston, MA, USA, July 18, 2004, pp. 67-81, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Franziska Berger, Christoph Flamm, Petra M. Gleiss, Josef Leydold, Peter F. Stadler |
Counterexamples in Chemical Ring Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 44(2), pp. 323-331, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Xiaolan Xie, Alessandro Giua |
Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 49(7), pp. 1217-1219, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Birgit Jacob, Hans Zwart |
Counterexamples Concerning Observation Operators for C0-Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 43(1), pp. 137-153, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Petr Hlinený, Robin Thomas 0001 |
On possible counterexamples to Negami's planar cover conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 46(3), pp. 183-206, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Paul Gastin, Pierre Moro, Marc Zeitoun |
Minimization of Counterexamples in SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings, pp. 92-108, 2004, Springer, 3-540-21314-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Drechsler, Wolfgang Günther 0001, Burkhard Stubert |
Efficient (Non-)Reachability Analysis of Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004, pp. 250-259, 2004, Shaker. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Sagar Chaki, Alex Groce, Ofer Strichman |
Explaining abstract counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 73-82, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
model checking, fault localization, predicate abstraction |
17 | Dirk Beyer 0001, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Generating Tests from Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 326-335, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jian Yu, Hongbo Shi, Houkuan Huang, Xichen Sun, QianSheng Cheng |
Counterexamples to convergence theorem of maximum-entropy clustering algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 46(5), pp. 321-326, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Isaac Levi |
Counterexamples to Recovery and the Filtering Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 73(2), pp. 209-218, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Huo-Jun Ruan, Zhen Sha, Wei-Yi Su |
Counterexamples in parameter identification problem of the fractal interpolation functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 122(1), pp. 121-128, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Richard H. Middleton, Katrina Lau, Julio H. Braslavsky |
Conjectures and counterexamples on optimal L2 disturbance attenuation in nonlinear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003, pp. 2561-2566, 2003, IEEE, 0-7803-7924-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Rakesh M. Verma, Sarah Hwang |
On the Structure of Counterexamples to Symmetric Orderings for BDD's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia, pp. 84-100, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Takashi Yokomori |
Corrigendum Learning Two-Type Automata from Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 35(4), pp. 465-466, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Sangho Shim, Jozef Sirán, Janez Zerovnik |
Counterexamples to the uniform shortest path routing conjecture for vertex-transitive graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 119(3), pp. 281-286, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Zu Nian Li, Zhen Zhen Feng |
Counterexamples against some families of chromatically unique graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 243(1-3), pp. 257-258, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone |
On ACTL Formulas Having Linear Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 62(3), pp. 463-515, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Irena Rusu, Jeremy P. Spinrad |
Domination graphs: examples and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 110(2-3), pp. 289-300, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Birkendorf, Andreas Böker, Hans Ulrich Simon |
Learning Deterministic Finite Automata from Smallest Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 13(4), pp. 465-491, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Marie Le Bars |
Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 6(1), pp. 67-82, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Erik D. Demaine, Martin L. Demaine, Anna Lubiw, Joseph O'Rourke |
Examples, Counterexamples, and Enumeration Results for Foldings and Unfoldings between Polygons and Polytopes ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CG/0007019, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Hanif D. Sherali, Jonathan Cole Smith, Warren P. Adams |
Reduced first-level representations via the reformulation-linearization technique: results, counterexamples, and computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 101(1-3), pp. 247-267, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Richard Rebarber, Stuart Townley |
Robustness of closed-loop stability for infinite dimensional systems under sample and hold-counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 39th IEEE Conference on Decision and Control, CDC 2000, Sydney, Australia, December 12-15, 2000, pp. 3290-3294, 2000, IEEE, 0-7803-6638-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Takeshi Koshiba, Kunihiko Hiraishi |
A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Languages & Combinatorics ![In: Proceedings of the International Colloquium on Words, Languages & Combinatorics III, Kyoto, Japan, March 14-18, 2000., pp. 253-265, 2000, World Scientific, 978-9810249489. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Eckhard Steffen |
Counterexamples to a conjecture about Petersen-minors in supersnarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 207(1-3), pp. 291-292, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Romeo Rizzi |
Indecomposable r-graphs and some other counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 32(1), pp. 1-15, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | William McCune |
Automatic Proofs and Counterexamples for Some Ortholattice Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 65(6), pp. 285-291, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Gregory S. Yovanof, Solomon W. Golomb |
The Polynomial Model in the Study of Counterexamples to S. Piccard's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 48, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Tien-Yien Li, Xiaoshen Wang |
Counterexamples to the Connectivity Conjecture of the Mixed Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 20(4), pp. 515-521, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Fred B. Holt, Victor Klee |
Counterexamples to the Strong d -Step Conjecture for d ge 5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 19(1), pp. 33-46, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Birkendorf, Andreas Böker, Hans Ulrich Simon |
Learning Deterministic Finite Automata from Smallest Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 25-27 January 1998, San Francisco, California, USA., pp. 599-608, 1998, ACM/SIAM, 0-89871-410-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Thomas R. Amoth, Paul Cull, Prasad Tadepalli |
Exact Learning of Tree Patterns from Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Eleventh Annual Conference on Computational Learning Theory, COLT 1998, Madison, Wisconsin, USA, July 24-26, 1998., pp. 175-186, 1998, ACM, 1-58113-057-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Levent V. Orman |
Relational Database Constraints as Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(3), pp. 167-189, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | George Boolos |
Constructing Cantorian counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 26(3), pp. 237-239, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Irena Rusu |
Building counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 171(1-3), pp. 213-227, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Robert E. Schapire, Linda Sellie |
Learning Sparse Multivariate Polynomials over a Field with Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 52(2), pp. 201-213, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Takashi Yokomori |
Learning Two-Tape Automata from Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 29(3), pp. 259-270, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Augustus J. E. M. Janssen |
Some counterexamples in the theory of Weyl-Heisenberg frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 42(2), pp. 621-623, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Kah-Chye Tan, Eng-Chye Tan, Say Song Goh |
Counterexamples to a conjecture for characterizing higher rank ambiguities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 44(4), pp. 1028-1029, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Levent V. Orman |
Queries = Examples + Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 21(8), pp. 615-635, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Eckhard Steffen |
Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 161(1-3), pp. 315, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Alden H. Wright, Garrett Bidwell |
A Search for Counterexamples to Two Conjectures on the Simple Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOGA ![In: Proceedings of the 4th Workshop on Foundations of Genetic Algorithms. San Diego, CA, USA, August 5 1996, pp. 73-84, 1996, Morgan Kaufmann, 1-55860-460-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Douglas R. Stinson, James L. Massey |
An Infinite Class of Counterexamples to a Conjecture Concerning Nonlinear Resilient Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 8(3), pp. 167-173, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Matthew Foreman 0001, Menachem Magidor |
Large Cardinals and Definable Counterexamples to the Continuum Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 76(1), pp. 47-97, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Tony L. Brewster, Michael J. Dinneen, Vance Faber |
A computational attack on the conjectures of Graffiti: New counterexamples and proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 147(1-3), pp. 35-55, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | András A. Benczúr |
Counterexamples for Directed and Node Capacitated Cut-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 24(3), pp. 505-510, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao 0005 |
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 32st Conference on Design Automation, San Francisco, California, USA, Moscone Center, June 12-16, 1995., pp. 427-432, 1995, ACM Press, 0-89791-725-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Bergadano, S. Varrichio |
Learning behaviors of automata from shortest counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroCOLT ![In: Computational Learning Theory, Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995, Proceedings, pp. 380-391, 1995, Springer, 3-540-59119-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Howard Becker |
The Topological Vaught's Conjecture and Minimal Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 59(3), pp. 757-784, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | G. Neelakantan Kartha |
Two Counterexamples Related to Baker's Approach to the Frame Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 69(1-2), pp. 379-391, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | James Lipton, Michael J. O'Donnell |
Intuitive Counterexamples for Constructive Fallacies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 87-111, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Hougardy |
Counterexamples to three conjectures concerning perfect graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 117(1-3), pp. 245-251, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Takashi Yokomori |
Learning Two-Tape Automata from Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Sixth Annual ACM Conference on Computational Learning Theory, COLT 1993, Santa Cruz, CA, USA, July 26-28, 1993., pp. 228-235, 1993, ACM, 0-89791-611-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Robert E. Schapire, Linda Sellie |
Learning Sparse Multivariate Polynomials over a Field with Queries and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Sixth Annual ACM Conference on Computational Learning Theory, COLT 1993, Santa Cruz, CA, USA, July 26-28, 1993., pp. 17-26, 1993, ACM, 0-89791-611-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Ward Whitt |
Counterexamples for comparisons of queues with finite waiting rooms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 10(3), pp. 271-278, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
finite waiting rooms, throughput, monotonicity, Stochastic comparisons |
17 | Andreas Huck, Haruko Okamura |
Counterexamples to a conjecture of mader about cycles through specified vertices inn-edge-connected graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 8(3), pp. 253-258, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Augustus J. E. M. Janssen |
The Zak transform and some counterexamples in time-frequency analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 38(1), pp. 168-171, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Moula Cherikh, Paul B. Kantor |
Counterexamples in distributed detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 38(1), pp. 162-165, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Jitendra K. Tugnait, Georgios B. Giannakis, Ananthram Swami |
Counterexamples to 'On estimating noncausal nonminimum phase ARMA models of non-Gaussian processes' [and reply]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 40(4), pp. 1011-1015, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | C. Ward Henson |
Strong counterexamples to Borel hyperdeterminacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 31(3), pp. 215-220, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Aart Middeldorp, Erik Hamoen |
Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 244-258, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Takashi Yokomori |
Learning non-deterministic finite automata from queries and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Machine Intelligence 13 ![In: Machine Intelligence 13, Machine Intelligence and Inductive Learning, Loch Lomond, UK, 1992, pp. 169-189, 1992, Clarendon Press, Oxford, 9780198538509. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
17 | Yasubumi Sakakibara |
On Learning from Queries and Counterexamples in the Presence of Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 37(5), pp. 279-284, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Oscar H. Ibarra, Tao Jiang 0001 |
Learning Regular Languages from Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 43(2), pp. 299-316, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Bruce A. Reed |
Counterexamples to a conjecture of Las Vergnas and Meyniel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Structure Theory ![In: Graph Structure Theory, Proceedings of a AMS-IMS-SIAM Joint Summer Research Conference on Graph Minors held June 22 to July 5, 1991, at the University of Washington, Seattle, USA, pp. 157-159, 1991, American Mathematical Society, 0-8218-5160-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
17 | David M. Evans 0001, P. R. Hewitt |
Counterexamples to a Conjecture on Relative Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 46(2), pp. 201-209, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Emmanuel Kounalis |
Learning from examples and counterexamples with equational background knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAI ![In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, TAI 1990, Herndon, VA, USA, November 6-9, 1990, pp. 254-260, 1990, IEEE Computer Society, 0-8186-2084-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Maass 0001, György Turán |
On the Complexity of Learning from Counterexamples and Membership Queries (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Third Annual Workshop on Computational Learning Theory, COLT 1990, University of Rochester, Rochester, NY, USA, August 6-8, 1990., pp. 391, 1990, Morgan Kaufmann, 1-55860-146-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
17 | Hong Fan, Majid Mayeri |
On error surfaces of sufficient order adaptive IIR filters: proofs and counterexamples to a unimodality conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Acoust. Speech Signal Process. ![In: IEEE Trans. Acoust. Speech Signal Process. 37(9), pp. 1436-1442, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Maass 0001, György Turán |
On the Complexity of Learning From Counterexamples (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 262-267, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
combinatorial invariants, complexity of learning, d-dimensional discrete space, lower bound, upper bound, finite domain |
17 | Barbara G. Ryder, Thomas J. Marlowe, Marvin C. Paull |
Conditions for incremental iteration: Examples and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 11(1), pp. 1-15, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Oscar H. Ibarra, Tao Jiang 0001 |
Learning Regular Languages From Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the First Annual Workshop on Computational Learning Theory, COLT '88, Cambridge, MA, USA, August 3-5, 1988., pp. 371-385, 1988, ACM/MIT. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Yoshihito Toyama |
Counterexamples to Termination for the Direct Sum of Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 25(3), pp. 141-143, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | R. Chandrasekaran, Jong-Shi Pang, Richard E. Stone |
Two counterexamples on the polynomial solvability of the linear complementarity problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 39(1), pp. 21-25, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Mark E. Watkins, James B. Shearer |
Counterexamples to two conjectures about distance sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 66(3), pp. 289-298, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Dana Angluin |
Learning Regular Sets from Queries and Counterexamples ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 75(2), pp. 87-106, November 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Carsten Thomassen |
Counterexamples to Adám's conjecture on arc reversals in directed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 42(1), pp. 128-130, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Ward Whitt |
Deciding Which Queue to Join: Some Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 34(1), pp. 55-62, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Collette R. Coullard |
Counterexamples to conjectures on 4-connected matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 6(4), pp. 315-320, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Amos Altshuler |
The Mani-Walkup Spherical Counterexamples to the Wv-Path Conjecture are Not Polytopal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 10(1), pp. 158-159, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Joseph O'Rourke |
Counterexamples to a minimal circumscription algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Vis. Graph. Image Process. ![In: Comput. Vis. Graph. Image Process. 30(3), pp. 364-366, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | J. Adrian Bondy, Pavol Hell |
Counterexamples to theorems of Menger type for the diameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 44(2), pp. 217-220, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Steve Winker |
Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 29(2), pp. 273-284, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Andreae |
Simpler counterexamples to the edge-reconstruction conjecture for infinite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 32(3), pp. 258-263, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Peter J. Slater |
Counterexamples to randić's conjecture on distance degree sequences for trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 6(1), pp. 89-92, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Neil Hindman |
Partitions and Sums and Products - Two Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 29(1), pp. 113-120, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
17 | V. A. Aksionov, Leonid S. Melnikov |
Some counterexamples associated with the three-color problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 28(1), pp. 1-9, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Paul A. Catlin |
Hajós' graph-coloring conjecture: Variations and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 26(2), pp. 268-274, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Michael Capobianco, John C. Molluzzo |
Examples and Counterexamples in Graph Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 2(1), pp. 92, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Stanley Fiorini |
Counterexamples to two conjectures of Hilton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 2(3), pp. 261-264, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Carsten Thomassen |
Counterexamples to faudree and schelp's conjecture on hamiltonian-connected graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 2(4), pp. 341-347, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Michael Capobianco, John C. Molluzzo |
Examples and counterexamples in graph theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 2(3), pp. 274, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Steve Winker, Larry Wos |
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVL ![In: Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978, pp. 251-256, 1978, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
17 | Carsten Thomassen |
Counterexamples to the edge reconstruction conjecture for infinite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 19(3), pp. 293-295, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|