Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi |
Efficient debugging in a formal verification environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(3), pp. 335-348, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Counter-example, Model checking, Counterexample |
48 | Francesco De Angelis 0001, Andrea Polini, Guglielmo De Angelis |
A Counter-Example Testing Approach for Orchestrated Services. ![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. 373-382, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Counter-example based Testing, Service Testing, Service Orchestrations |
48 | Per Bjesse, James H. Kukula |
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 156-161, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Arie Gurfinkel, Marsha Chechik |
Proof-Like Counter-Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 160-175, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
44 | Gábor Gosztolya, András Bánhalmi, László Tóth 0001 |
Using One-Class Classification Techniques in the Anti-phoneme Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA ![In: Pattern Recognition and Image Analysis, 4th Iberian Conference, IbPRIA 2009, Póvoa de Varzim, Portugal, June 10-12, 2009, Proceedings, pp. 433-440, 2009, Springer, 978-3-642-02171-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
counter-example generation, Artificial Neural Networks, speech recognition, Gaussian Mixture Models, one-class classification |
44 | Atsushi Wada, Keiki Takadama, Katsunori Shimohara |
Counter example for Q-bucket-brigade under prediction problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO Workshops ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Workshop Proceedings, Washington DC, USA, June 25-26, 2005, pp. 94-99, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reinforcement learning, convergence, learning classifier systems, function approximation, genetic-based machine learning |
44 | Atsushi Wada, Keiki Takadama, Katsunori Shimohara |
Counter Example for Q-Bucket-Brigade Under Prediction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWLCS ![In: Learning Classifier Systems, International Workshops, IWLCS 2003-2005, Revised Selected Papers, pp. 128-143, 2005, Springer, 978-3-540-71230-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
Finding feasible abstract counter-examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(1), pp. 34-48, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Counter-example analysis, Model checking, Abstract interpretation, Software verification |
38 | Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka |
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 563-569, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Samik Basu 0001, Diptikalyan Saha, Scott A. Smolka |
Localizing Program Errors for Cimple Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, pp. 79-96, 2004, Springer, 3-540-23252-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Ricardo Caferra, Nicolas Peltier, François Puitg |
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, pp. 268-305, 2000, Springer, 3-540-42598-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Automated geometric reasoning, model (counter-example) building, proof structuring with diagrams, analogy, computer assisted learning |
36 | Florian Krohm, Andreas Kuehlmann, Arjen Mets |
The use of random simulation in formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 371-376, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
random simulation, BDD-based verification, counter example pattern, design partitioning, Boolean reasoning, formal verification, formal verification, hardware designs, functional equivalence |
34 | Jian Guo, Jungang Han, Naiyong Jin |
Witness and Counter-Example on 3-Valued Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (2) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 2, pp. 633-637, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond |
Counter-example generation in symbolic abstract model-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 158-164, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Concrete counterexample, Model-checking, Abstraction, Test pattern generation |
34 | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 284-298, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Vivek Raghunathan, P. R. Kumar 0001 |
A counterexample in congestion control of wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montréal, Quebec, Canada, October 10-13, 2005, pp. 290-297, 2005, ACM, 1-59593-188-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
stability, congestion control, TCP, fairness, wireless ad hoc networks |
31 | Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi |
Efficient Debugging in a Formal Verification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 275-292, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Michel Raynal |
Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 806-814, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Shinya Umeno |
Event order abstraction for parametric real-time system verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 1-10, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification |
28 | András Bánhalmi, András Kocsor, Róbert Busa-Fekete |
Counter-Example Generation-Based One-Class Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings, pp. 543-550, 2007, Springer, 978-3-540-74957-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Alet Roux, Tomasz Zastawniak |
A counter-example to an option pricing formula under transaction costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finance Stochastics ![In: Finance Stochastics 10(4), pp. 575-578, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
JEL Classification G11, G13 |
28 | Satyaki Das, David L. Dill |
Counter-Example Based Predicate Discovery in Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 19-32, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Dmitry G. Korzun, Andrei V. Gurtov |
A local equilibrium model for P2P resource ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 37(2), pp. 27-29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao |
A randomized interleaved DRAM architecture for the maintenance of exact statistics counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 37(2), pp. 53-54, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Sipat Triukose, Zhihua Wen, Michael Rabinovich |
Content delivery networks: how big is big enough? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 37(2), pp. 59-60, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Alma Riska, Erik Riedel |
Evaluation of disk-level workloads at different time scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 37(2), pp. 67-68, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Rajeev K. Ranjan 0001, Claudionor Coelho, Sebastian Skalberg |
Beyond verification: leveraging formal for debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 648-651, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavioral indexing, post-silicon debugging, traceless debugging, formal verification, debugging, property verification |
23 | Sriram K. Rajamani |
Tests, Proofs and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 1-2, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Rotem Oshman, Orna Grumberg |
A New Approach to Bounded Model Checking for Branching Time Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 410-424, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Nirman Kumar, Viraj Kumar, Mahesh Viswanathan 0001 |
On the Complexity of Error Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 448-464, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Ao Tang, Jiantao Wang, Steven H. Low |
Counter-intuitive throughput behaviors in networks under end-to-end control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(2), pp. 355-368, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
optimization, fairness, throughput, flow control |
22 | Gilles Défourneaux, Nicolas Peltier |
Partial Matching for Analogy Discovery in Proofs and Counter-Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 431-445, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha |
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16593, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Daniele Masti, Filippo Fabiani, Giorgio Gnecco, Alberto Bemporad |
Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 2047-2052, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Zhiyong Chen |
LaSalle-Yoshizawa Theorem for nonlinear systems with external inputs: A counter-example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 147, pp. 110636, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Daniele Masti, Filippo Fabiani, Giorgio Gnecco, Alberto Bemporad |
Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.10024, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Martín Escardó |
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.11075, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha |
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 5339-5344, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ziga Virk |
A Counter-Example to Hausmann's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 22(2), pp. 469-475, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long |
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.10708, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lianna Hambardzumyan, Hamed Hatami, Ndiamé Ndiaye |
On depth-3 circuits and covering number: an explicit counter-example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.08300, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.04231, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lianna Hambardzumyan, Hamed Hatami, Pooya Hatami |
A counter-example to the probabilistic universal graph conjecture via randomized communication complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 322, pp. 117-122, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 29-45, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Demarchi, Dario Guidotti |
Counter-Example Guided Abstract Refinement for Verification of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS Summer School, PhD Workshop ![In: Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), Pula, Sardinia (Italy), September 19-23, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling 0001 |
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, pp. 79-96, 2022, Springer, 978-3-031-15076-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Yoshiki Nakamura 0001, Naosuke Matsuda |
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(6), pp. 1413-1422, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Lianna Hambardzumyan, Hamed Hatami, Pooya Hatami |
A counter-example to the probabilistic universal graph conjecture via randomized communication complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.10436, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Yuxiao Chen 0001, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray |
Counter-example Guided Learning of Bounds on Environment Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.07233, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Svante Janson |
A graphon counter example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 343(6), pp. 111836, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Tuba Yavuz |
Partial predicate abstraction and counter-example guided refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 110, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Boutry, Rocío González-Díaz, Laurent Najman, Thierry Géraud |
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in nD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis - 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings, pp. 73-87, 2020, Springer, 978-3-030-51001-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, Koushik Sen |
Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: CC '20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020, pp. 155-166, 2020, ACM, 978-1-4503-7120-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Hongkai Dai, Benoit Landry, Marco Pavone 0001, Russ Tedrake |
Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, pp. 1274-1281, 2020, IEEE, 978-1-7281-7447-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Beihui Yuan, Michael Eugene Stillman |
A counter-example to the Schenck-Stiller "2r + 1" conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 110, pp. 33-41, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee 0001, Pankaj Kumar Kalita, Purandar Bhaduri |
Counter-example generation procedure for path-based equivalence checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 13(4), pp. 280-285, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ryo Watanabe, Toshifusa Sekizawa |
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCS ![In: IEEE 4th International Conference on Computer and Communication Systems, ICCCS 2019, Singapore, February 23-25, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-1322-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Rüdiger Ehlers |
How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 245-261, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Yuxiao Chen 0001, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray |
Counter-example Guided Learning of Bounds on Environment Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRL ![In: 3rd Annual Conference on Robot Learning, CoRL 2019, Osaka, Japan, October 30 - November 1, 2019, Proceedings, pp. 898-909, 2019, PMLR. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Hamzeh Agahi, Radko Mesiar |
On Choquet-Pettis Expectation of Banach-Valued Functions: A Counter Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 26(2), pp. 255-260, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Brad Thompson |
System State Variable Discovery Counter Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: IEEE Conference on Control Technology and Applications, CCTA 2018, Copenhagen, Denmark, August 21-24, 2018, pp. 1532-1539, 2018, IEEE, 978-1-5386-7698-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tuba Yavuz |
Partial Predicate Abstraction and Counter-Example Guided Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.01734, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Anton Wijs, Thomas Neele |
Compositional Model Checking with Incremental Counter-Example Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, pp. 570-590, 2017, Springer, 978-3-319-63386-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Spyros A. Reveliotis |
On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 61(1), pp. 194-197, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Holger Ingmar Meinhardt |
Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.00226, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep |
Counter-Example Guided Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 25-42, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Ryo Takemura |
Counter-Example Construction with Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(4), pp. 669-696, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jonathan Scarlett, Anelia Somekh-Baruch, Alfonso Martinez, Albert Guillen i Fabregas |
A Counter-Example to the Mismatched Decoding Converse for Binary-Input Discrete Memoryless Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 61(10), pp. 5387-5395, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.03688, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | |
A Counter-Example Guided Framework for Robust Synthesis of Switched Systems Using Control Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.06108, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Jonathan Scarlett, Anelia Somekh-Baruch, Alfonso Martinez, Albert Guillén i Fàbregas |
A Counter-Example to the Mismatched Decoding Converse for Binary-Input Discrete Memoryless Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.02374, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 4232-4239, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Voirol, Etienne Kneuss, Viktor Kuncak |
Counter-example complete verification for higher-order functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scala@PLDI ![In: Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala@PLDI 2015, Portland, OR, USA, June 15-17, 2015, pp. 18-29, 2015, ACM, 978-1-4503-3626-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Constantinos Daskalakis, Qinxuan Pan |
A Counter-Example to Karlin's Strong Conjecture for Fictitious Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.4840, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Constantinos Daskalakis, Qinxuan Pan |
A Counter-example to Karlin's Strong Conjecture for Fictitious Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, October 18-21, 2014, pp. 11-20, 2014, IEEE Computer Society, 978-1-4799-6517-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Adnan Amin, Changez Khan, Imtiaz Ali, Sajid Anwar |
Customer Churn Prediction in Telecommunication Industry: With and without Counter-Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI (2) ![In: Nature-Inspired Computation and Machine Learning - 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part II, pp. 206-218, 2014, Springer, 978-3-319-13649-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann 0001 |
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany, pp. 193-196, 2014, Cuvillier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Adnan Amin, Changez Khan, Imtiaz Ali, Sajid Anwar |
Customer Churn Prediction in Telecommunication Industry: With and without Counter-Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENIC ![In: 2014 European Network Intelligence Conference, ENIC 2014, Wroclaw, Poland, September 29-30, 2014, pp. 134-137, 2014, IEEE Computer Society, 978-1-4799-6914-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Zissis Poulos, Yu-Shen Yang, Andreas G. Veneris, Bao Le |
Simulation and satisfiability guided counter-example triage for RTL design debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: Fifteenth International Symposium on Quality Electronic Design, ISQED 2014, Santa Clara, CA, USA, March 3-5, 2014, pp. 618-624, 2014, IEEE, 978-1-4799-3945-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | José Barahona da Fonseca |
Are Rosenblatt multilayer perceptrons more powerfull than sigmoidal multilayer perceptrons? From a counter example to a general result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESANN ![In: 21st European Symposium on Artificial Neural Networks, ESANN 2013, Bruges, Belgium, April 24-26, 2013, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Carl Leonardsson, Ahmed Rezine |
Counter-Example Guided Fence Insertion under TSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, pp. 204-219, 2012, Springer, 978-3-642-28755-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Shah Muhammad, Jacob van der Woude |
On stability conditions for systems with periodic state-dependent coefficients: a counter example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA J. Math. Control. Inf. ![In: IMA J. Math. Control. Inf. 28(1), pp. 97-102, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Geoffrey Nelissen, Joël Goossens |
A counter-example to: Sticky-ERfair: a task-processor affinity aware proportional fair scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 47(4), pp. 378-381, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Y. Halpern |
A Counter Example to Theorems of Cox and Fine ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1105.5450, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | John Cantwell |
On an alleged counter-example to causal decision theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 173(2), pp. 127-152, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Shah Muhammad, Jacob van der Woude |
A counter example to a recent result on the stability of non-linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA J. Math. Control. Inf. ![In: IMA J. Math. Control. Inf. 26(3), pp. 319-323, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim |
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT@ETAPS ![In: Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009, pp. 21-36, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Yoshio Ebihara, Tomomichi Hagiwara |
On the degree of polynomial parameter-dependent Lyapunov functions for robust stability of single parameter-dependent LTI systems: A counter-example to Barmish's conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 42(9), pp. 1599-1603, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Moustapha Diaby |
On "P = NP: Linear Programming Formulation of the Traveling Salesman Problem": A reply to Hofman's Claim of a "Counter-Example" ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0611074, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | Michael Margaliot |
A Counter Example to a Conjecture of Gurvits on Switched Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 4117-4120, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Nuno C. Martins |
Witsenhausen's Counter Example Holds in the Presence of Side Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 1111-1116, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Koji Hasebe, Mitsuhiro Okada |
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@RDP ![In: Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005, pp. 73-92, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Wendell Piez |
Format and Content: Should they be separated? Can they be?: With a counter-example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Extreme Markup Languages® ![In: Proceedings of the Extreme Markup Languages® 2005 Conference, 1-5 August 2005, Montréal, Quebec, Canada, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Daniel Král' |
A counter-example to Voloshin's hypergraph co-perfectness conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 27, pp. 253-262, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
20 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Counter-Example Guided Predicate Abstraction of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 208-223, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jarkko Kari |
A Counter Example to a Conjecture Concerning Synchronizing Words in Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 73, pp. 146, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Rémi Gribonval |
A Counter-Example to the General Convergence of Partially Greedy Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 111(1), pp. 128-138, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Simon Julier, Jeffrey K. Uhlmann |
A Counter Example to the Theory of Simulataneous Localization and Map Building. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2001 IEEE International Conference on Robotics and Automation, ICRA 2001, May 21-26, 2001, Seoul, Korea, pp. 4238-4243, 2001, IEEE, 0-7803-6578-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Rahul Shah 0001, Martin Farach-Colton |
On the midpath tree conjuncture: a counter-example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, January 7-9, 2001, Washington, DC, USA., pp. 208-209, 2001, ACM/SIAM, 0-89871-490-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | Petr Korba, Herbert Werner |
Counter-example to ad-hoc off-equilibrium linearisation methods in gain-scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 1342-1347, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|