The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase ET-proofs (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1939-1968 (15) 1969-1971 (15) 1972-1974 (22) 1975-1976 (25) 1977 (15) 1978-1979 (33) 1980 (18) 1981 (20) 1982 (16) 1983 (21) 1984 (29) 1985 (32) 1986 (37) 1987 (35) 1988 (60) 1989 (90) 1990 (93) 1991 (88) 1992 (120) 1993 (109) 1994 (148) 1995 (144) 1996 (151) 1997 (159) 1998 (196) 1999 (205) 2000 (221) 2001 (237) 2002 (277) 2003 (328) 2004 (334) 2005 (430) 2006 (425) 2007 (437) 2008 (538) 2009 (398) 2010 (282) 2011 (209) 2012 (239) 2013 (250) 2014 (253) 2015 (277) 2016 (315) 2017 (305) 2018 (354) 2019 (370) 2020 (355) 2021 (371) 2022 (422) 2023 (406) 2024 (113)
Publication types (Num. hits)
article(3858) book(22) data(2) incollection(48) inproceedings(5904) phdthesis(145) proceedings(63)
Venues (Conferences, Journals, ...)
Arch. Formal Proofs(806) CoRR(549) IACR Cryptol. ePrint Arch.(444) TYPES(371) CPP(318) CADE(171) Electron. Colloquium Comput. C...(130) CRYPTO(106) TAP@STAF(106) TPHOLs(103) CSL(100) STOC(100) LICS(86) J. Autom. Reason.(85) FOCS(82) EUROCRYPT(79) More (+10 of total 1512)
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
72Xiaorong Huang Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
60Arnold Beckmann Resolution Refutations and Propositional Proofs with Height-Restrictions. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
56Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin Formal certification of code-based cryptographic proofs. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cryptographic proofs, relational hoare logic, program transformations, observational equivalence, coq proof assistant
55Oded Fuhrmann, Shlomo Hoory On Extending Bounded Proofs to Inductive Proofs. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF resolution proofs, extending proofs, proof simplification, Formal verification
52Joan Boyar, René Peralta 0001 On the Concrete Complexity of Zero-Knowledge Proofs. Search on Bibsonomy CRYPTO The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
52Evan Goris Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic of proofs, Bounded arithmetic
52Dale Miller 0001 Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF Expansion Trees, ET-proofs, Matings, Higher-order Logic, Natural Deduction
50James L. Caldwell Moving Proofs-As-Programs into Practice. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
50Jan Camenisch, Rafik Chaabouni, Abhi Shelat Efficient Protocols for Set Membership and Range Proofs. Search on Bibsonomy ASIACRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Range proofs, set membership proofs, bi-linear maps, proofs of knowledge
50John Watrous Succinct quantum proofs for properties of finite groups. Search on Bibsonomy FOCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF succinct quantum proofs, finite group properties, quantum computational variant, quantum proof, quantum state, NP-type proof, black-box groups, group operations, group oracle, Group Non-Membership problem, bounded error, simple proof, quantum proofs, classical proofs, group properties, computational complexity, theorem proving, quantum computing, quantum computer, certificate, nondeterminism, polynomial time, strings, group theory, finite groups
46Jean-François Dufourd A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Coq system, Euler's formula, computer-aided proofs, computer-aided proofs in computational topology, genus theorem, hypermaps, formal specifications, subdivisions
46Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre Petri nets based proofs of Ada 95 solution for preference control. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
45Willem C. Mallon, Jan Tijmen Udding Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
45Samuel R. Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract). Search on Bibsonomy CCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF counting principles, graph tautologies, algebraic proof systems, binomial proofs, Nullstellensatz proofs, polynomial calculus proofs, propositional logic, Proof complexity
43Ran Raz, Iddo Tzameret The Strength of Multilinear Proofs. Search on Bibsonomy Comput. Complex. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Subject classification. 03F20, 68Q17, 13P10
43Aaron Stump, Li-Yang Tan The Algebra of Equality Proofs. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Xiaorong Huang Reconstruction Proofs at the Assertion Level. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
43Matthias Baaz, Richard Zach Algorithmic Structuring of Cut-free Proofs. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
42Michael Backes 0001, Dominique Unruh Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Formal methods, zero-knowledge proofs, computational soundness
42Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum Delegating computation: interactive proofs for muggles. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF muggles, delegation, interactive proofs
41Ari Juels, Burton S. Kaliski Jr. Pors: proofs of retrievability for large files. Search on Bibsonomy CCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proofs of retrievability, storage systems, proofs of knowledge, storage security
41Boaz Barak, Oded Goldreich 0001 Universal Arguments and their Applications. Search on Bibsonomy CCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Probabilistic proof systems, computationally-sound proof systems, zero-knowledge proof systems, probabilistic checkable proofs (PCP), collision-free hashing, witness indistinguishable proof systems, error-correcting codes, proofs of knowledge
39Manfred Kerber Proofs, proofs, proofs, and proofs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
39Manfred Kerber Proofs, Proofs, Proofs, and Proofs. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
38Dale Miller 0001, Alexis Saurin From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Evan Goris Logic of Proofs for Bounded Arithmetic. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Wim van Dam, Richard D. Gill, Peter Grünwald The statistical strength of nonlocality proofs. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Caroline Kudla, Kenneth G. Paterson Non-interactive Designated Verifier Proofs and Undeniable Signatures. Search on Bibsonomy IMACC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Tatsuaki Okamoto, Kazuo Ohta Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility. Search on Bibsonomy EUROCRYPT The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
38Paul Beame, Trinh Huynh, Toniann Pitassi Hardness amplification in proof complexity. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF communication complexity, proof complexity
38Jens Groth, Amit Sahai Efficient Non-interactive Proof Systems for Bilinear Groups. Search on Bibsonomy EUROCRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Non-interactive witness-indistinguishability, common reference string, non-interactive zero-knowledge, bilinear groups
38Pierre-Louis Curien, Giorgio Ghelli Coherence of Subsumption. Search on Bibsonomy CAAP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37Ariel Cohen 0002, Kedar S. Namjoshi Local proofs for global safety properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Local proofs, Model checking, Compositionality, Local reasoning
37Ronen Shaltiel, Emanuele Viola Hardness amplification proofs require majority. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF amplification, natural proofs, black-box, hardness, average-case complexity, constant-depth circuits, majority
37Gérard Le Lann A Methodology for Designing and Dimensioning Critical Complex Computing Systems. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF design proofs, fault-tolerance, distributed computing, design methodology, complex systems, systems engineering, on-line algorithms, critical systems, real-time computing
36Joe Kilian On the complexity of Bounded-Interaction and Noninteractive Zero-Knowledge Proofs Search on Bibsonomy FOCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF bounded-interaction proofs, bounded-interaction, noninteractive zero-knowledge proofs, committed bits, complexity, cryptographic primitive
36Joe Kilian, Erez Petrank An Efficient Noninteractive Zero-Knowledge Proof System for NP with General Assumptions. Search on Bibsonomy J. Cryptol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Efficient proofs, Noninteractive zero knowledge, Efficient proofs, Noninteractive zero knowledge, Zero knowledge, Zero knowledge, Key words, One-way permutations, One-way permutations, Circuit satisfiability, Circuit satisfiability
35Karine Heydemann, Ulrich Kühne, Letitia Li (eds.) Proceedings of 8th International Workshop on Security Proofs for Embedded Systems, PROOFS 2019, colocated with CHES 2018, Atlanta, GA, USA, August 24, 2019 Search on Bibsonomy PROOFS The full citation details ... 2019 DBLP  BibTeX  RDF
35Wei Cheng 0003, Claude Carlet, Kouassi Goli, Jean-Luc Danger, Sylvain Guilley Detecting Faults in Inner-Product Masking Scheme - IPM-FD: IPM with Fault Detection. Search on Bibsonomy PROOFS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Fatemeh Ganji, Shahin Tajik, Pascal Stauss, Jean-Pierre Seifert, Domenic Forte, Mark M. Tehranipoor Rock'n'roll PUFs: Crafting Provably Secure PUFs from Less Secure Ones. Search on Bibsonomy PROOFS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Rei Ueno, Junko Takahashi, Yu-ichi Hayashi, Naofumi Homma Constructing Sliding Windows Leak from Noisy Cache Timing Information of OSS-RSA. Search on Bibsonomy PROOFS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Osnat Keren, Ilia Polian A comment on information leakage from robust code-based checkers detecting fault attacks on cryptographic primitives. Search on Bibsonomy PROOFS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Sébastien Carré, Victor Dyseryn, Adrien Facon, Sylvain Guilley, Thomas Perianin End-to-end automated cache-timing attack driven by Machine Learning. Search on Bibsonomy PROOFS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Lejla Batina, Ulrich Kühne, Nele Mentens (eds.) PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018 Search on Bibsonomy PROOFS The full citation details ... 2018 DBLP  BibTeX  RDF
35Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki A Non-Reversible Insertion Method for Hardware Trojans Based on Path Delay Faults. Search on Bibsonomy PROOFS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Muhammad Ali Siddiqi, Robert M. Seepers, Mohammad Hamad, Vassilis Prevelakis, Christos Strydis Attack-tree-based Threat Modeling of Medical Implants. Search on Bibsonomy PROOFS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Danilo Sijacic, Josep Balasch, Bohan Yang 0001, Santosh Ghosh, Ingrid Verbauwhede Towards Efficient and Automated Side Channel Evaluations at Design Time. Search on Bibsonomy PROOFS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Manaar Alam, Debdeep Mukhopadhyay, Sai Praveen Kadiyala, Siew Kei Lam, Thambipillai Srikanthan Side-Channel Assisted Malware Classifier with Gradient Descent Correction for Embedded Platforms. Search on Bibsonomy PROOFS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Batya Karp, Maël Gay, Osnat Keren, Ilia Polian Detection and Correction of Malicious and Natural Faults in Cryptographic Modules. Search on Bibsonomy PROOFS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Ulrich Kühne, Jean-Luc Danger, Sylvain Guilley (eds.) PROOFS 2017, 6th International Workshop on Security Proofs for Embedded Systems, Taipei, Taiwan, September 29th, 2017 Search on Bibsonomy PROOFS The full citation details ... 2017 DBLP  BibTeX  RDF
35Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. Search on Bibsonomy PROOFS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Poulami Das 0003, Debapriya Basu Roy, Debdeep Mukhopadhyay Automatic Generation of HCCA Resistant Scalar Multiplication Algorithm by Proper Sequencing of Field Multiplier Operands. Search on Bibsonomy PROOFS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Nils Wisiol, Christoph Graebnitz, Marian Margraf, Manuel Oswald, Tudor A. A. Soroceanu, Benjamin Zengin Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs. Search on Bibsonomy PROOFS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Christoph Baumann, Oliver Schwarz, Mads Dam Compositional Verification of Security Properties for Embedded Execution Platforms. Search on Bibsonomy PROOFS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. Search on Bibsonomy PROOFS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump 09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications. Search on Bibsonomy Computer-assisted proofs - tools, methods and applications The full citation details ... 2009 DBLP  BibTeX  RDF
35B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump 09471 Executive Summary - Computer-assisted proofs - tools, methods and applications. Search on Bibsonomy Computer-assisted proofs - tools, methods and applications The full citation details ... 2009 DBLP  BibTeX  RDF
35Thierry Coquand, Henri Lombardi, Marie-Françoise Roy 05021 Abstracts Collection -- Mathematics, Algorithms, Proofs. Search on Bibsonomy Mathematics, Algorithms, Proofs The full citation details ... 2005 DBLP  BibTeX  RDF
35Thierry Coquand 05021 Executive Summary -- Mathematics, Algorithms, Proofs. Search on Bibsonomy Mathematics, Algorithms, Proofs The full citation details ... 2005 DBLP  BibTeX  RDF
35Julio Rubio Garcia Constructive Proofs or Constructive Statements?. Search on Bibsonomy Mathematics, Algorithms, Proofs The full citation details ... 2005 DBLP  BibTeX  RDF
35Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump 05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Search on Bibsonomy Algebraic and Numerical Algorithms and Computer-assisted Proofs The full citation details ... 2005 DBLP  BibTeX  RDF
35Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Search on Bibsonomy Algebraic and Numerical Algorithms and Computer-assisted Proofs The full citation details ... 2005 DBLP  BibTeX  RDF
34Andreas Meier 0002 System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Michael Backes 0001, Dennis Hofheinz, Dominique Unruh CoSP: a general framework for computational soundness proofs. Search on Bibsonomy CCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF security, verification, theory
33René Thiemann, Christian Sternagel Certification of Termination Proofs Using CeTA. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Kaustuv Chaudhuri, Dale Miller 0001, Alexis Saurin Canonical Sequent Proofs via Multi-Focusing. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Mateja Jamnik, Alan Bundy Psychological Validity of Schematic Proofs. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Michael Ben-Or, Danny Gutfreund Trading Help for Interaction in Statistical Zero-Knowledge Proofs. Search on Bibsonomy J. Cryptol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Zero-knowledge, Graph isomorphism, Non-interactive zero-knowledge
33Iman Poernomo Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Alexander A. Razborov, Avi Wigderson, Andrew Chi-Chih Yao Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus. Search on Bibsonomy Comb. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF AMS Subject Classification (2000): 03F20, 68Q17
33Albert Atserias, Nicola Galesi, Ricard Gavaldà Monotone Proofs of the Pigeon Hole Principle. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Joan Boyar, Katalin Friedl, Carsten Lund Practical Zero-Knowledge Proofs: Giving Hints and Using Deficiencies. Search on Bibsonomy EUROCRYPT The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
33Matthias Baaz Proof Analysis by Resolution. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Steven Gianvecchio, Zhenyu Wu, Mengjun Xie, Haining Wang Battle of Botcraft: fighting bots in online games with human observational proofs. Search on Bibsonomy CCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF game bots, human observational proofs
32Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech Towards automated proofs for asymmetric encryption schemes in the random oracle model. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF asymmetric encryption, automated proofs, provable security, hoare logics, random oracle model
32Thomas Ristenpart, Scott Yilek The Power of Proofs-of-Possession: Securing Multiparty Signatures against Rogue-Key Attacks. Search on Bibsonomy EUROCRYPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Proofs of possession, PKI, bilinear maps, ring signatures, multisignatures
32Koji Chida, Go Yamamoto Batch Processing of Interactive Proofs. Search on Bibsonomy CT-RSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Sigma-Protocols, Batch Processing, Proofs of Knowledge
32Irene Polycarpou Computer science students' difficulties with proofs by induction: an exploratory study. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
32Klaus Meer Transparent Long Proofs: A First PCP Theorem for NPR. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Real number complexity, Verifiers, Probabilistically checkable proofs
32Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi ETPS: A System to Help Students Write Formal Proofs. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ETPS, GRADER, teaching logic, education, proofs
32Sultan Almuhammadi, Nien T. Sui, Dennis McLeod Better Privacy and Security in E-Commerce: Using Elliptic Curve-Based Zero-Knowledge Proofs. Search on Bibsonomy CEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF security, privacy, E-commerce, elliptic curves, zero-knowledge proofs
32Henry S. Baird, Kris Popat Human Interactive Proofs and Document Image Analysis. Search on Bibsonomy Document Analysis Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF abuse of web sites and services, the chatroom problem, human/machine discrimination, OCR performance evaluation, legibility of text, document image analysis, CAPTCHAs, Turing tests, Human interactive proofs, document image degradations
32Oded Goldreich 0001, Salil P. Vadhan, Avi Wigderson On Interactive Proofs with a Laconic Prover. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF sampling protocols, statistical zero knowledge, game theory, interactive proofs, Arthur-Merlin games
32Jon Whittle 0001, Alan Bundy, Richard J. Boulton, Helen Lowe An ML Editor Based on Proofs-As-Programs. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF proofs-as-programs, termination proof, Functional programming
32Uriel Feige, Shafi Goldwasser, László Lovász 0001, Shmuel Safra, Mario Szegedy Interactive Proofs and the Hardness of Approximating Cliques. Search on Bibsonomy J. ACM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF independent set in a graph, multilinearity testing np-completeness, hardness of approximation, probabilistically checkable proofs
32Irene Polycarpou, Ana Pasztor, Malek Adjouadi A conceptual approach to teaching induction for computer science. Search on Bibsonomy SIGCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF induction principle, inductive sets, logic for computer science, undergraduate computer science curricula, computer science education, proofs by induction
32Søren Riis A complexity gap for tree resolution. Search on Bibsonomy Comput. Complex. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logical aspects of complexity, resolution proofs, propositional proof complexity
29Benjamin Ralph Herbrand Proofs and Expansion Proofs as Decomposed Proofs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Giuseppe Longo On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Nathan Segerlind On the Relative Efficiency of Resolution-Like Proofs and Ordered Binary Decision Diagram Proofs. Search on Bibsonomy CCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lower bounds, resolution, ordered binary decision diagrams, propositional proof complexity
29Kumar Chellapilla, Kevin Larson, Patrice Y. Simard, Mary Czerwinski Building Segmentation Based Human-Friendly Human Interaction Proofs (HIPs). Search on Bibsonomy HIP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Amy P. Felty A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
29Jens Oehlerking, Oliver E. Theel A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Aggelos Kiayias, Hong-Sheng Zhou Zero-Knowledge Proofs with Witness Elimination. Search on Bibsonomy Public Key Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Stefan Saroiu, Alec Wolman Enabling new mobile applications with location proofs. Search on Bibsonomy HotMobile The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham Randomizable Proofs and Delegatable Anonymous Credentials. Search on Bibsonomy CRYPTO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Sergei N. Artëmov Symmetric Logic of Proofs. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Dale Miller 0001, Vivek Nigam Incorporating Tables into Proofs. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Scott Aaronson, Greg Kuperberg Quantum versus Classical Proofs and Advice. Search on Bibsonomy CCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Alexis Maciel, Toniann Pitassi Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 10042 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license