The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1936-1960 (15) 1961-1967 (15) 1968-1971 (126) 1972-1973 (62) 1974 (50) 1975 (94) 1976 (120) 1977 (100) 1978 (89) 1979 (106) 1980 (104) 1981 (118) 1982 (59) 1983 (69) 1984 (160) 1985 (260) 1986 (180) 1987 (199) 1988 (206) 1989 (380) 1990 (306) 1991 (333) 1992 (348) 1993 (416) 1994 (430) 1995 (294) 1996 (417) 1997 (508) 1998 (474) 1999 (632) 2000 (550) 2001 (505) 2002 (853) 2003 (718) 2004 (620) 2005 (923) 2006 (968) 2007 (1151) 2008 (1085) 2009 (1239) 2010 (881) 2011 (1050) 2012 (859) 2013 (979) 2014 (1080) 2015 (1029) 2016 (1218) 2017 (989) 2018 (1170) 2019 (1029) 2020 (1097) 2021 (951) 2022 (1052) 2023 (1047) 2024 (109)
Publication types (Num. hits)
article(2283) book(242) data(1) incollection(997) inproceedings(25481) mastersthesis(1) phdthesis(160) proceedings(657)
Venues (Conferences, Journals, ...)
FOCS(3592) MFCS(2910) ESEC/SIGSOFT FSE(1568) FSTTCS(1517) ISMIS(1179) FDG(1114) FoSSaCS(770) SIGSOFT FSE(681) MFPS(629) CSF(505) WAFR(428) CSFW(394) CoRR(356) LFCS(317) AMW(304) FOGA(304) More (+10 of total 2164)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10672 occurrences of 4456 keywords

