Year of publication
Source
Type of material
Licence
Language
1–20 of 19,719 hits
Sort by:
Sort by:
-
Idris 2: Quantitative Type Theory in Practice
Free accessDataCite | 2021|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371)
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom
Free accessDataCite | 2018|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Session Types with Arithmetic Refinements
Free accessDataCite | 2020|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Formalising a Turing-Complete Choreographic Language in Coq
Free accessDataCite | 2021|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Free accessDataCite | 2017|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Simple Verifiable Delay Functions
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
On the Hardness and Inapproximability of Recognizing Wheeler Graphs
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Uncloneable Quantum Encryption via Oracles
Free accessDataCite | 2020|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
On the Qubit Routing Problem
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
The Power of Block-Encoded Matrix Powers: Improved Regression Techniques via Faster Hamiltonian Simulation
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Jointly Embedding Multiple Single-Cell Omics Measurements
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Completeness of Graphical Languages for Mixed States Quantum Mechanics (Track B: Automata, Logic, Semantics, and Theory of Programming)
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Partial Order Reduction for Reachability Games
Free accessDataCite | 2019|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Linear Time Construction of Indexable Founder Block Graphs
Free accessDataCite | 2020|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Minimum Cut in O(m log² n) Time
Free accessDataCite | 2020|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Data-Flow Analyses as Effects and Graded Monads
Free accessDataCite | 2020|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Foundations for Actively Secure Card-Based Cryptography
Free accessDataCite | 2020|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik -
Dynamic Data-Race Detection Through the Fine-Grained Lens
Free accessDataCite | 2021|Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.