Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
86 | Lorenzo Carlucci, Sanjay Jain 0001, Efim B. Kinber, Frank Stephan 0001 |
Variations on U-Shaped Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Learning Theory, 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings, pp. 382-397, 2005, Springer, 3-540-26556-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
86 | Deepak Kapur, Mahadevan Subramaniam |
Extending Decision Procedures with Induction Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 324-345, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
71 | Simon Colton |
Making Conjectures about Maple Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 259-274, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
69 | Jemima Rossmorris, Susan Stepney |
Requirements as Conjectures: Intuitive DVD Menu Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 172-186, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
requirements, Z, DVD, conjectures |
65 | Stephan Falke 0001, Deepak Kapur |
Inductive Decidability Using Implicit Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 45-59, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Simon Colton, Sophie Huczynska |
The Homer System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 289-294, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
60 | Raman Sanyal, Axel Werner, Günter M. Ziegler |
On Kalai's Conjectures Concerning Centrally Symmetric Polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(2), pp. 183-198, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Centrally symmetric convex polytopes, f-vector inequalities, Flag vectors, Kalai’s 3 d -conjecture, Equivariant rigidity, Hanner polytopes, Hansen polytopes, Central hypersimplices |
54 | Simon Colton |
The HR Program for Theorem Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 285-289, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Michael Alekhnovich |
More on Average Case vs Approximation Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings, pp. 298-307, 2003, IEEE Computer Society, 0-7695-2040-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Robert M. Gray, Tamás Linder |
Results and Conjectures on High Rate Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: 2004 Data Compression Conference (DCC 2004), 23-25 March 2004, Snowbird, UT, USA, pp. 3-12, 2004, IEEE Computer Society, 0-7695-2082-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Graham Steel, Alan Bundy, Monika Maidl |
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 137-151, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Raúl Monroy |
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 10(3), pp. 247-269, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
faulty specifications, program synthesis/transformation, abduction, proof planning |
39 | Serge Autexier, Carsten Schürmann |
Disproving False Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 33-48, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Francis Alexandre, Khaled Bsaïes, Moussa Demba |
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, pp. 20-33, 2003, Springer, 3-540-22174-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction |
39 | Martin Protzen |
Disproving Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 340-354, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
39 | Jyrki Nummenmaa, Peter Thanisch |
Conjectures and Refutations in Database Design and Dependency Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings, pp. 215-228, 1990, Springer, 3-540-53507-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Justine Falque |
Classification des groupes P-oligomorphes, conjectures de Cameron et Macpherson. (Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
34 | Kaoutar Ghazi |
Heuristiques et conjectures à propos de la 2-dimension des ordres partiels. (Heuristics and conjectures about the 2-dimension of partial orders). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
32 | Haizhong Shi, Pan-feng Niu |
Hamiltonian Decomposition of Some Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings, pp. 231-237, 2009, Springer, 978-3-642-02025-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hamiltonian decomposition, Cayley graph |
32 | John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef |
Validation Support for Distributed Real-Time Embedded Systems in VDM++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 331-340, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Mateja Jamnik, Alan Bundy |
Psychological Validity of Schematic Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 321-341, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Qi Cheng 0001, Ming-Deh A. Huang |
On Partial Lifting and the Elliptic Curve Discrete Logarithm Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings, pp. 342-351, 2004, Springer, 3-540-24131-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
partiallifting, Elliptic curve cryptosystem, discrete logarithm |
32 | Subhash Khot, Guy Kindler, Elchanan Mossel, Ryan O'Donnell |
Optimal Inapproximability Results for Max-Cut and Other 2-Variable CSPs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, pp. 146-154, 2004, IEEE Computer Society, 0-7695-2228-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Sanjay Jain 0001, Efim B. Kinber |
Learning Languages from Positive Data and Negative Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004, Proceedings, pp. 54-68, 2004, Springer, 978-3-540-23356-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Deepak Kapur, Mahadevan Subramaniam |
Lemma Discovery in Automated Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 538-552, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Michael Ben-Or |
Algebraic Computation Trees in Characteristi p>0 (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 534-539, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
combinatorial method, algebraically closed fields, element distinctness problem, Weil conjectures, lower bounds, Zeta function, algebraic varieties, algebraic computation trees |
31 | Clyde P. Kruskal, Marc Snir, Alan Weiss |
The Distribution of Waiting Times in Clocked Multistage Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(11), pp. 1337-1352, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
buffered interconnection networks, clocked multistage interconnection networks, random delay, multistage packet-switching banyan network, total delay distribution, spatial steady state, performance evaluation, delays, delays, multiprocessor interconnection networks, queueing theory, queueing theory, buffer storage, waiting times, formulas, conjectures, waiting times distribution |
28 | Carl de Boor |
Multivariate polynomial interpolation: conjectures concerning GC-sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 45(1-4), pp. 113-125, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 41A05, 65D05, 41A63, 41A10 |
28 | H. F. Lu |
On the Conjectures of SU(3) and AB Unitary Space-Time Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(7), pp. 3319-3324, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Graham Steel, Alan Bundy |
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(1-2), pp. 149-176, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cryptographic security protocols, counterexamples, superposition |
28 | Pascal Véron |
Proof of Conjectures on the True Dimension of Some Binary Goppa Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 36(3), pp. 317-325, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
trace operator, redundancy equation, parameters of Goppa codes, Goppa codes |
28 | Edward E. Allen, Jacquelyn S. Fetrow, David J. John, Stan J. Thomas |
Heuristics for dependency conjectures in proteomic signaling pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (1) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1, pp. 75-79, 2005, ACM, 1-59593-059-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
glycolysis regulation, heuristics, computational biology, proteomics, signal transduction |
28 | Nadia Brauner, Gerd Finke |
Robotic Cells: Configurations, Conjectures and Cycle Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR ![In: Operations Research Proceedings 2005, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Bremen, Germany, September 7-9, 2005, pp. 721-726, 2005, 978-3-540-32537-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Chandra Nair, Balaji Prabhakar, Mayank Sharma |
Proofs of the Parisi and Coppersmith-Sorkin Conjectures for the Finite Random Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings, pp. 168-178, 2003, IEEE Computer Society, 0-7695-2040-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret |
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, pp. 107-114, 2000, Springer, 3-540-42071-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Matthew Geoffrey Parker |
Conjectures on the Size of Constellations Constructed from Direct Sums of PSK Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 13th International Symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999, Proceedings, pp. 420-429, 1999, Springer, 3-540-66723-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Richard A. Shore |
Conjectures and questions from Gerald Sacks's Degrees of Unsolvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 36(4-5), pp. 233-253, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Raúl Monroy, Alan Bundy, Andrew Ireland |
Proof Plans for the Correction of False Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, pp. 54-68, 1994, Springer, 3-540-58216-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller |
Report on the EDBT/ICDT 2010 workshop on updates in XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 39(1), pp. 54-57, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | György Elekes, Micha Sharir |
Incidences in three dimensions and distinct distances in the plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 413-422, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
algebraic techniques, distinct distances, incidences |
22 | Eric Van Wyk, Mats Per Erik Heimdahl |
Flexibility in modeling languages and tools: a call to arms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(3), pp. 203-215, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Eyal Ackerman, Jacob Fox, János Pach, Andrew Suk |
On grids in topological graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 403-412, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tur?n-type problems, grids, geometric graphs, topological graphs |
22 | Katherine A. Panciera, Aaron Halfaker, Loren G. Terveen |
Wikipedians are born, not made: a study of power editors on Wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2009 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2009, Sanibel Island, Florida, USA, May 10-13, 2009, pp. 51-60, 2009, ACM, 978-1-60558-500-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
power editors, collaboration, wiki, Wikipedia, contribution |
22 | Allan Sly |
Reconstruction for the Potts model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 581-590, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reconstruction, Potts model |
22 | Audris Mockus |
Succession: Measuring transfer of code and developer productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 67-77, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Grant Olney Passmore, Paul B. Jackson |
Combined Decision Techniques for the Existential Theory of the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 122-137, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | John Case, Samuel E. Moelius |
U-shaped, iterative, and iterative-with-counter learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 72(1-2), pp. 63-88, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Gold-style learning, Iterative-with-counter learning, Memory limited learning, Non-U-shaped learning, Partly set-driven learning, Rearrangement independent learning, Set-driven learning, U-shape, U-shaped learning, Language learning, Inductive inference, Computational learning theory, Counter, Iterative learning |
22 | Seth Pettie |
Splay trees, Davenport-Schinzel sequences, and the deque conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, pp. 1115-1124, 2008, SIAM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
22 | Takashi Matsuhisa |
Bayesian Communication Leading to Nash Equilibrium Through Robust Messages - p -Belief System Case -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings, pp. 654-663, 2008, Springer, 978-3-540-78581-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Journal of Economic Literature Classification C62, C78 |
22 | Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv |
Labelled Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 311-327, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | David Jao, Dimitar Jetchev, Ramarathnam Venkatesan |
On the Bits of Elliptic Curve Diffie-Hellman Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2007, 8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007, Proceedings, pp. 33-47, 2007, Springer, 978-3-540-77025-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | John Case, Samuel E. Moelius |
U-Shaped, Iterative, and Iterative-with-Counter Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Learning Theory, 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings, pp. 172-186, 2007, Springer, 978-3-540-72925-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Takashi Matsuhisa |
Communication Leading to Nash Equilibrium Through Robust Messages - S5 -Knowledge Model Case -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA ![In: Combinatorial Optimization and Applications, First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings, pp. 136-145, 2007, Springer, 978-3-540-73555-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Robust message, Non-corporative game, S5-knowledge model, Communication, Protocol, Nash equilibrium, Conjecture |
22 | Daniel R. L. Brown, Kristian Gjøsteen |
A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2007, 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings, pp. 466-481, 2007, Springer, 978-3-540-74142-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Elliptic Curve Cryptography, Random Number Generation |
22 | Qi Cheng 0001, Ming-Deh A. Huang |
Partial Lifting and the Elliptic Curve Discrete Logarithm Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 46(1), pp. 59-68, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Takahito Aoto 0001 |
Dealing with Non-orientable Equations in Rewriting Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 242-256, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Albert Atserias |
On Digraph Coloring Problems and Treewidth Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 106-115, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Wm. Benjamin Martz Jr., Venkateshwar K. Reddy |
Looking for Indicators of Media Richness Theory in Distance Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Lucian Ilie, Pascal Ochem, Jeffrey O. Shallit |
A Generalization of Repetition Threshold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 818-826, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Takashi Matsuhisa |
Communication Leading to Nash Equilibrium without Acyclic Condition (S4-Knowledge Model Case). ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 884-891, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Modal logic S4, Mutual learning, Non-corporative game, Communication, Protocol, Nash equilibrium, Knowledge, Information, Conjecture |
22 | Deepak Kapur, Mahadevan Subramaniam |
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, pp. 125-145, 2003, Springer, 3-540-20632-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Hyungiu Park |
Prime factorization of N-D polynomial matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 666-669, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Raúl Monroy |
Concept Formation via Proof Planning Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 723-736, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Jürgen Giesl, Deepak Kapur |
Decidable Classes of Inductive Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 469-484, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Evelyne Contejean, Antoine Coste, Benjamin Monate |
Rewriting Techniques in Theoretical Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 80-94, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Alexei P. Stolboushkin, Michael A. Taitslin |
Normalizable linear orders and generic computations in finite models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 38(4-5), pp. 257-271, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Predrag Janicic, Alan Bundy, Ian Green |
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, pp. 127-141, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou |
Automatic Theorem Generation in Plane Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 415-424, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Franz-Josef Brandenburg |
Intersections of Some Families of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings, pp. 60-68, 1986, Springer, 3-540-16761-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Daniele Bartoli, Matteo Bonini |
More on the DLW conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 93, pp. 102332, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Patrick E. Farrell, Lawrence Mitchell, L. Ridgway Scott |
Two Conjectures on the Stokes Complex in Three Dimensions on Freudenthal Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 46(2), pp. 629-, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Shuichi Hirahara, Nobutaka Shimizu |
Planted Clique Conjectures Are Equivalent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR24, pp. TR24-058, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Kim Hammar, Tao Li, Rolf Stadler, Quanyan Zhu |
Automated Security Response through Online Learning with Adaptive Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12499, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Paul Dorbec, Michael Anthony Henning |
The 1/3-conjectures for domination in cubic graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17820, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Yujun Yang, Can Xu |
On two conjectures concerning spanning tree edge dependences of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 344, pp. 32-42, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Yanfang Liang, Baoyindureng Wu |
On some conjectures on biclique graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 343, pp. 184-190, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Johnston, P. Mark Kayll, Cory Palmer |
Deranged Matchings: Proofs and Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 131(2), pp. 95-111, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Jiangdong Ai, Stefanie Gerke, Gregory Z. Gutin, Shujing Wang 0003, Anders Yeo, Yacong Zhou |
On Seymour's and Sullivan's second neighbourhood conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 105(3), pp. 413-426, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Valentina Pasqual, Gerald Manzano, Eduart Uzeir, Francesca Tomasi, Fabio Vitali |
Evaluation of Expressing without asserting approaches in RDF. The case of Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRCDL ![In: Proceedings of the 20th Conference on Information and Research science Connecting to Digital and Library science (formerly the Italian Research Conference on Digital Libraries), Bressanone, Brixen, Italy - 22-23 February 2024., pp. 60-73, 2024, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Nilanjan Bag, Antonio Rojas-León, Wenpeng Zhang 0001 |
On some conjectures on generalized quadratic Gauss sums and related problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 86, pp. 102131, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Guoce Xin, Yueming Zhong |
Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 145, pp. 102479, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Manal H. Algreagri, Ahmad M. Alghamdi |
Remarks on Conjectures in Block Theory of Finite Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(12), pp. 1103, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Eman Bakhdher, Ahmad M. Alghamdi |
Modular Conjectures for Direct Product of Finite Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(12), pp. 2143, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Bara Kim, Jeongsim Kim, Yan Su, Chia-Li Wang |
Proofs of conjectures on the competition between observable and unobservable servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 104(3-4), pp. 211-238, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Ross Drummond, Chris Guiver, Matthew C. Turner |
Aizerman Conjectures for a Class of Multivariate Positive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(8), pp. 5073-5080, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Barry Mazur, Karl Rubin |
Arithmetic Conjectures Suggested by the Statistical Behavior of Modular Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 32(4), pp. 657-672, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Chantal David, Matilde Lalín, Jungbae Nam |
Conjectures for Moments Associated With Cubic Twists of Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 32(1), pp. 105-132, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Minjia Shi, Shitao Li, Jon-Lark Kim |
Two Conjectures on the Largest Minimum Distances of Binary Self-Orthogonal Codes With Dimension 5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 69(7), pp. 4507-4512, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yupeng Jiang, Ming Li 0033, Dongdai Lin |
Proofs of Conjectures on Extremal Weight De Bruijn Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 69(8), pp. 5357-5363, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Giovanni Sileno, Jean-Louis Dessalles |
Three Conjectures on Unexpectedeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.08768, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Jiménez, Jessica McDonald, Reza Naserasr, Kathryn Nurse, Daniel A. Quiroz |
Balanced-chromatic number and Hadwiger-like conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.01242, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Ali Kemal Uncu |
Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for A2 Rogers-Ramanujan Type Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.01359, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Juan Gutiérrez, Christian Valqui |
On two conjectures about the intersection of longest paths and cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03849, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Paulius Dilkas, Vaishak Belle |
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.04189, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper |
Proving Conjectures Acquired by Composing Multiple Biases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.08990, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Huaijin Liang, Zengjing Chen |
Proofs of the Ethier and Lee slot machine conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.08935, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Giannini, Stefano Fioravanti, Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Lio, Pietro Barbiero |
Interpretable Graph Networks Formulate Universal Algebra Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.11688, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yang Liu 0035, Ruihu Li, Luobin Guo, Hao Song 0003 |
Dimensions of nonbinary antiprimitive BCH codes and some conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 346(9), pp. 113496, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Arthur L. B. Yang |
Stanley's conjectures on the Stern poset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 346(6), pp. 113359, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey O. Shallit, Sonja Linghui Shan, Kai-Hsiang Yang |
Automatic sequences in negative bases and proofs of some conjectures of shevelev. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 57, pp. 4, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|