|
|
Venues (Conferences, Journals, ...)
|
|
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 |
58 | The Univalent Foundations Program |
Homotopy Type Theory: Univalent Foundations of Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.0729, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
58 | The Univalent Foundations Program |
Homotopy Type Theory: Univalent Foundations of Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
44 | Radim Belohlávek, Vilém Vychodil |
Logical Foundations for Similarity-Based Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA Workshops ![In: Database Systems for Advanced Applications, DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009, pp. 137-151, 2009, Springer, 978-3-642-04204-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Yingxu Wang |
On the Cognitive Informatics Foundations of Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada, pp. 22-31, 2004, IEEE Computer Society, 0-7695-2190-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
nature of software, informatics laws, programming psychology, software engineering, cognitive models, Cognitive informatics, foundations |
38 | Yiyu Yao, Ning Zhong 0001, Yan Zhao 0001 |
A Conceptual Framework of Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining: Foundations and Practice ![In: Data Mining: Foundations and Practice, pp. 501-515, 2008, Springer, 978-3-540-78487-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Radim Belohlávek, Vilém Vychodil |
Query systems in similarity-based databases: logical foundations, expressive power, and completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1648-1655, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices |
35 | Ingrid Hotz, Roxana Bujack, Christoph Garth, Bei Wang 0001 |
Mathematical Foundations in Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 87-119, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Oded Goldreich 0001 |
On the foundations of cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 411-496, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Peter J. F. Lucas, Arjen Hommersom |
How to Read the Book "Foundations of Biomedical Knowledge Representation". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Biomedical Knowledge Representation ![In: Foundations of Biomedical Knowledge Representation - Methods and Applications, pp. 3-7, 2015, Springer, 978-3-319-28006-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent |
Foundations for a Fourth Normal Form over SQL-Like Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modelling and Its Theoretical Foundations ![In: Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday, pp. 85-100, 2012, Springer, 978-3-642-28278-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Felix 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](Pics/bibsonomy.png) |
Computational Foundations of Social Choice ![In: Computational Foundations of Social Choice, 07.03. - 12.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
35 | Felix 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](Pics/bibsonomy.png) |
Computational Foundations of Social Choice ![In: Computational Foundations of Social Choice, 07.03. - 12.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
35 | Zong Woo Geem |
Global Optimization Using Harmony Search: Theoretical Foundations and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computational Intelligence (3) ![In: Foundations of Computational Intelligence - Volume 3: Global Optimization, pp. 57-73, 2009, Springer, 978-3-642-01084-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Swagatam Das, Arijit Biswas, Sambarta Dasgupta, Ajith Abraham |
Bacterial Foraging Optimization Algorithm: Theoretical Foundations, Analysis, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computational Intelligence (3) ![In: Foundations of Computational Intelligence - Volume 3: Global Optimization, pp. 23-55, 2009, Springer, 978-3-642-01084-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Jorge Guajardo, Bart Preneel, Pim Tuyls, Ahmad-Reza Sadeghi |
09282 Abstracts Collection - Foundations for Forgery-Resilient Cryptographic Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations for Forgery-Resilient Cryptographic Hardware ![In: Foundations for Forgery-Resilient Cryptographic Hardware, 05.07. - 08.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
35 | Jorge Guajardo, Bart Preneel, Ahmad-Reza Sadeghi, Pim Tuyls |
09282 Executive Summary - Foundations for Forgery-Resilient Cryptographic Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations for Forgery-Resilient Cryptographic Hardware ![In: Foundations for Forgery-Resilient Cryptographic Hardware, 05.07. - 08.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
35 | Samuel 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](Pics/bibsonomy.png) |
Classical and Quantum Information Assurance Foundations and Practice ![In: Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
35 | Alessandro Artale, Enrico Franconi |
Foundations of Temporal Conceptual Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 10-35, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt |
08491 Abstracts Collection - Theoretical Foundations of Practical Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Practical Information Security ![In: Theoretical Foundations of Practical Information Security, 30.11. - 05.12.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
35 | Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt |
08491 Executive Summary - Theoretical Foundations of Practical Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Practical Information Security ![In: Theoretical Foundations of Practical Information Security, 30.11. - 05.12.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
35 | J. T. Yao 0001, Y. Y. Yao, Yan Zhao 0001 |
Foundations of Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations and Novel Approaches in Data Mining ![In: Foundations and Novel Approaches in Data Mining, pp. 75-97, 2006, Springer, 978-3-540-28315-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini |
06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations and Practice of Programming Multi-Agent Systems ![In: Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein |
06201 Executive Summary -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery ![In: Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini |
06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations and Practice of Programming Multi-Agent Systems ![In: Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein |
06201 Abstracts Collection -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery ![In: Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
35 | José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing |
05081 Abstracts Collection - Foundations of Global Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Global Computing ![In: Foundations of Global Computing, 20.-25. February 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
35 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Abstracts Collection - Foundations of Semistructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Semistructured Data ![In: Foundations of Semistructured Data, 6.-11. February 2005, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
35 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Summary - Foundations of Semi-structured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Semistructured Data ![In: Foundations of Semistructured Data, 6.-11. February 2005, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
35 | William F. McColl |
Foundations of Time-Critical Scalable Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress: Fundamentals - Foundations of Computer Science ![In: Fundamentals - Foundations of Computer Science, IFIP World Computer Congress 1998, August 31 - September 4, 1998, Vienna/Austria and Budapest/Hungary, pp. 93-107, 1998, Austrian Computer Society, 3-85403-117-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
35 | Stefan Schirra |
Precision and Robustness in Geometric Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 255-287, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Edouard Bugnion, Thomas Roos, Roger Wattenhofer, Peter Widmayer |
Space Filling Curves versus Random Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 199-211, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Jürg Nievergelt, Peter Widmayer |
Spatial Data Structures: Concepts and Design Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 153-197, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Marc J. van Kreveld |
Digital Elevation Models and TIN Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 37-78, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Mark de Berg |
Visualization of TINs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 79-97, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Robert Weibel |
Generalization of Spatial Data: Principles and Selected Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 99-152, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Lars Arge |
External-Memory Algorithms with Applications in GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 213-254, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Jürg Nievergelt |
Introduction to Geometric Computing: From Algorithms to Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 1-19, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Christopher M. Gold, Peter R. Remmele |
Voronoi Methods in GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 21-35, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Joachim Weickert |
Theoretical Foundations of Anisotropic Diffusion in Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Computer Vision ![In: Theoretical Foundations of Computer Vision, 7th TFCV, March 1994, Dagstuhl, Germany, pp. 221-236, 1994, Springer, 3-211-82730-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Georgy L. Gimel'farb |
Symmetric Bi- and Trinocular Stereo: Tradeoffs between Theoretical Foundations and Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Computer Vision ![In: Theoretical Foundations of Computer Vision, 7th TFCV, March 1994, Dagstuhl, Germany, pp. 53-71, 1994, Springer, 3-211-82730-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Upen S. Chakravarthy, John Grant, Jack Minker |
Foundations of Semantic Query Optimization for Deductive Databases ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Deductive Databases and Logic Programming. ![In: Foundations of Deductive Databases and Logic Programming, pp. 243-273, 1988, Morgan Kaufmann, 0-934613-40-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann |
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 343-353, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | M. Randall Holmes |
Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(2), pp. 195-213, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
New Foundations, Rieger-Bernays permutation methods, symmetry |
33 | Roman Knöll, Mira Mezini |
Pegasus: first steps toward a naturalistic programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 542-559, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cognitive foundations of programming, natural language programming, naturalistic programming, philosophical foundations of programming, aspect-oriented programming, language design |
32 | Qing Shi Gao, Xiao Yu Gao, Lei Xu 0001 |
A Probability Theory Perspective on the Zadeh Fuzzy System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining: Foundations and Practice ![In: Data Mining: Foundations and Practice, pp. 125-137, 2008, Springer, 978-3-540-78487-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jan Rauch |
Classes of Association Rules: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining: Foundations and Practice ![In: Data Mining: Foundations and Practice, pp. 315-337, 2008, Springer, 978-3-540-78487-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Bhavani Thuraisingham |
On the Complexity of the Privacy Problem in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining: Foundations and Practice ![In: Data Mining: Foundations and Practice, pp. 353-374, 2008, Springer, 978-3-540-78487-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Luca Cardelli, John C. Mitchell |
Operations on Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 22-52, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Elsa L. Gunter |
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 351-363, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Carl A. Gunter |
Comparing Categories of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 101-121, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Heriberto Maury Ramírez, Carles Riba Romeva |
Theoretical Foundations for Knowledge-Based Conceptual Design of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings, pp. 166-185, 2005, Springer, 3-540-28948-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Michael Leyton |
Shape as Memory Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ambient Intelligence for Scientific Discovery ![In: Ambient Intelligence for Scientific Discovery - Foundations, Theories, and Systems [outcome of the SIGCHI Workshop, Vienna, Austria, April 25, 2004], pp. 81-103, 2004, Springer, 978-3-540-24466-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Jens Dibbern, Tim Goles, Rudy Hirschheim, Bandula Jayatilaka |
Information systems outsourcing: a survey and analysis of the literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 35(4), pp. 6-102, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
research approaches, outsourcing, determinants, relationships, literature review, theoretical foundations, outcomes |
30 | Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici |
C-Lenses Explained: Bx Foundations for the Rest of Us. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Workshops ![In: STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021., pp. 1-17, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Jacob 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](Pics/bibsonomy.png) |
WAFR ![In: Algorithmic Foundations of Robotics XII, Proceedings of the Twelfth Workshop on the Algorithmic Foundations of Robotics, WAFR 2016, San Francisco, California, USA, December 18-20, 2016., pp. 400-415, 2016, Springer, 978-3-030-43088-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Jan M. Zytkow, Zbigniew W. Ras |
Foundations and Discovery of Operational Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings, pp. 582-590, 2000, Springer, 3-540-41094-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Joshua D. Guttman |
Security Goals: Packet Trajectories and Strand Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSAD ![In: Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000], pp. 197-261, 2000, Springer, 3-540-42896-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Peter D. Mosses |
Foundations of Modular SOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 70-80, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Patrice Chalin |
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(2), pp. 139-158, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Logical foundations, Static program verification, Survey, Assertions, Design by contract, Industrial practice, Extended static checking, Runtime assertion checking |
27 | T. S. E. Maibaum |
Mathematical foundations of software engineering: a roadmap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE - Future of SE Track ![In: 22nd International Conference on on Software Engineering, Future of Software Engineering Track, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 161-172, 2000, ACM, 1-58113-253-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
normal design, radical design, engineering, epistemology, foundations |
27 | Zinovy Diskin |
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 182-189, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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 |
27 | Paul Helman, Gunar E. Liepins |
Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 886-901, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
27 | David A. Gustafson, Joo T. Tan, Perla Weaver |
Software Measure Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993, pp. 163-168, 1993, ACM, 978-0-89791-625-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
foundations of measures, properties of measures, proving properties, metrics, software measures, measurement theory |
25 | Bernhard Preim, Alark Joshi |
Evaluation of Visualization Systems with Long-Term Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 195-208, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Johanna 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](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 255-278, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Caroline Ziemkiewicz, Min Chen 0001, David H. Laidlaw, Bernhard Preim, Daniel Weiskopf |
Open Challenges in Empirical Visualization Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 243-252, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Helen-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](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 319-340, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | G. Elisabeta Marai, Torsten Möller |
The Fabric of Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 5-14, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Penny Rheingans, Helen-Nicole Kostis, Paulo A. Oemig, Geraldine B. Robbins, Anders Ynnerman |
Reaching Broad Audiences in an Educational Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 365-380, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Kresimir Matkovic, Thomas Wischgoll, David H. Laidlaw |
Empirical Evaluations with Domain Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 181-194, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Silvia Miksch, Heike Leitte, Min Chen 0001 |
Knowledge-Assisted Visualization and Guidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 61-85, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Daniela Oelke, Ariane Sutor |
Collaborations Between Industry and University. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 279-283, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Fabian Bolte, Stefan Bruckner |
Measures in Visualization Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 39-59, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Min Chen 0001, Darren J. Edwards |
"Isms" in Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 225-241, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Weiskopf |
Vis4Vis: Visualization for (Empirical) Visualization Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 209-224, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Ross T. Whitaker, Ingrid Hotz |
Transformations, Mappings, and Data Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 121-157, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Mario Hlawitschka, Gerik Scheuermann, Christian Blecha, Marc Streit, Amitabh Varshney |
Collaborating Successfully with Domain Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 285-293, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Michael Böttinger |
Reaching Broad Audiences from a Research Institute Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 307-318, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Ivan Viola, Min Chen 0001, Tobias Isenberg 0001 |
Visual Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 15-37, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Michael Böttinger, Helen-Nicole Kostis, Anders Ynnerman |
Challenges and Open Issues in Visualization for Broad Audiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 381-389, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Michael Böttinger, Helen-Nicole Kostis, Maria Velez-Rojas, Penny Rheingans, Anders Ynnerman |
Reflections on Visualization for Broad Audiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 297-305, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Alfie Abdul-Rahman, Min Chen 0001, David H. Laidlaw |
A Survey of Variables Used in Empirical Studies for Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 161-179, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Anders Ynnerman, Patric Ljung, Alexander Bock 0002 |
Reaching Broad Audiences from a Science Center or Museum Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Data Visualization ![In: Foundations of Data Visualization., pp. 341-364, 2020, Springer, 978-3-030-34443-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Joshua 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](Pics/bibsonomy.png) |
Foundations of Security, Protocols, and Equational Reasoning ![Springer, 978-3-030-19051-4 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Shafi Goldwasser, Silvio Micali, Ronald L. Rivest |
A "paradoxical" solution to the signature problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 265-284, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
An interview with Shafi Goldwasser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 53-99, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael Ben-Or, Shafi Goldwasser, Avi Wigderson |
Completeness theorems for non-cryptographic fault-tolerant distributed computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 351-371, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Oded Goldreich 0001 |
On some noncryptographic works of Goldwasser and Micali. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 527-542, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
One obsession at a time: a brief biography of Silvio Micali. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 25-52, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
Editor and author biographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 795-800, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Zvika Brakerski |
Fundamentals of fully homomorphic encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 543-563, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Shafi Goldwasser, Silvio Micali, Charles Rackoff |
The knowledge complexity of interactive proof-systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 203-225, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Daniele Micciancio |
Interactive proofs for lattice problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 565-597, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
Proofs, according to Silvio: Silvio Micali's Turing lecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 157-171, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
A story behind every problem: a brief biography of Shafi Goldwasser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 1-24, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Rafael Pass |
A tutorial on concurrent zero-knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 623-648, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Manuel Blum 0001, Paul Feldman, Silvio Micali |
Non-interactive zero-knowledge and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 329-349, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson |
Multi-prover interactive proofs: how to remove intractability assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 373-410, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Oded Goldreich 0001 |
On the impact of cryptography on complexity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 497-526, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
An interview with Silvio Micali. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Providing Sound Foundations for Cryptography ![In: Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, pp. 101-138, 2019, ACM, 978-1-4503-7266-4. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|