The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Proof with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1939-1960 (19) 1961-1963 (15) 1964-1967 (18) 1968-1969 (23) 1970-1971 (18) 1972 (15) 1973 (18) 1974 (17) 1975 (27) 1976 (27) 1977 (29) 1978 (36) 1979 (39) 1980 (42) 1981 (38) 1982 (44) 1983 (56) 1984 (57) 1985 (80) 1986 (89) 1987 (94) 1988 (145) 1989 (162) 1990 (202) 1991 (215) 1992 (214) 1993 (290) 1994 (307) 1995 (255) 1996 (305) 1997 (383) 1998 (464) 1999 (425) 2000 (546) 2001 (525) 2002 (674) 2003 (717) 2004 (920) 2005 (1112) 2006 (1206) 2007 (1345) 2008 (1373) 2009 (1094) 2010 (501) 2011 (330) 2012 (400) 2013 (438) 2014 (440) 2015 (449) 2016 (494) 2017 (496) 2018 (521) 2019 (650) 2020 (677) 2021 (720) 2022 (773) 2023 (752) 2024 (144)
Publication types (Num. hits)
article(8312) book(41) data(3) incollection(155) inproceedings(12716) phdthesis(218) proceedings(20)
Venues (Conferences, Journals, ...)
CoRR(1352) IACR Cryptol. ePrint Arch.(313) CADE(259) Am. Math. Mon.(257) TPHOLs(199) CSL(190) Discret. Math.(181) FOCS(177) ICALP(160) Theor. Comput. Sci.(155) LICS(150) IEEE Trans. Inf. Theory(148) POPL(144) MFCS(134) STOC(132) J. Autom. Reason.(130) More (+10 of total 3436)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10695 occurrences of 4479 keywords

