The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1956-1985 (16) 1986-1988 (24) 1989-1990 (21) 1991 (15) 1992 (16) 1993-1994 (37) 1995 (17) 1996 (20) 1997-1998 (54) 1999 (33) 2000 (45) 2001 (48) 2002 (68) 2003 (96) 2004 (98) 2005 (120) 2006 (166) 2007 (167) 2008 (159) 2009 (143) 2010 (32) 2011 (26) 2012 (28) 2013 (29) 2014 (22) 2015 (24) 2016 (32) 2017 (30) 2018 (29) 2019 (20) 2020 (23) 2021 (21) 2022 (25) 2023 (30) 2024 (7)
Publication types (Num. hits)
article(404) incollection(5) inproceedings(1324) phdthesis(8)
Venues (Conferences, Journals, ...)
CoRR(53) POPL(44) IACR Cryptol. ePrint Arch.(42) ESOP(37) CSL(22) CADE(21) TPHOLs(20) ACM Trans. Program. Lang. Syst...(19) APLAS(19) ICALP(18) LICS(18) TCC(17) TYPES(17) ECOOP(16) ICFP(16) LPAR(16) More (+10 of total 655)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1396 occurrences of 841 keywords

Results
Found 1741 publication records. Showing 1741 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90Michael Backes 0001, Markus Dürmuth, Ralf Küsters On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
87Frank Puhlmann, Mathias Weske Investigations on Soundness Regarding Lazy Activities. Search on Bibsonomy Business Process Management The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
76Jens Knoop, Oliver Rüthing Optimization Under the Perspective of Soundness, Completeness, and Reusability. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility
59Olha Shkaravska Types with semantics: soundness proof assistant. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type system, assertion, automated theorem proving, program logic
55Ralf Küsters, Max Tuengerthal Computational soundness for key exchange protocols with symmetric encryption. Search on Bibsonomy CCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF simulation-based security, cryptographic protocols, computational soundness
55Giovanni Di Crescenzo, Helger Lipmaa 3-Message NP Arguments in the BPK Model with Optimal Soundness and Zero-Knowledge. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Zero-knowledge arguments, resettable zero-knowledge, resettable soundness, bare public-key model for zero-knowledge protocols
55Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati Efficient software model checking of soundness of type systems. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software model checking, type soundness
52Michael 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
52Michael Backes 0001, Birgit Pfitzmann, Andre Scedrov Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. Search on Bibsonomy CSF The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov Soundness of Formal Encryption in the Presence of Key-Cycles. Search on Bibsonomy ESORICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Frédéric Vogels, Bart Jacobs 0002, Frank Piessens A machine-checked soundness proof for an efficient verification condition generator. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF soundness proof, verification conditions
48Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn Soundness of Workflow Nets with Reset Arcs. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
48Michael Backes 0001, Birgit Pfitzmann Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness
48Yi Deng 0002, Dongdai Lin Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. Search on Bibsonomy Inscrypt The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Resettable Zero Knowledge, Concurrent Soundness, the Bare Public-Key Model, Resettably sound Zero Knowledge
45Laurent Mazaré, Bogdan Warinschi Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. Search on Bibsonomy ARSPA-WITS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Frank Puhlmann Soundness Verification of Business Processes Specified in the Pi-Calculus. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Don Syme, Andrew D. Gordon 0001 Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Ekkart Kindler, Axel Martens, Wolfgang Reisig Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Search on Bibsonomy Business Process Management The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Michael 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
41Peeter Laud On the computational soundness of cryptographically masked flows. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cryptographically masked flows, encryption, computational soundness, secure information flow
41Nick Benton, Uri Zarfaty Formalizing and verifying semantic type soundness of a simple compiler. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF relational para-metricity, separation logic, proof assistants, compiler verification, type soundness
41Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. Search on Bibsonomy CRYPTO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Protocol Security, Provable Scurity, Computational Soundness, Diffie-Hellman Assumptions
41Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve Verifying Generalized Soundness of Workflow Nets. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF verification, Petri nets, workflows, soundness
41Sol Swords, William R. Cook Soundness of the simply typed lambda calculus in ACL2. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lambda-calculus, soundness, ACL2
41Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Security Games, Computational Soundness of Formal Methods, Provable Security, Probabilistic Encryption
41Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability
38Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001, Iulian Neamtiu Formalizing Soundness of Contextual Effects. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Juliane Siegeris, Armin Zimmermann Workflow Model Compositions Preserving Relaxed Soundness. Search on Bibsonomy Business Process Management The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Inter-organizational Workflow, Petri nets, Workflow, Validation, Composition
38Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst Structural Patterns for Soundness of Business Process Models. Search on Bibsonomy EDOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers Automated soundness proofs for dataflow analyses and transformations via local rules. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated correctness proofs, compiler optimization
38Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti Constant-Round Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model. Search on Bibsonomy CRYPTO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Shirley H. C. Cheung, Xiaotie Deng, Chan H. Lee, Yunlei Zhao A New Notion of Soundness in Bare Public-Key Model. Search on Bibsonomy SCN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Silvio Micali, Leonid Reyzin Soundness in the Public-Key Model. Search on Bibsonomy CRYPTO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Edgar Knapp Soundness and Completeness of UNITY Logic. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation
34Dominique Unruh Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness). Search on Bibsonomy CSF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Security definitions, indistinguishability, computational soundness
33Michael Backes 0001, Markus Dürmuth, Ralf Küsters On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2007 DBLP  BibTeX  RDF
31Carmine Ventre, Ivan Visconti Co-sound Zero-Knowledge with Public Keys. Search on Bibsonomy AFRICACRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF co-soundness, rZK, NIZK, public-key models
31Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu Analyzing BPEL Compositionality Based on Petri Nets. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Petri Net, BPEL, Soundness, compositionality
31JiDong Ge, Hao Hu 0001, Jian Lu 0001 Invariant Analysis for the Task Refinement of Workflow Nets. Search on Bibsonomy CIMCA/IAWTIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF workflow process model, task refinement, Petri nets, invariants, soundness, workflow composition
31Kun Peng, Colin Boyd, Ed Dawson, Eiji Okamoto A Novel Range Test. Search on Bibsonomy ACISP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interval range, range test, specialized zero test, correctness, soundness
31Nadeem 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
31Dilza Szwarcman, Bruno Feijó, Mónica Costa A Framework for Networked Reactive Character. Search on Bibsonomy SIBGRAPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF networked reactive characters, distributed reactive characters, innovative concepts, shared state management, behavioral accuracy, visual soundness, open architecture toolkit, Bamboo, reactive environments, smooth animations, virtual reality, computer network, autonomy, clones, dead reckoning
31Jan A. Plaza Completeness for Propositional Logic Programs with Negation. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness
31David Guaspari, Carla Marceau, Wolfgang Polak Formal Verification of Ada Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
31Frédéric Vogels, Bart Jacobs 0002, Frank Piessens A Machine Checked Soundness Proof for an Intermediate Verification Language. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Irit Dinur PCPs with small soundness error. Search on Bibsonomy SIGACT News The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Roel J. Wieringa, J. M. G. Heerkens The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. Search on Bibsonomy Requir. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Gergei Bana, Payman Mohassel, Till Stegers Computational Soundness of Formal Indistinguishability and Static Equivalence. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve Soundness of Resource-Constrained Workflow Nets. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, Petri nets, concurrency, workflow, resources
31Massimo Benerecetti, Paolo Bouquet, Stefano Zanobini Soundness of Schema Matching Methods. Search on Bibsonomy ESWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve Generalised Soundness of Workflow Nets Is Decidable. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Ping Gong 0004, Keqing He On the Capability Compliance of Annotated Process Model. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Russell Impagliazzo, Valentine Kabanets, Avi Wigderson New direct-product testers and 2-query PCPs. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF testing, PCP, parallel repetition, direct products
28Matthew Might, Panagiotis Manolios A PosterioriSoundness for Non-deterministic Abstract Interpretations. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Kun 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
28Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah Sound 3-Query PCPPs Are Long. Search on Bibsonomy ICALP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Hong Zhu 0003, Jie Shi, Yuanzhen Wang, Yucai Feng Controlling Information Leakage of Fine-Grained Access Model in DBMSs. Search on Bibsonomy WAIM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Leonard Adelman, Paul E. Lehner, Brant A. Cheikes, M. F. Taylor An Empirical Evaluation of Structured Argumentation Using the Toulmin Argument Formalism. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Geng Liang, Sim Kim Lau Towards More Flexible Internal Workflow Change: Weakly Equivalence Concept for Inter-organizational Workflow Design. Search on Bibsonomy CEC/EEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Alex Samorodnitsky, Luca Trevisan Gowers uniformity, influence of variables, and PCPs. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF influence of variables, probabilistically checkable proofs, linearity test
28Ferucio Laurentiu Tiplea, Aurora Tiplea Instantiating Nets and Their Applications to Workflow Nets. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Ugo Dal Lago, Martin Hofmann 0001 Quantitative Models and Implicit Complexity. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu 0004 Resettable Zero-Knowledge in the Weak Public-Key Model. Search on Bibsonomy EUROCRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28K. Rustan M. Leino, Greg Nelson Data abstraction and information hiding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Abstract variables, abstraction dependencies, modifies clauses, object-oriented programming, specifications, modular verification, extended static checking
28Robert 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
28Kouichi Sakurai A Hidden Cryptographic Assunmption in No-Transferable Indentification Schemes. Search on Bibsonomy ASIACRYPT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28V. S. Subrahmanian Query Processing in Quantitative Logic Programming. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
24Rosanne J. Price, Graeme G. Shanks The Effect of Data Quality Tag Values and Usable Data Quality Tags on Decision-Making. Search on Bibsonomy DASFAA Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Data quality tags, Experimental soundness, Decision-making, Contextual inquiry
24Bryan Chadwick, Karl J. Lieberherr A type system for functional traversal-based aspects. Search on Bibsonomy FOAL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF adaptive programming, functional aspects, traversals, type soundness
24Nick Benton, Nicolas Tabareau Compiling functional types to relational specifications for low level imperative code. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF separation logic, proof assistants, compiler verification, relational parametricity, type soundness
24Christoph Sprenger 0001, David A. Basin Cryptographically-Sound Protocol-Model Abstractions. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
24Juan A. Garay, Philip D. MacKenzie, Ke Yang Strengthening Zero-Knowledge Protocols Using Signatures. Search on Bibsonomy J. Cryptol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulation soundness, Signatures, Zero knowledge, Non-malleability
24Erik Ernst, Klaus Ostermann, William R. Cook A virtual class calculus. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF soundness, virtual classes
24Brian Chin, Shane Markstrum, Todd D. Millstein Semantic type qualifiers. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF extensible typechecking, type qualifiers, type soundness
24Ana Cavalcanti 0001, David A. Naumann Forward Simulation for Data Refinement of Classes. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF soundness of simulation, program analysis and verification, object-orientation, data refinement
24Hasan M. Jamil, Gillian Dobbie A Model Theoretic Semantics for Multi-level Secure Deductive Databases. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness
24K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou Using Data Groups to Specify and Check Side Effects. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF alias confinement, data groups, frame conditions, modifies lists, modular soundness, owner exclusion, pivot uniqueness, verification, side effects
24Luigi Di Lascio Analytic fuzzy tableaux. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fuzzy deductive systems, Fuzzy logic, Completeness, Decidability, Soundness, Tableaux
24Alexander Brodsky 0001, Csilla Farkas, Sushil Jajodia Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF data-dependent disclosure, data-independent disclosure, constraints, completeness, decidability, soundness, Multilevel security, data confidentiality, inference algorithms, inference problem
24Anthony H. Dekker C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis. Search on Bibsonomy CSFW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Cryptographic protocol, soundness, theorem prover, belief logic
24Flemming Nielson, Hanne Riis Nielson Type and Effect Systems. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness
24David von Oheimb Hoare Logic for Mutual Recursion and Local Variables. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
24Clemens Ballarin, Lawrence C. Paulson Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
24Zuoquan Lin, Wei Li 0022 On Logic of Paradox. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity
24Malek Adjouadi, Frank M. Candocia A Stereo Matching Paradigm Based on the Walsh Transformation. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection
24Henk Schepers, Jozef Hooman Trace-Based Compositional Reasoning about Fault Tolerant Systems. Search on Bibsonomy PARLE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness
24Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf Instantaneous Soundness Checking of Industrial Business Process Models. Search on Bibsonomy BPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Hubert Comon-Lundh, Véronique Cortier Computational soundness of observational equivalence. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, cryptography, protocols, concurrency
24Florin Craciun, Shengchao Qin, Wei-Ngan Chin A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Ugo Dal Lago, Martin Hofmann 0001 A Semantic Proof of Polytime Soundness of Light Affine Logic. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Steve Kremer Computational Soundness of Equational Theories (Tutorial). Search on Bibsonomy TGC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Shien Jin Ong, Salil P. Vadhan Zero Knowledge and Soundness Are Symmetric. Search on Bibsonomy EUROCRYPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Steve Kremer, Laurent Mazaré Adaptive Soundness of Static Equivalence. Search on Bibsonomy ESORICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Pedro Adão, Gergei Bana, Andre Scedrov Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Christian Rinderknecht Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. Search on Bibsonomy SAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1
24Juan José Moreno-Navarro, Susana Muñoz-Hernández Soundness and Completeness of an "Efficient" Negation for Prolog. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation
24Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001 Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Don Syme Proving Java Type Soundness. Search on Bibsonomy Formal Syntax and Semantics of Java The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1741 (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