|
|
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. |
CoRR |
2013 |
DBLP DOI BibTeX RDF |
|
58 | The Univalent Foundations Program |
Homotopy Type Theory: Univalent Foundations of Mathematics. |
|
2013 |
RDF |
|
44 | Radim Belohlávek, Vilém Vychodil |
Logical Foundations for Similarity-Based Databases. |
DASFAA Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Yingxu Wang |
On the Cognitive Informatics Foundations of Software Engineering. |
IEEE ICCI |
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. |
Data Mining: Foundations and Practice |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Radim Belohlávek, Vilém Vychodil |
Query systems in similarity-based databases: logical foundations, expressive power, and completeness. |
SAC |
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. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Oded Goldreich 0001 |
On the foundations of cryptography. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Peter J. F. Lucas, Arjen Hommersom |
How to Read the Book "Foundations of Biomedical Knowledge Representation". |
Foundations of Biomedical Knowledge Representation |
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. |
Conceptual Modelling and Its Theoretical Foundations |
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. |
Computational Foundations of Social Choice |
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. |
Computational Foundations of Social Choice |
2010 |
DBLP BibTeX RDF |
|
35 | Zong Woo Geem |
Global Optimization Using Harmony Search: Theoretical Foundations and Applications. |
Foundations of Computational Intelligence (3) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Swagatam Das, Arijit Biswas, Sambarta Dasgupta, Ajith Abraham |
Bacterial Foraging Optimization Algorithm: Theoretical Foundations, Analysis, and Applications. |
Foundations of Computational Intelligence (3) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Jorge Guajardo, Bart Preneel, Pim Tuyls, Ahmad-Reza Sadeghi |
09282 Abstracts Collection - Foundations for Forgery-Resilient Cryptographic Hardware. |
Foundations for Forgery-Resilient Cryptographic Hardware |
2009 |
DBLP BibTeX RDF |
|
35 | Jorge Guajardo, Bart Preneel, Ahmad-Reza Sadeghi, Pim Tuyls |
09282 Executive Summary - Foundations for Forgery-Resilient Cryptographic Hardware. |
Foundations for Forgery-Resilient Cryptographic Hardware |
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. |
Classical and Quantum Information Assurance Foundations and Practice |
2009 |
DBLP BibTeX RDF |
|
35 | Alessandro Artale, Enrico Franconi |
Foundations of Temporal Conceptual Data Models. |
Conceptual Modeling: Foundations and Applications |
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. |
Theoretical Foundations of Practical Information Security |
2008 |
DBLP BibTeX RDF |
|
35 | Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt |
08491 Executive Summary - Theoretical Foundations of Practical Information Security. |
Theoretical Foundations of Practical Information Security |
2008 |
DBLP BibTeX RDF |
|
35 | J. T. Yao 0001, Y. Y. Yao, Yan Zhao 0001 |
Foundations of Classification. |
Foundations and Novel Approaches in Data Mining |
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. |
Foundations and Practice of Programming Multi-Agent Systems |
2006 |
DBLP BibTeX RDF |
|
35 | Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein |
06201 Executive Summary -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. |
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery |
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. |
Foundations and Practice of Programming Multi-Agent Systems |
2006 |
DBLP BibTeX RDF |
|
35 | Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein |
06201 Abstracts Collection -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. |
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery |
2006 |
DBLP BibTeX RDF |
|
35 | José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing |
05081 Abstracts Collection - Foundations of Global Computing. |
Foundations of Global Computing |
2005 |
DBLP BibTeX RDF |
|
35 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Abstracts Collection - Foundations of Semistructured Data. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
35 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Summary - Foundations of Semi-structured Data. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
35 | William F. McColl |
Foundations of Time-Critical Scalable Computing. |
IFIP Congress: Fundamentals - Foundations of Computer Science |
1998 |
DBLP BibTeX RDF |
|
35 | Stefan Schirra |
Precision and Robustness in Geometric Computations. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Edouard Bugnion, Thomas Roos, Roger Wattenhofer, Peter Widmayer |
Space Filling Curves versus Random Walks. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Jürg Nievergelt, Peter Widmayer |
Spatial Data Structures: Concepts and Design Choices. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Marc J. van Kreveld |
Digital Elevation Models and TIN Algorithms. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Mark de Berg |
Visualization of TINs. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Robert Weibel |
Generalization of Spatial Data: Principles and Selected Algorithms. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Lars Arge |
External-Memory Algorithms with Applications in GIS. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Jürg Nievergelt |
Introduction to Geometric Computing: From Algorithms to Software. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Christopher M. Gold, Peter R. Remmele |
Voronoi Methods in GIS. |
Algorithmic Foundations of Geographic Information Systems |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Joachim Weickert |
Theoretical Foundations of Anisotropic Diffusion in Image Processing. |
Theoretical Foundations of Computer Vision |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Georgy L. Gimel'farb |
Symmetric Bi- and Trinocular Stereo: Tradeoffs between Theoretical Foundations and Heuristics. |
Theoretical Foundations of Computer Vision |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Upen S. Chakravarthy, John Grant, Jack Minker |
Foundations of Semantic Query Optimization for Deductive Databases |
Foundations of Deductive Databases and Logic Programming. |
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. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
33 | M. Randall Holmes |
Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'. |
Stud Logica |
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. |
OOPSLA Companion |
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. |
Data Mining: Foundations and Practice |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jan Rauch |
Classes of Association Rules: An Overview. |
Data Mining: Foundations and Practice |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Bhavani Thuraisingham |
On the Complexity of the Privacy Problem in Databases. |
Data Mining: Foundations and Practice |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Luca Cardelli, John C. Mitchell |
Operations on Records. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Elsa L. Gunter |
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Carl A. Gunter |
Comparing Categories of Domains. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Heriberto Maury Ramírez, Carles Riba Romeva |
Theoretical Foundations for Knowledge-Based Conceptual Design of Complex Systems. |
CDVE |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Michael Leyton |
Shape as Memory Storage. |
Ambient Intelligence for Scientific Discovery |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Jens Dibbern, Tim Goles, Rudy Hirschheim, Bandula Jayatilaka |
Information systems outsourcing: a survey and analysis of the literature. |
Data Base |
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. |
STAF Workshops |
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. |
WAFR |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Jan M. Zytkow, Zbigniew W. Ras |
Foundations and Discovery of Operational Definitions. |
ISMIS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Joshua D. Guttman |
Security Goals: Packet Trajectories and Strand Spaces. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Peter D. Mosses |
Foundations of Modular SOS. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Patrice Chalin |
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? |
Formal Aspects Comput. |
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. |
ICSE - Future of SE Track |
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). |
TOOLS (37) |
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. |
IEEE Trans. Software Eng. |
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. |
SIGSOFT FSE |
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. |
Foundations of Data Visualization |
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. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Caroline Ziemkiewicz, Min Chen 0001, David H. Laidlaw, Bernhard Preim, Daniel Weiskopf |
Open Challenges in Empirical Visualization Research. |
Foundations of Data Visualization |
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. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | G. Elisabeta Marai, Torsten Möller |
The Fabric of Visualization. |
Foundations of Data Visualization |
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. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Kresimir Matkovic, Thomas Wischgoll, David H. Laidlaw |
Empirical Evaluations with Domain Experts. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Silvia Miksch, Heike Leitte, Min Chen 0001 |
Knowledge-Assisted Visualization and Guidance. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Daniela Oelke, Ariane Sutor |
Collaborations Between Industry and University. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Fabian Bolte, Stefan Bruckner |
Measures in Visualization Space. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Min Chen 0001, Darren J. Edwards |
"Isms" in Visualization. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Weiskopf |
Vis4Vis: Visualization for (Empirical) Visualization Research. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Ross T. Whitaker, Ingrid Hotz |
Transformations, Mappings, and Data Summaries. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Mario Hlawitschka, Gerik Scheuermann, Christian Blecha, Marc Streit, Amitabh Varshney |
Collaborating Successfully with Domain Experts. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Michael Böttinger |
Reaching Broad Audiences from a Research Institute Setting. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Ivan Viola, Min Chen 0001, Tobias Isenberg 0001 |
Visual Abstraction. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Michael Böttinger, Helen-Nicole Kostis, Anders Ynnerman |
Challenges and Open Issues in Visualization for Broad Audiences. |
Foundations of Data Visualization |
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. |
Foundations of Data Visualization |
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. |
Foundations of Data Visualization |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Anders Ynnerman, Patric Ljung, Alexander Bock 0002 |
Reaching Broad Audiences from a Science Center or Museum Setting. |
Foundations of Data Visualization |
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 |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Shafi Goldwasser, Silvio Micali, Ronald L. Rivest |
A "paradoxical" solution to the signature problem. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
An interview with Shafi Goldwasser. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael Ben-Or, Shafi Goldwasser, Avi Wigderson |
Completeness theorems for non-cryptographic fault-tolerant distributed computation. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Oded Goldreich 0001 |
On some noncryptographic works of Goldwasser and Micali. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
One obsession at a time: a brief biography of Silvio Micali. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
Editor and author biographies. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Zvika Brakerski |
Fundamentals of fully homomorphic encryption. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Shafi Goldwasser, Silvio Micali, Charles Rackoff |
The knowledge complexity of interactive proof-systems. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Daniele Micciancio |
Interactive proofs for lattice problems. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
Proofs, according to Silvio: Silvio Micali's Turing lecture. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
A story behind every problem: a brief biography of Shafi Goldwasser. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Rafael Pass |
A tutorial on concurrent zero-knowledge. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Manuel Blum 0001, Paul Feldman, Silvio Micali |
Non-interactive zero-knowledge and its applications. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson |
Multi-prover interactive proofs: how to remove intractability assumptions. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Oded Goldreich 0001 |
On the impact of cryptography on complexity theory. |
Providing Sound Foundations for Cryptography |
2019 |
DBLP DOI BibTeX RDF |
|
25 | |
An interview with Silvio Micali. |
Providing Sound Foundations for Cryptography |
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][ >>] |
|