Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Michal Krupka |
On complexity reduction of concept lattices: three counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 15(2), pp. 151-156, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Joseph O'Rourke |
Unfolding Prismatoids as Convex Patches: Counterexamples and Positive Results ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.2048, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Nils Jansen 0001, Erika Ábrahám, Maik Scheffler, Matthias Volk 0001, Andreas Vorpahl, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001 |
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1206.0603, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Nicolas Cebron, Fabian Richter, Rainer Lienhart |
"I can tell you what it's not": active learning from counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prog. Artif. Intell. ![In: Prog. Artif. Intell. 1(4), pp. 291-301, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yevgeniy Dodis, Abhishek Jain 0002, Tal Moran, Daniel Wichs |
Counterexamples to Hardness Amplification Beyond Negligible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2012, pp. 32, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Johan Björklund, Cecilia Holmgren |
Counterexamples to a monotonicity conjecture for the threshold pebbling number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 312(15), pp. 2401-2405, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ferenc Péterfalvi |
Two counterexamples on completely independent spanning trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 312(4), pp. 808-810, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Akihiro Higashitani |
Counterexamples of the Conjecture on Roots of Ehrhart Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 47(3), pp. 618-623, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Cebron, Fabian Richter, Rainer Lienhart |
Decision Tree Induction from Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPRAM (2) ![In: ICPRAM 2012 - Proceedings of the 1st International Conference on Pattern Recognition Applications and Methods, Volume 2, Vilamoura, Algarve, Portugal, 6-8 February, 2012, pp. 525-528, 2012, SciTePress, 978-989-8425-99-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Takeshi Matsumoto, Shohei Ono, Masahiro Fujita |
An efficient method to localize and correct bugs in high-level designs using counterexamples and potential dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, pp. 291-294, 2012, IEEE, 978-1-4673-2657-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta |
Formal methods for ranking counterexamples through assumption mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012, pp. 911-916, 2012, IEEE, 978-1-4577-2145-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yevgeniy Dodis, Abhishek Jain 0002, Tal Moran, Daniel Wichs |
Counterexamples to Hardness Amplification beyond Negligible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography - 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings, pp. 476-493, 2012, Springer, 978-3-642-28913-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Miroslav N. Velev, Ping Gao 0002 |
Automated debugging of counterexamples in formal verification of pipelined microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, 2012, pp. 689-694, 2012, IEEE, 978-1-4673-0770-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
Automatic Learning from Positive Data and Negative Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory - 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings, pp. 66-80, 2012, Springer, 978-3-642-34105-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Nils Jansen 0001, Erika Ábrahám, Matthias Volk 0001, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001 |
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, pp. 349-353, 2012, Springer, 978-3-642-33385-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Ralf Wimmer 0001, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen |
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012, pp. 169-180, 2012, Verlag Dr. Kovac, 978-3-8300-6201-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | E. Dogan Sumer, Dennis S. Bernstein |
Robust sampled-data adaptive control of the Rohrs counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA, pp. 7273-7278, 2012, IEEE, 978-1-4673-2065-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jagadish M., Sridhar Iyer |
A method to construct counterexamples for greedy algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012, pp. 238-243, 2012, ACM, 978-1-4503-1246-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Brauer, Axel Simon |
Inferring Definite Counterexamples through Under-Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 54-69, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira |
Executing Model Checking Counterexamples in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, pp. 245-248, 2012, IEEE Computer Society, 978-0-7695-4751-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Sebastian M. Cioaba, Michael Tait |
More Counterexamples to the Alon-Saks-Seymour and Rank-Coloring Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 18(1), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jeroen Ketema |
Counterexamples in infinitary rewriting with non-fully-extended rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 111(13), pp. 642-646, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Schmidt-Schauß, David Sabel, Elena Machkasova |
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 111(14), pp. 711-716, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | M. D. Voisei, Constantin Zalinescu |
Counterexamples to a triality theorem in "Canonical dual least square method". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Optim. Appl. ![In: Comput. Optim. Appl. 50(3), pp. 619-628, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita |
Multi-Level Bounded Model Checking with Symbolic Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(2), pp. 696-705, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
Iterative learning from texts and counterexamples using additional information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 84(3), pp. 291-333, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | H. Mohebi 0001, Mehdi Vatandoost |
Counterexamples on some articles on quasi-variational inclusion problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 49(4), pp. 707-712, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | M. D. Voisei, Constantin Zalinescu |
Counterexamples to some triality and tri-duality results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 49(1), pp. 173-183, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Cong Tian, Zhenhua Duan |
Detecting Spurious Counterexamples Efficiently in Abstract Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.5506, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | L. Ignacio Lopez, Juan M. Bardallo, Miguel A. De Vega, Antonio Peregrín |
REGAL-TC: a distributed genetic algorithm for concept learning based on REGAL and the treatment of counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 15(7), pp. 1389-1403, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Wayne Aitken, Franz Lemmermeyer |
Counterexamples to the Hasse Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 118(7), pp. 610-628, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Samuel Frank, Jiayang Jiang |
New Classes of Counterexamples to Hendrickson's Global Rigidity Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 45(3), pp. 574-591, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Ágnes Backhausz |
Local degree distributions: Examples and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 63(2), pp. 153-171, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen |
A dynamic constraint-based BMC strategy for generating counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 1633-1638, 2011, ACM, 978-1-4503-0113-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
From Probabilistic Counterexamples via Causality to Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, pp. 71-84, 2011, Springer, 978-3-642-24269-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Nils Jansen 0001, Erika Ábrahám, Jens Katelaan, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001 |
Hierarchical Counterexamples for Discrete-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 443-452, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jan Staunton, John A. Clark |
Finding short counterexamples in promela models using estimation of distribution algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011, pp. 1923-1930, 2011, ACM, 978-1-4503-0557-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | William Paul Heath, Rafael M. Morales, Guang Li 0002 |
Robustness preserving antiwindup: Examples and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CACSD ![In: 2011 IEEE International Symposium on Computer-Aided Control System Design, CACSD 2011, Denver, CO, USA, September 28-30, 2011, pp. 204-209, 2011, IEEE, 978-1-4577-1066-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Fernando G. S. L. Brandão, Michal Horodecki |
On Hastings' Counterexamples to the Minimum Output Entropy Additivity Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 17(1), pp. 31-52, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ryo Takada |
Counterexamples of Commutator Estimates in the Besov and the Triebel-Lizorkin Spaces Related to the Euler Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 42(6), pp. 2473-2483, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Husain Aljazzar, Stefan Leue |
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 36(1), pp. 37-60, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Venkat Anantharam |
Counterexamples to a proposed stam inequality on finite groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 56(4), pp. 1825-1827, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Trifon Trifonov |
Dialectica Interpretation with Marked Counterexamples ![Search on Bibsonomy](Pics/bibsonomy.png) |
CL&C ![In: Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., pp. 73-84, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Andrei Kupavskii, Andrei M. Raigorodskii |
Counterexamples to Borsuk's conjecture on spheres of small radii. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.0383, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Piernicola Bettiol, Alberto Bressan, Richard B. Vinter |
On Trajectories Satisfying a State Constraint: W1, 1 Estimates and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 48(7), pp. 4664-4679, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Franz Weitl, Shin Nakajima 0001, Burkhard Freitag |
From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking). ![Search on Bibsonomy](Pics/bibsonomy.png) |
it Inf. Technol. ![In: it Inf. Technol. 52(5), pp. 295-297, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Franz Weitl, Shin Nakajima 0001 |
Incremental Construction of Counterexamples in Model Checking Web Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 34-50, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jasmin Christian Blanchette, Koen Claessen |
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Yogyakarta) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings, pp. 127-141, 2010, Springer, 978-3-642-16241-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Muhammad-Naeem Irfan |
State Machine Inference in Testing Context with Long Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 508-511, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
state machine inference, finite state machine, black box, counterexample |
17 | V. O. Bragin, Nikolay V. Kuznetsov, Gennady A. Leonov |
Algorithm for construction of counterexamples to Aizerman's and Kalman's conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSYCO ![In: 4th IFAC International Workshop on Periodic Control Systems, PSYCO 2010, Istanbul, Turkey, August 26-28, 2010., pp. 24-28, 2010, International Federation of Automatic Control, 978-3-902661-86-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Matthew L. Bolton, Ellen J. Bass |
Using task analytic models to visualize model checker counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010, pp. 2069-2074, 2010, IEEE, 978-1-4244-6588-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Seidel, Janis Voigtländer |
Automatically Generating Counterexamples to Naive Free Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, pp. 175-190, 2010, Springer, 978-3-642-12250-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Franz Weitl, Shin Nakajima 0001, Burkhard Freitag |
Structured Counterexamples for the Temporal Description Logic ALCCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010, pp. 232-243, 2010, IEEE Computer Society, 978-0-7695-4153-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Therese C. Biedl, Anna Lubiw, Michael J. Spriggs |
Morphing polyhedra with parallel faces: Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 42(5), pp. 395-402, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
One-shot learners using negative counterexamples and nearest positive examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 410(27-29), pp. 2562-2580, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Raphaël M. Jungers, Vladimir Protasov |
Counterexamples to the Complex Polytope Extremality Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 31(2), pp. 404-409, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Wynn |
Counterexamples to the Discrete and Continuous Weighted Weiss Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 48(4), pp. 2620-2635, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Volker Elling |
Instability of Strong Regular Reflection and Counterexamples to the Detachment Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 70(4), pp. 1330-1340, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
Explaining Counterexamples Using Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 94-108, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 299-308, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis |
17 | Sanjay Jain 0001, Efim B. Kinber |
Iterative Learning from Texts and Counterexamples Using Additional Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings, pp. 308-322, 2009, Springer, 978-3-642-04413-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Schmalz, Daniele Varacca, Hagen Völzer |
Counterexamples in Probabilistic LTL Model Checking for Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 587-602, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Guevara |
Rebutting formally valid counterexamples to the Humean "is-ought" dictum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 164(1), pp. 45-60, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Bhalchandra D. Thatte |
Combinatorics of Pedigrees I: Counterexamples to a Reconstruction Question. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 22(3), pp. 961-970, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
Learning languages from positive data and negative counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 74(4), pp. 431-456, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
Fixing Design Errors With Counterexamples and Resynthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(1), pp. 184-188, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Patrick M. Hayden, Andreas J. Winter 0002 |
Counterexamples to the maximal p-norm multiplicativity conjecture for all p > 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0807.4753, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Jaime Gutierrez 0001, David Sevilla |
Building counterexamples to generalizations for rational functions of Ritt's decomposition theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0804.1687, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Christopher Clingerman, Jeremiah Hemphill, Corey Proscia |
Analysis and Counterexamples Regarding Yatsenko's Polynomial-Time Algorithm for Solving the Traveling Salesman Problem ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0474, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum |
Significant Diagnostic Counterexamples in Probabilistic Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.1139, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Rolf Poulsen, Kourosh Marjani Rasmussen |
Financial Giffen goods: Examples and counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 191(2), pp. 572-576, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh |
Model checking in-the-loop: Finding counterexamples by systematic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008., pp. 2734-2740, 2008, IEEE, 978-1-4244-2078-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Henri Hansen, Jaco Geldenhuys |
Cheap and Small Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 53-62, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Edelkamp, Damian Sulewski |
Flash-Efficient LTL Model Checking with Minimal Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 73-82, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | John Leventides |
Assigning Frequencies via Determinantal Equations: New Counterexamples and Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 52(3), pp. 559-563, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Greg Hjorth |
A Note on Counterexamples to the Vaught Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 48(1), pp. 49-51, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
Learning languages from positive data and a limited number of short counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 389(1-2), pp. 190-218, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
Iterative learning from positive data and negative counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 205(12), pp. 1777-1805, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jaime Arroyo, Ian Dobson |
Counterexamples to a Method for Identifying Hopf Bifurcations Without Eigenvalue Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 54-II(5), pp. 432-434, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ken-ichi Kawarabayashi |
On the connectivity of minimum and minimal counterexamples to Hadwiger's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 97(1), pp. 144-150, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Chao Wang 0001, Zijiang Yang 0006, Aarti Gupta, Franjo Ivancic |
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 352-365, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ryan O'Donnell, Karl Wimmer |
Approximation by DNF: Examples and Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 195-206, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sanjay Jain 0001, Efim B. Kinber |
One-Shot Learners Using Negative Counterexamples and Nearest Positive Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 257-271, 2007, Springer, 978-3-540-75224-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Gordon Fraser 0001, Franz Wotawa |
Nondeterministic Testing with Linear Model-Checker Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 107-116, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Itay Neeman, John R. Steel |
Counterexamples to the unique and cofinal branches hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 71(3), pp. 977-988, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Selim G. Akl |
Three Counterexamples to Dispel the Myth of the Universal Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 16(3), pp. 381-403, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Warren D. Smith |
Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 178(1), pp. 184-193, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Richardson, Ahmed El-Sonbaty |
Counterexamples to the uniformity conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 33(1-2), pp. 58-64, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Martin Kochol |
Restrictions On Smallest Counterexamples To The 5-Flow Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 26(1), pp. 83-89, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05C15 |
17 | Vadim E. Levit, Eugen Mandrescu |
Independence polynomials of well-covered graphs: Generic counterexamples for the unimodality conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 27(6), pp. 931-939, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Malcolm R. Forster |
Counterexamples to a likelihood theory of evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 16(3), pp. 319-338, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Andrey A. Dobrynin, Leonid S. Melnikov |
Counterexamples to Grötzsch-Sachs-Koester's conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 306(6), pp. 591-594, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Joris van der Hoeven |
Counterexamples to witness conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 41(9), pp. 959-963, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Chao Wang 0001, Zijiang Yang 0006, Franjo Ivancic, Aarti Gupta |
Whodunit? Causal Analysis for Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 82-95, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Viktor Schuppan |
Liveness checking as safety checking to find shortest counterexamples to linear time properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
17 | Martin Kochol |
About Counterexamples to The 5-Flow Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 22, pp. 21-24, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Zsolt Tuza |
Highly connected counterexamples to a conjecture on ά -domination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 25(3), pp. 435-440, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | S. J. Yang, Bao Shi, D. C. Zhang, M. J. Gai |
Counterexamples to the article "Oscillation and global attractivity in hematopoiesis model with delay time". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 168(2), pp. 973-980, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mark N. Ellingham, Chris Stephens, Xiaoya Zha |
Counterexamples to the nonorientable genus conjecture for complete tripartite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 26(3-4), pp. 387-399, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marius Vilcu, Robert F. Hadley |
Two Apparent 'Counterexamples' To Marcus: A Closer Look. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 15(3-4), pp. 359-382, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|