Results
Found 29823 publication records. Showing 29822 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
58The Univalent Foundations Program Homotopy Type Theory: Univalent Foundations of Mathematics. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
58The Univalent Foundations Program Homotopy Type Theory: Univalent Foundations of Mathematics. Search on Bibsonomy 2013   RDF
44Radim Belohlávek, Vilém Vychodil Logical Foundations for Similarity-Based Databases. Search on Bibsonomy DASFAA Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Yingxu Wang On the Cognitive Informatics Foundations of Software Engineering. Search on Bibsonomy IEEE ICCI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF nature of software, informatics laws, programming psychology, software engineering, cognitive models, Cognitive informatics, foundations
38Yiyu Yao, Ning Zhong 0001, Yan Zhao 0001 A Conceptual Framework of Data Mining. Search on Bibsonomy Data Mining: Foundations and Practice The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Radim Belohlávek, Vilém Vychodil Query systems in similarity-based databases: logical foundations, expressive power, and completeness. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices
35Ingrid Hotz, Roxana Bujack, Christoph Garth, Bei Wang 0001 Mathematical Foundations in Visualization. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
35Oded Goldreich 0001 On the foundations of cryptography. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Peter J. F. Lucas, Arjen Hommersom How to Read the Book "Foundations of Biomedical Knowledge Representation". Search on Bibsonomy Foundations of Biomedical Knowledge Representation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent Foundations for a Fourth Normal Form over SQL-Like Databases. Search on Bibsonomy Conceptual Modelling and Its Theoretical Foundations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Felix Brandt 0001, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker 10101 Executive Summary - Computational Foundations of Social Choice. Search on Bibsonomy Computational Foundations of Social Choice The full citation details ... 2010 DBLP  BibTeX  RDF
35Felix Brandt 0001, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker 10101 Abstracts Collection - Computational Foundations of Social Choice. Search on Bibsonomy Computational Foundations of Social Choice The full citation details ... 2010 DBLP  BibTeX  RDF
35Zong Woo Geem Global Optimization Using Harmony Search: Theoretical Foundations and Applications. Search on Bibsonomy Foundations of Computational Intelligence (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Swagatam Das, Arijit Biswas, Sambarta Dasgupta, Ajith Abraham Bacterial Foraging Optimization Algorithm: Theoretical Foundations, Analysis, and Applications. Search on Bibsonomy Foundations of Computational Intelligence (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Jorge Guajardo, Bart Preneel, Pim Tuyls, Ahmad-Reza Sadeghi 09282 Abstracts Collection - Foundations for Forgery-Resilient Cryptographic Hardware. Search on Bibsonomy Foundations for Forgery-Resilient Cryptographic Hardware The full citation details ... 2009 DBLP  BibTeX  RDF
35Jorge Guajardo, Bart Preneel, Ahmad-Reza Sadeghi, Pim Tuyls 09282 Executive Summary - Foundations for Forgery-Resilient Cryptographic Hardware. Search on Bibsonomy Foundations for Forgery-Resilient Cryptographic Hardware The full citation details ... 2009 DBLP  BibTeX  RDF
35Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan 09311 Abstracts Collection - Classical and Quantum Information Assurance Foundations and Practice. Search on Bibsonomy Classical and Quantum Information Assurance Foundations and Practice The full citation details ... 2009 DBLP  BibTeX  RDF
35Alessandro Artale, Enrico Franconi Foundations of Temporal Conceptual Data Models. Search on Bibsonomy Conceptual Modeling: Foundations and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt 08491 Abstracts Collection - Theoretical Foundations of Practical Information Security. Search on Bibsonomy Theoretical Foundations of Practical Information Security The full citation details ... 2008 DBLP  BibTeX  RDF
35Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt 08491 Executive Summary - Theoretical Foundations of Practical Information Security. Search on Bibsonomy Theoretical Foundations of Practical Information Security The full citation details ... 2008 DBLP  BibTeX  RDF
35J. T. Yao 0001, Y. Y. Yao, Yan Zhao 0001 Foundations of Classification. Search on Bibsonomy Foundations and Novel Approaches in Data Mining The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini 06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. Search on Bibsonomy Foundations and Practice of Programming Multi-Agent Systems The full citation details ... 2006 DBLP  BibTeX  RDF
35Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein 06201 Executive Summary -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. Search on Bibsonomy Combinatorial and Algorithmic Foundations of Pattern and Association Discovery The full citation details ... 2006 DBLP  BibTeX  RDF
35Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini 06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. Search on Bibsonomy Foundations and Practice of Programming Multi-Agent Systems The full citation details ... 2006 DBLP  BibTeX  RDF
35Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein 06201 Abstracts Collection -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. Search on Bibsonomy Combinatorial and Algorithmic Foundations of Pattern and Association Discovery The full citation details ... 2006 DBLP  BibTeX  RDF
35José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing 05081 Abstracts Collection - Foundations of Global Computing. Search on Bibsonomy Foundations of Global Computing The full citation details ... 2005 DBLP  BibTeX  RDF
35Frank Neven, Thomas Schwentick, Dan Suciu 05061 Abstracts Collection - Foundations of Semistructured Data. Search on Bibsonomy Foundations of Semistructured Data The full citation details ... 2005 DBLP  BibTeX  RDF
35Frank Neven, Thomas Schwentick, Dan Suciu 05061 Summary - Foundations of Semi-structured Data. Search on Bibsonomy Foundations of Semistructured Data The full citation details ... 2005 DBLP  BibTeX  RDF
35William F. McColl Foundations of Time-Critical Scalable Computing. Search on Bibsonomy IFIP Congress: Fundamentals - Foundations of Computer Science The full citation details ... 1998 DBLP  BibTeX  RDF
35Stefan Schirra Precision and Robustness in Geometric Computations. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Edouard Bugnion, Thomas Roos, Roger Wattenhofer, Peter Widmayer Space Filling Curves versus Random Walks. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Jürg Nievergelt, Peter Widmayer Spatial Data Structures: Concepts and Design Choices. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Marc J. van Kreveld Digital Elevation Models and TIN Algorithms. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Mark de Berg Visualization of TINs. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Robert Weibel Generalization of Spatial Data: Principles and Selected Algorithms. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Lars Arge External-Memory Algorithms with Applications in GIS. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Jürg Nievergelt Introduction to Geometric Computing: From Algorithms to Software. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Christopher M. Gold, Peter R. Remmele Voronoi Methods in GIS. Search on Bibsonomy Algorithmic Foundations of Geographic Information Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Joachim Weickert Theoretical Foundations of Anisotropic Diffusion in Image Processing. Search on Bibsonomy Theoretical Foundations of Computer Vision The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Georgy L. Gimel'farb Symmetric Bi- and Trinocular Stereo: Tradeoffs between Theoretical Foundations and Heuristics. Search on Bibsonomy Theoretical Foundations of Computer Vision The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Upen S. Chakravarthy, John Grant, Jack Minker Foundations of Semantic Query Optimization for Deductive Databases Search on Bibsonomy Foundations of Deductive Databases and Logic Programming. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
33Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33M. Randall Holmes Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF New Foundations, Rieger-Bernays permutation methods, symmetry
33Roman Knöll, Mira Mezini Pegasus: first steps toward a naturalistic programming language. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cognitive foundations of programming, natural language programming, naturalistic programming, philosophical foundations of programming, aspect-oriented programming, language design
32Qing Shi Gao, Xiao Yu Gao, Lei Xu 0001 A Probability Theory Perspective on the Zadeh Fuzzy System. Search on Bibsonomy Data Mining: Foundations and Practice The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Jan Rauch Classes of Association Rules: An Overview. Search on Bibsonomy Data Mining: Foundations and Practice The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Bhavani Thuraisingham On the Complexity of the Privacy Problem in Databases. Search on Bibsonomy Data Mining: Foundations and Practice The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Luca Cardelli, John C. Mitchell Operations on Records. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
32Elsa L. Gunter Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
32Carl A. Gunter Comparing Categories of Domains. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
30Heriberto Maury Ramírez, Carles Riba Romeva Theoretical Foundations for Knowledge-Based Conceptual Design of Complex Systems. Search on Bibsonomy CDVE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Michael Leyton Shape as Memory Storage. Search on Bibsonomy Ambient Intelligence for Scientific Discovery The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Jens Dibbern, Tim Goles, Rudy Hirschheim, Bandula Jayatilaka Information systems outsourcing: a survey and analysis of the literature. Search on Bibsonomy Data Base The full citation details ... 2004 DBLP  DOI  BibTeX  RDF research approaches, outsourcing, determinants, relationships, literature review, theoretical foundations, outcomes
30Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici C-Lenses Explained: Bx Foundations for the Rest of Us. Search on Bibsonomy STAF Workshops The full citation details ... 2021 DBLP  BibTeX  RDF
30Jacob P. Reher, Ayonga Hereid, Shishir Kolathaya, Christian M. Hubicki, Aaron D. Ames Algorithmic Foundations of Realizing Multi-Contact Locomotion on the Humanoid Robot DURUS. Search on Bibsonomy WAFR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Jan M. Zytkow, Zbigniew W. Ras Foundations and Discovery of Operational Definitions. Search on Bibsonomy ISMIS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Joshua D. Guttman Security Goals: Packet Trajectories and Strand Spaces. Search on Bibsonomy FOSAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Peter D. Mosses Foundations of Modular SOS. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Patrice Chalin Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking
27T. S. E. Maibaum Mathematical foundations of software engineering: a roadmap. Search on Bibsonomy ICSE - Future of SE Track The full citation details ... 2000 DBLP  DOI  BibTeX  RDF normal design, radical design, engineering, epistemology, foundations
27Zinovy Diskin On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations
27Paul Helman, Gunar E. Liepins Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF audit trail analysis, computer misuse, computer transactions, stationary stochastic processes, misuse detectors, detection accuracy, transaction attributes, statistical foundations, modeling, transaction processing, NP-hard, security of data, stochastic processes, auditing, density estimation, system security, computer crime, heuristic approach
27David A. Gustafson, Joo T. Tan, Perla Weaver Software Measure Specification. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF foundations of measures, properties of measures, proving properties, metrics, software measures, measurement theory
25Bernhard Preim, Alark Joshi Evaluation of Visualization Systems with Long-Term Case Studies. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Johanna Beyer, Charles D. Hansen, Mario Hlawitschka, Ingrid Hotz, Barbora Kozlíková, Gerik Scheuermann, Markus Stommel, Marc Streit, Johannes Waschke, Thomas Wischgoll, Yong Wan Case Studies for Working with Domain Experts. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Caroline Ziemkiewicz, Min Chen 0001, David H. Laidlaw, Bernhard Preim, Daniel Weiskopf Open Challenges in Empirical Visualization Research. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Helen-Nicole Kostis, Miguel O. Roman, Virginia L. Kalb, Eleanor C. Stokes, Ranjay M. Shrestha, Zhuosen Wang, Lori Schultz, Qingsong Sun, Jordan R. Bell, Andrew L. Molthan, Ryan Boller, Assaf Anyamba Reaching Broad Audiences from a Large Agency Setting. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25G. Elisabeta Marai, Torsten Möller The Fabric of Visualization. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Penny Rheingans, Helen-Nicole Kostis, Paulo A. Oemig, Geraldine B. Robbins, Anders Ynnerman Reaching Broad Audiences in an Educational Setting. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Kresimir Matkovic, Thomas Wischgoll, David H. Laidlaw Empirical Evaluations with Domain Experts. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Silvia Miksch, Heike Leitte, Min Chen 0001 Knowledge-Assisted Visualization and Guidance. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Daniela Oelke, Ariane Sutor Collaborations Between Industry and University. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Fabian Bolte, Stefan Bruckner Measures in Visualization Space. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Min Chen 0001, Darren J. Edwards "Isms" in Visualization. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Daniel Weiskopf Vis4Vis: Visualization for (Empirical) Visualization Research. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Ross T. Whitaker, Ingrid Hotz Transformations, Mappings, and Data Summaries. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Mario Hlawitschka, Gerik Scheuermann, Christian Blecha, Marc Streit, Amitabh Varshney Collaborating Successfully with Domain Experts. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Michael Böttinger Reaching Broad Audiences from a Research Institute Setting. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Ivan Viola, Min Chen 0001, Tobias Isenberg 0001 Visual Abstraction. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Michael Böttinger, Helen-Nicole Kostis, Anders Ynnerman Challenges and Open Issues in Visualization for Broad Audiences. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Michael Böttinger, Helen-Nicole Kostis, Maria Velez-Rojas, Penny Rheingans, Anders Ynnerman Reflections on Visualization for Broad Audiences. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Alfie Abdul-Rahman, Min Chen 0001, David H. Laidlaw A Survey of Variables Used in Empirical Studies for Visualization. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Anders Ynnerman, Patric Ljung, Alexander Bock 0002 Reaching Broad Audiences from a Science Center or Museum Setting. Search on Bibsonomy Foundations of Data Visualization The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Joshua D. Guttman, Carl E. Landwehr, José Meseguer 0001, Dusko Pavlovic (eds.) Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows Search on Bibsonomy Foundations of Security, Protocols, and Equational Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Shafi Goldwasser, Silvio Micali, Ronald L. Rivest A "paradoxical" solution to the signature problem. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25 An interview with Shafi Goldwasser. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Michael Ben-Or, Shafi Goldwasser, Avi Wigderson Completeness theorems for non-cryptographic fault-tolerant distributed computation. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Oded Goldreich 0001 On some noncryptographic works of Goldwasser and Micali. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25 One obsession at a time: a brief biography of Silvio Micali. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25 Editor and author biographies. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Zvika Brakerski Fundamentals of fully homomorphic encryption. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Shafi Goldwasser, Silvio Micali, Charles Rackoff The knowledge complexity of interactive proof-systems. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Daniele Micciancio Interactive proofs for lattice problems. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25 Proofs, according to Silvio: Silvio Micali's Turing lecture. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25 A story behind every problem: a brief biography of Shafi Goldwasser. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Rafael Pass A tutorial on concurrent zero-knowledge. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Manuel Blum 0001, Paul Feldman, Silvio Micali Non-interactive zero-knowledge and its applications. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson Multi-prover interactive proofs: how to remove intractability assumptions. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Oded Goldreich 0001 On the impact of cryptography on complexity theory. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25 An interview with Silvio Micali. Search on Bibsonomy Providing Sound Foundations for Cryptography The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 29822 (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