|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4075 occurrences of 1988 keywords
|
|
|
Results
Found 10042 publication records. Showing 10042 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Serge Autexier, Claudio Sacerdoti Coen |
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 67-81, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Véronique Cortier, Bogdan Warinschi |
Computationally Sound, Automated Proofs for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 14th European Symposium on Programming, ESOP 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. 157-171, 2005, Springer, 3-540-25435-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock |
Errors in Computational Complexity Proofs for Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings, pp. 624-643, 2005, Springer, 3-540-30684-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Cristian Calude, Solomon Marcus |
Mathematical Proofs at a Crossroad? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Is Forever ![In: Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, pp. 15-28, 2004, Springer, 3-540-22393-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer 0001 |
Certifying and Synthesizing Membership Equational Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 359-380, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Sunae Seo, Hongseok Yang, Kwangkeun Yi |
Automatic Construction of Hoare Proofs from Abstract Interpretation Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings, pp. 230-245, 2003, Springer, 3-540-20536-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Michael Backes 0001, Matthias Schunter |
From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSPW ![In: Proceedings of the New Security Paradigms Workshop 2003, August 18-21, 2002, Ascona, Switzerland, pp. 67-74, 2003, ACM, 1-58113-880-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal methods, cryptography |
29 | Herman Geuvers, Gueorgui I. Jojgov |
Open Proofs and Open Terms: A Basis for Interactive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 537-552, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
open terms, meta-variables, formulas-as-types, type theory, interactive theorem proving |
29 | Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas |
Termination proofs for logic programs with tabling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(1), pp. 57-92, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
prolog, tabling, SLG-resolution |
29 | Eli Ben-Sasson, Avi Wigderson |
Short proofs are narrow - resolution made simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(2), pp. 149-169, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Georg Struth |
Calculating Church-Rosser Proofs in Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 6th International Conference, RelMICS 2001, and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001, Revised Papers, pp. 276-290, 2001, Springer, 3-540-00315-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics |
29 | Mike Burmester, Yvo Desmedt, Toshiya Itoh, Kouichi Sakurai, Hiroki Shizuya |
Divertible and Subliminal-Free Zero-Knowledge Proofs for Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 12(3), pp. 197-223, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Divertibility, Subliminal-free, Cryptographic protocols, Identification, Zero-knowledge, Proof systems, Untraceability |
29 | Michael T. Goodrich, Roberto Tamassia |
Teaching the analysis of algorithms with visual proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pp. 207-211, 1998, ACM, 0-89791-994-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Hans-Jörg Tiede |
Lambek Calculus Proofs and Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected Papers, pp. 251-265, 1998, Springer, 3-540-42251-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Thierry Coquand, Henrik Persson |
Gröbner Bases in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, pp. 33-46, 1998, Springer, 3-540-66537-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Yann Coscoy |
A Natural Language Explanation for Formal Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers, pp. 149-167, 1996, Springer, 3-540-63700-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Wai Wong |
Recording and Checking HOL Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 353-368, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Alfredo De Santis, Tatsuaki Okamoto, Giuseppe Persiano |
Zero-Knowledge Proofs of Computational Power in the Shared String Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT '94, 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28 - December 1, 1994, Proceedings, pp. 182-192, 1994, Springer, 3-540-59339-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Kurt Ammon |
Automatic Proofs in Mathematical Logic and Analysis. ![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. 4-19, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Tatsuaki Okamoto |
An Extensin of Zero-Knowledge Proofs and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT '91, International Conference on the Theory and Applications of Cryptology, Fujiyoshida, Japan, November 11-14, 1991, Proceedings, pp. 368-381, 1991, Springer, 3-540-57332-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Mike Burmester, Yvo Desmedt |
Broadcast Interactive Proofs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings, pp. 81-95, 1991, Springer, 3-540-54620-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Wu-Tung Cheng, Janak H. Patel |
PROOFS: a super fast fault simulator for sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 475-479, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Thomas M. Niermann, Wu-Tung Cheng, Janak H. Patel |
Proofs: A Fast, Memory Efficient Sequential Circuit Fault Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 535-540, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Peter B. Andrews |
Transforming Matings into Natural Deduction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, pp. 281-292, 1980, Springer, 3-540-10009-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
28 | Roman Kuznets |
Proof Identity for Classical Logic: Generalizing to Normality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 332-348, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene |
Using TAME to prove invariants of automata models: Two case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSP ![In: Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA, pp. 25-36, 2000, ACM, 1-58113-262-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
software requirements analysis, Software engineering, verification, formal methods, theorem proving |
28 | John N. Crossley |
Practical Logic (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995, Proceedings, pp. 162, 1995, Springer, 3-540-60573-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Mihir Bellare, Chanathip Namprempre, Gregory Neven |
Security Proofs for Identity-Based Identification and Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 22(1), pp. 1-61, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Signatures, Identity-based cryptography, Identification schemes, Security proofs |
28 | Dorota Leszczynska-Jasion |
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(3), pp. 365-399, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modal propositional logics, extensions of logic S4, the method of Socratic proofs, logic of questions, Inferential EroteticLogic |
28 | Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, Thomas Vidick |
Using Entanglement in Quantum Multi-prover Interactive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 23rd Annual IEEE Conference on Computational Complexity, CCC 2008, 23-26 June 2008, College Park, Maryland, USA, pp. 211-222, 2008, IEEE Computer Society, 978-0-7695-3169-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quantum interactive proofs, public-coin, parallelization, entanglement |
28 | Juan Manuel Crespo, Gustavo Betarte, Carlos Luna 0001 |
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 49-63, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mobile devices, Access control models, formal proofs |
28 | Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto |
Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 16(6), pp. 405-438, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Canetti, Krawczyk model, Security proofs, Key exchange protocols |
28 | Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg |
Program Extraction from Normalization Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 25-49, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus |
28 | Martin Sulzmann |
Extracting programs from type class proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 97-108, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
proofs are programs principle, overloading, type classes |
28 | Andrzej Wisniewski, Guido Vanackere, Dorota Leszczynska |
Socratic Proofs and Paraconsistency: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 431-466, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Socratic proofs, logic of questions, paraconsistent logics |
28 | Kumar Chellapilla, Kevin Larson, Patrice Y. Simard, Mary Czerwinski |
Designing human friendly human interaction proofs (HIPs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 711-720, 2005, ACM, 1-58113-998-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
completely automated public turing tests to tell computers and humans apart (CAPTCHAs), visual letter recognition, evaluation, computer vision, human perception, human interaction proofs (HIPs) |
28 | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
An inheritance-based technique for building simulation proofs incrementally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(1), pp. 63-91, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements |
28 | Dima Grigoriev |
Complexity of Positivstellensatz proofs for the knapsack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 10(2), pp. 139-154, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Polynomial calculus, Positivstellensatz proofs, complexity of the knapsack |
28 | Dima Grigoriev |
Tseitin's Tautologies and Lower Bounds for Nullstellensatz Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 648-652, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Nullstellensatz proofs, Tseitin's tautologies, lower bounds, expander |
28 | Lawrence C. Paulson |
Mechanized proofs for a recursive authentication protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA, pp. 84-95, 1997, IEEE Computer Society, 0-8186-7990-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys |
28 | Maria Luisa Bonet, Toniann Pitassi, Ran Raz |
No Feasible Interpolation for TC0-Frege Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 254-263, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
TC/sup 0/-Frege proofs, feasible interpolation, complexity-theoretic assumption, hardness assumption, lower bounds, theorem proving, Chinese Remainder Theorem, proof systems |
28 | Steven Parkes, Prithviraj Banerjee, Janak H. Patel |
A parallel algorithm for fault simulation based on PROOFS . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 616-621, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fault partitioning, dynamic partitioning schemes, compute intensive task, integrated circuit design process, rapid design turn around, ProperPROOFS, parallel extension, PROOFS fault simulation package, distributed method, fault redistribution, ISCAS-89 benchmark set, high performance serial fault simulation applications, parallel algorithms, parallel algorithm, parallel architectures, parallel architectures, fault diagnosis, logic testing, sequential circuits, sequential circuits, circuit analysis computing, logic partitioning |
28 | Paolo Volpe |
Concurrent Logic Programming as Uniform Linear Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings, pp. 133-149, 1994, Springer, 3-540-58431-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Uniform Proofs, Phase Semantics, Chemical Abstract Machine, Concurrency, Linear Logic |
28 | Bertram Fronhöfer |
Linear Proofs and Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 106-125, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Linear Proofs, Logics for Planning, Linear Logic |
28 | Alan Bundy |
The Use of Explicit Plans to Guide Inductive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 111-120, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
inductive proofs, formal methods, planning, theorem proving, automatic programming, Proof plans |
27 | Jung-Min Park 0001, Edwin K. P. Chong, Howard Jay Siegel |
Constructing fair-exchange protocols for E-commerce via distributed computation of RSA signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 172-181, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
e-commerce, zero-knowledge proofs, multisignatures, RSA signatures, Fair-exchange protocols |
27 | Maria Luisa Bonet, Nicola Galesi |
Optimality of size-width tradeoffs for resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 10(4), pp. 261-276, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
complexity of proofs, automated theorem proving.¶ Subject classification. 03F20, 03B05, Resolution, 68T15 |
27 | Satoshi Hada, Toshiaki Tanaka |
A Relationship between One-Wayness and Correlation Intractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography, Second International Workshop on Practice and Theory in Public Key Cryptography, PKC '99, Kamakura, Japan, March 1-3, 1999, Proceedings, pp. 82-96, 1999, Springer, 3-540-65644-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
correlation intractability, zero-knowledge, One-way functions, random oracle, interactive proofs, round complexity |
27 | Ran Raz |
Quantum Information and the PCP Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 55(3), pp. 462-489, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quantum interactive proofs, Quantum advice, Quantum computation, Probabilistically checkable proofs, Quantum information, Low degree test |
27 | Adi Shamir |
IP=PSPACE ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume I, pp. 11-15, 1990, IEEE Computer Society, 0-8186-2082-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
acceptance probability, honest provers, public coins, logarithmic workspace, two-way access, random tape, interaction, IP, randomization, polynomial time, one-way functions, zero-knowledge proofs, interactive proofs, PSPACE, polynomial space, proof verification |
25 | John Wickerson |
Ribbon Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2013, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
25 | B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump (eds.) |
Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer-assisted proofs - tools, methods and applications ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Andreas Rauh, Ekaterina Auer |
Interval Approaches to Reliable Control of Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer-assisted proofs - tools, methods and applications ![In: Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, Wolfram Luther |
Verification and Validation for Femur Prosthesis Surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer-assisted proofs - tools, methods and applications ![In: Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (eds.) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Thierry Coquand, Henri Lombardi, Marie-Françoise Roy (eds.) |
Mathematics, Algorithms, Proofs, 9.-14. January 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Borbála Fazekas, Michael Plum, Christian Wieners |
Enclosure for the Biharmonic Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![In: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, Holger Traczinski |
Integration of reliable algorithms into modeling software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![In: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Philippe Langlois, Stef Graillat, Nicolas Louvet |
Compensated Horner Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![In: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Götz Alefeld, Zhengyu Wang |
Verification of Solutions for Almost Linear Complementarity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![In: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | James Demmel, Ioana Dumitriu, Olga Holtz |
Toward accurate polynomial evaluation in rounded arithmetic (short report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![In: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Christian Jansson |
Rigorous Results in Combinatorial Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![In: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Christian Keil |
Lurupa - Rigorous Error Bounds in Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Numerical Algorithms and Computer-assisted Proofs ![In: Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Harold M. Edwards |
Abel and the Concept of the Genus of a Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Virgile Prevosto |
Certified mathematical hierarchies: the FoCal system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Assia Mahboubi |
Programming and certifying a CAD algorithm in the Coq system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Carsten Schneider |
Some Notes On "When is 0.999... equal to 1?". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Paulo Oliva |
Unifying Functional Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Ihsen Yengui |
A dynamical solution of Kronecker's problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | César Domínguez 0001, Dominique Duval, Laureano Lambán, Julio Rubio Garcia |
Towards Diagrammatic Specifications of Symbolic Computation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Steven Obua |
Proving Bounds for Real Linear Programs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Hervé Perdry, Mariemi Alonso, Henri Lombardi |
Henselian Local Rings: Around a Work in Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Harold M. Edwards |
Introduction to My Book "Essays in Constructive Mathematics". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Erik Palmgren |
Coequalisers of formal topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Philipp Gerhardy, Ulrich Kohlenbach |
Generalized metatheorems on the extractability of uniform bounds in functional analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Thierry Coquand, Henri Lombardi, Peter Schuster 0001 |
A Nilregular Element Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Fred Richman |
Enabling conditions for interpolated rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Tobias Nipkow, Gertrud Bauer |
Towards a Verified Enumeration of All Tame Plane Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Dominique Duval, Jean-Claude Reynaud |
Diagrammatic logic and exceptions: an introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Thomas C. Hales |
Introduction to the Flyspeck Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Marie-Françoise Roy |
Subdiscriminant of symmetric matrices are sums of squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Ulrich Kohlenbach, Laurentiu Leustean |
Approximate fixed points of nonexpansive functions in product spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Bas Spitters |
Constructive algebraic integration theory without choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematics, Algorithms, Proofs ![In: Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
24 | Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, pp. 349-365, 2008, Springer, 978-0-387-09679-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Clemens Grabmayer |
Using Proofs by Coinduction to Find "Traditional" Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 175-193, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Rachna Dhamija, J. D. Tygar |
Phish and HIPs: Human Interactive Proofs to Detect Phishing Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIP ![In: Human Interactive Proofs, Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings, pp. 127-141, 2005, Springer, 3-540-26001-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Tobias Nipkow |
Structured Proofs in Isar/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, pp. 259-278, 2002, Springer, 3-540-14031-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Marvin R. G. Schiller, Christoph Benzmüller |
Presenting Proofs with Adapted Granularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 289-297, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Adaptive proof presentation, proof tutoring, machine learning, granularity, automated reasoning |
24 | Yehuda Lindell, Hila Zarosim |
Adaptive Zero-Knowledge Proofs and Adaptively Secure Oblivious Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings, pp. 183-201, 2009, Springer, 978-3-642-00456-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Masahiko Sato 0001 |
A framework for checking proofs naturally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 31(2), pp. 111-125, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Natural framework, Computation and logic, NF/CAL system |
24 | Vikraman Arvind, Bireswar Das |
SZK Proofs for Black-Box Group Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(2), pp. 100-117, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Kosta Dosen, Zoran Petric |
Equality of proofs for linear equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(6), pp. 549-565, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05 |
24 | Paul Valiant |
Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008., pp. 1-18, 2008, Springer, 978-3-540-78523-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chris Peikert, Vinod Vaikuntanathan |
Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2008, 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings, pp. 536-553, 2008, Springer, 978-3-540-85173-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Marek Klonowski, Tomasz Struminski |
Proofs of Communication and Its Application for Fighting Spam. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings, pp. 720-730, 2008, Springer, 978-3-540-77565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Cezary Kaliszyk, Freek Wiedijk |
Merging Procedural and Declarative Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 203-219, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | David Nowak |
A Framework for Game-Based Security Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings, pp. 319-333, 2007, Springer, 978-3-540-77047-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
security, game, formal verification, proof assistant |
24 | Lisa Allali |
Algorithmic Equality in Heyting Arithmetic Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, pp. 1-17, 2007, Springer, 978-3-540-68084-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Michal Armoni |
On the role of proofs in a course on design and analysis of algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 38(4), pp. 39-42, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
algorithms, correctness, proof |
24 | André Adelsbach, Markus Rohe, Ahmad-Reza Sadeghi |
Efficient Implementation of Zero-Knowledge Proofs for Watermark Detection in Multimedia Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Data Hiding Multim. Secur. ![In: Transactions on Data Hiding and Multimedia Security I, pp. 73-103, 2006, Springer, 3-540-49071-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 10042 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|