Results
Found 21465 publication records. Showing 21465 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
57Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen 0002 Proof Search and Proof Check for Equational and Inductive Theorems. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF proof terms, computation, induction, automated theorem proving, deduction, rewrite rules, proof assistant
54Kun Peng, Feng Bao 0001 Batch ZK Proof and Verification of OR Logic. Search on Bibsonomy Inscrypt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Batch proof and verification, knowledge statements linked with OR logic
53Jean-Marc Andreoli Focussing Proof-Net Construction as a Middleware Paradigm. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Proof construction, Focussing, Middleware, Transactions, Proof search, Proof-nets
50Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor Is Proof More Cost-Effective Than Testing? Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF specification proof, code proof, proof vs. testing, formal specification, Safety-critical software, industrial case study, SPARK
49Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001 Proof-Transforming Compilation of Eiffel Programs. Search on Bibsonomy TOOLS (46) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
48Stefan Hetzl, Alexander Leitsch Proof Transformations and Structural Invariance. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Andrew Ireland, Mike Jackson 0003, Gordon Reid Interactive Proof Critics. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Proof patching, Inductive proof, User interfaces, Theorem proving, Proof planning
46HongDa Li 0001, Bao Li 0001 Existence of 3-round zero-knowledge proof systems for NP. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-black-box simulation, DDH assumption, zero-knowledge proof, interactive proof
46Dinghao Wu, Andrew W. Appel, Aaron Stump Foundational proof checkers with small witnesses. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF proof checker, proof-carrying code
45David Aspinall 0001 Proof General: A Generic Tool for Proof Development. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
45Taiki Todo, Atsushi Iwasaki, Makoto Yokoo, Yuko Sakurai Characterizing false-name-proof allocation rules in combinatorial auctions. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF false-name-proof, mechanism design, combinatorial auctions
45Andrew Ireland, Jamie Stark Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partial order planning, deductive synthesis, program synthesis, proof planning
44Boaz 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
44Sándor Jenei, Franco Montagna Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Didier Galmiche, J.-M. Notin Proof-search and proof nets in Mixed Linear Logic. Search on Bibsonomy Workshop on Type-Theoretic Languages: Proof Search and Semantics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Natarajan Shankar Using Proof Theory to Optimize Proof Search. Search on Bibsonomy ICLP Workshop: Proof-Theoretical Extensions on Logic Programming The full citation details ... 1994 DBLP  BibTeX  RDF
43Yasuyuki Tsukada Interactive and Probabilistic Proof of Mobile Code Safety. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software verification, proof-carrying code, interactive proof system
43Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni A Syntactic Approach to Foundational Proof-Carrying Code. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF foundational proof-carrying code, syntactic soundness proof, typed assembly language
42Kazuki Yoshizoe A New Proof-Number Calculation Technique for Proof-Number Search. Search on Bibsonomy Computers and Games The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42L. Habert, J.-M. Notin, Didier Galmiche LINK: A Proof Environment Based on Proof Nets. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Karen Zee, Viktor Kuncak, Martin C. Rinard An integrated proof language for imperative programs. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF verification, theorem prover, proof system
42Chih-Chung Lin, Yuan-Cheng Lai, J. D. Tygar, Chuan-Kai Yang, Chi-Lung Chiang Coexistence Proof Using Chain of Timestamps for Multiple RFID Tags. Search on Bibsonomy APWeb/WAIM Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF coexistence proof, RFID, computer security, cryptographic protocol, timestamp, race condition
42Ulrich Berger 0001 Program Extraction from Gentzen's Proof of Transfinite Induction up to epsilon0. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Kosta Dosen, Zoran Petric Coherent Bicartesian and Sesquicartesian Categories. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
41Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Cutting Planes proof, tree-like proof, regular resolution, Davis-Putnam resolution, monotone real circuit, real communication complexity, lower bounds, resolution, propositional proof complexity
41Irit Dinur, Omer Reingold Assignment Testers: Towards a Combinatorial Proof of the PCP-Theorem. Search on Bibsonomy FOCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Hisashi Hayashi Knowledge Assimilation and Proof Restoration Through the Addition of Goals. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Isabelle Gnaedig, Hélène Kirchner Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Ando Saabas, Tarmo Uustalu Proof optimization for partial redundancy elimination. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination
40Peter Müller 0001, Martin Nordio Proof-transforming compilation of programs with abrupt termination. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proof-transforming compiler, proof-carrying code, trusted components
40Stefan S. Dantchev Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. Search on Bibsonomy STOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lovász-Schrijver proof system, complexity gap theorems, lift and project methods, lower bounds, propositional proof complexity
39Christian Urban, Bozhi Zhu Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Lew Gordeev Proof Theory and Post-turing Analysis. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Matthias Baaz, Christian G. Fermüller A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 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
38Jochen Meßner, Jacobo Torán Optimal Proof Systems for Propositional Logic and Complete Sets. Search on Bibsonomy STACS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Yonatan Aumann, Uriel Feige On Message Proof Systems with Known Space Verifiers. Search on Bibsonomy CRYPTO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
37Tobias Gedell, Reiner Hähnle Verification by Parallelization of Parametric Code. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Alexis Saurin Towards Ludics Programming: Interactive Proof Search. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ludics, Proof Normalization, Interaction, Logic Programming, Game Semantics, Proof Search
37Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga A Trustworthy Proof Checker. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF proof checker, proof-carrying code
37Yves Bertot The CtCoq System: Design and Architecture. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Interactive proof development, CtCoq, Proof by pointing, Proof maintenance, Graphical user interfaces
36Daniel Wasserrab, Denis Lohner, Gregor Snelting On PDG-based noninterference and its modular proof. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF modularity, program slicing, noninterference, correctness proof, program dependence graph
36Marc Bezem, Dimitri Hendriks On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
36Jamie Stark, Andrew Ireland Towards Automatic Imperative Program Synthesis Through Proof Planning. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Imperative Program Synthesis, Proof planning
36Reinhard Kahle Towards a Proof-Theoretic Semantics of Equalities. Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Wilfrid Hodges A Strongly Differing Opinion on Proof-Theoretic Semantics? Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Thomas Piecha, Peter Schroeder-Heister Advances in Proof-Theoretic Semantics: Introduction. Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Thomas Piecha Completeness in Proof-Theoretic Semantics. Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Warren D. Goldfarb On Dummett's "Proof-Theoretic Justifications of Logical Laws". Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Yoshihiro Maruyama Categorical Harmony and Paradoxes in Proof-Theoretic Semantics. Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Lars Hallnäs On the Proof-Theoretic Foundations of Set Theory. Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Peter Schroeder-Heister Open Problems in Proof-Theoretic Semantics. Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Roy Dyckhoff Some Remarks on Proof-Theoretic Semantics. Search on Bibsonomy Advances in Proof-Theoretic Semantics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36John N. Crossley What Is a Proof? Search on Bibsonomy Proof, Computation and Agency The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
36Mitsuhiro Okada, Ryo Takemura Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Sachio Hirokawa, Daisuke Nagano Long Normal Form Proof Search and Counter-Model Generation. Search on Bibsonomy Workshop on Type-Theoretic Languages: Proof Search and Semantics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Nikos Mylonakis Proof assistance for refinement in type theory. Search on Bibsonomy Workshop on Type-Theoretic Languages: Proof Search and Semantics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36David J. Pym Notes Towards a Semantics for Proof-search. Search on Bibsonomy Workshop on Type-Theoretic Languages: Proof Search and Semantics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Uwe Egly, Stephan Schmitt Intuitionistic Proof Transformations: Complexity and Applications. Search on Bibsonomy Proof Search in Type-Theoretic Languages@CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Didier Galmiche, Bruno Martin Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic. Search on Bibsonomy Proof Search in Type-Theoretic Languages@CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Juan Bicarregui, Brian Matthews The Specification and Proof of an EXPRESS to SQL "Compiler". Search on Bibsonomy Proof in VDM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Sten Agerholm, Jacob Frost Supporting Proof in VDM-SL using Isabelle. Search on Bibsonomy Proof in VDM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36John S. Fitzgerald, Cliff B. Jones Proof in the Analysis of a Model of a Tracking System. Search on Bibsonomy Proof in VDM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Stefan Hougardy Proof Checking and Non-approximability. Search on Bibsonomy Lectures on Proof Verification and Approximation Algorithms The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Pavel Pudlák, Jirí Sgall Algebraic models of computation and interpolation for algebraic proof systems. Search on Bibsonomy Proof Complexity and Feasible Arithmetics The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
36Chris Pollett A propositional proof system for Ri2. Search on Bibsonomy Proof Complexity and Feasible Arithmetics The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
36Henning Christiansen 0001 On Proof Predicates in Logic Programming. Search on Bibsonomy ICLP Workshop: Proof-Theoretical Extensions on Logic Programming The full citation details ... 1994 DBLP  BibTeX  RDF
36Roy Dyckhoff, Natarajan Shankar Proof Search (Tutorial). Search on Bibsonomy ICLP Workshop: Proof-Theoretical Extensions on Logic Programming The full citation details ... 1994 DBLP  BibTeX  RDF
36Sophie Coudert, Gilles Bernot, Pascale Le Gall Hierarchical Heterogeneous Specifications. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification
35Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier 0002, Claus-Peter Wirth A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Phan Minh Dung, Paolo Mancarella, Francesca Toni Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Martin Müller 0003 Proof-Set Search. Search on Bibsonomy Computers and Games The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Johannes Köbler, Jochen Messner Is the Standard Proof System for SAT P-Optimal? Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Thierry Coquand, Henrik Persson A Proof-Theoretical Investigation of Zantema's Problem. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Jesse Alt, Sergei N. Artëmov Reflective lambda-Calculus. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Marcelo Glusman, Shmuel Katz A Mechanized Proof Environment for the Convenient Computations Proof Method. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF convenient computations, proof environment, deductive theorem proving, formal verification, PVS
34Ruy J. G. B. de Queiroz On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reduction rules, proof-terms, proof-theoretic semantics, game-theoretic semantics, dialogue semantics, natural deduction
34Søren Riis On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Algebraic proof complexity, predicate logic, Propositional proof complexity
34Kun Peng, Colin Boyd, Ed Dawson Batch zero-knowledge proof and verification and its applications. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Batch proof and verification of reencryption, batch proof and verification of decryption, mix network
34Adam Chlipala Modular development of certified program verifiers with a proof assistant. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF programming with dependent types, proof-carrying code, interactive proof assistants
34Willem 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
34Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi Non-Automatizability of Bounded-Depth Frege Proofs. Search on Bibsonomy CCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Frege proof systems, automatizability of proof systems, interpolation, proof complexity
33Allen Van Gelder Independently Checkable Proofs from Decision Procedures: Issues and Progress. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Pinyan Lu, Xiaorui Sun, Yajun Wang 0001, Zeyuan Allen Zhu Asymptotically optimal strategy-proof mechanisms for two-facility games. Search on Bibsonomy EC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF strategy-proof, game theory, algorithmic mechanism design, social choice
33Paul 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
33Xinyu Feng 0001, Zhaozhong Ni, Zhong Shao, Yu Guo An open framework for foundational proof-carrying code. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF foundational proof-carrying code, open framework, interoperability, modularity, program verification
33Bertrand Bellenot, Rene Brun, Gerardo Ganis, Jan Iwaszkiewicz, Guenter Kickinger, Andreas J. Peters, Fons Rademakers, Maarten Ballintijn, C. Loizides, C. Reed, Philippe Canal, Derek Feichtinger PROOF - The Parallel ROOT Facility. Search on Bibsonomy HPDC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parallel ROOT facility, interactive distributed data set analysis, I/O utilization, CPU utilization, statistical tool, data access optimization, user session scheduling, user interface, grid computing, distributed storage, PROOF, visualization tool, heterogeneous clusters, multi-tier architecture
33Dale Miller 0001, Alwen Tiu A proof theory for generic judgments. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search
33Jürgen Zimmer, Erica Melis Constraint Solving for Proof Planning. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constraint satisfaction, automated reasoning, proof plans
33Pierre Courtieu Proving Self-Stabilization with a Proof Assistant. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF rewriting system on words, Self-stabilization, proof assistant
33Naijun Zhan Another formal proof for Deadline Driven Scheduler. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
33John Watrous PSPACE Has Constant-Round Quantum Interactive Proof Systems. Search on Bibsonomy FOCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF quantum computation, interactive proof systems
33Roberto Di Cosmo, Stefano Guerrini Strong Normalization of Proof Nets Modulo Structural Congruences. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Linear Logic, Proof Nets, Strong Normalization
33Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF proof-graphs, multiple conclusion, normalization, cycles, proof theory
33Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman An inheritance-based technique for building simulation proofs incrementally. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements
33Venkatesan Guruswami, Daniel Lewin 0001, Madhu Sudan 0001, Luca Trevisan A Tight Characterization of NP with 3 Query PCPs. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Probabilistically Checkable Proofs (PCP), Proof composition, Two-prover one-round proof systems, Adaptive and non-adaptive verifiers, Completeness and soundness, Complexity Theory, Query complexity
32Thomas C. Hales Formalizing the Proof of the Kepler Conjecture. Search on Bibsonomy TPHOLs The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Atsushi Ohori Register Allocation by Proof Transformation. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Freek Wiedijk Formal Proof Sketches. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Robert R. Schneck, George C. Necula A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 21465 (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