Year of publication
Type of material
Licence
Language
TIB reading rooms collection
1–20 of 127,993 hits
Sort by:
Sort by:
-
Owicki-Gries Reasoning for C11 RAR
Free accessDataCite | 2020|Keywords: Theory of computation → Hoare logic, Theory of computation → Program reasoning, Theory of computation → Operational semantics, Theory of computation → Logic and verification, Theory of computation → Concurrency -
LIPIcs, Volume 152, CSL'20, Complete Volume
Free accessDataCite | 2020|Keywords: Theory of computation, Logic, Theory of computation → Logic -
LIPIcs, Volume 141, ITP'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation, Logic, Theory of computation → Logic -
LIPIcs, Volume 140, CONCUR'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation, Concurrency, Theory of computation → Concurrency -
Owicki-Gries Reasoning for C11 RAR (Artifact)
Free accessDataCite | 2020|Keywords: Theory of computation → Hoare logic, Theory of computation → Program reasoning, Theory of computation → Operational semantics, Theory of computation → Logic and verification, Theory of computation → Concurrency -
Formalising a Turing-Complete Choreographic Language in Coq
Free accessDataCite | 2021|Keywords: Theory of computation → Process calculi, Theory of computation → Recursive functions, Theory of computation → Logic and verification -
Verifying an HTTP Key-Value Server with Interaction Trees and VST
Free accessDataCite | 2021|Keywords: Theory of computation → Program specifications, Theory of computation → Separation logic, Theory of computation → Program verification -
Modules over Monads and Operational Semantics
Free accessDataCite | 2020|Keywords: Theory of computation → Categorical semantics, Theory of computation → Operational semantics, Theory of computation → Semantics and reasoning -
LIPIcs, Volume 150, FSTTCS'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation -
Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning
Free accessDataCite | 2019|Keywords: Theory of computation → Quantum query complexity, Theory of computation → Semidefinite programming, Theory of computation → Convex optimization -
LIPIcs, Volume 138, MFCS'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation -
LIPIcs, Volume 132, ICALP'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation -
CRDTs, Coalgebraically (Early Ideas)
Free accessDataCite | 2023|Keywords: Theory of computation, Theory of computation → Formal languages and automata theory, Theory of computation → Distributed computing models, Theory of computation → Semantics and reasoning, Theory of computation → Concurrency -
LIPIcs, Volume 122, FSTTCS'18, Complete Volume
Free accessDataCite | 2018|Keywords: Theory of Computation -
LIPIcs, Volume 118, CONCUR'18, Complete Volume
Free accessDataCite | 2018|Keywords: Theory of Computation -
LIPIcs, Volume 102, CCC'18, Complete Volume
Free accessDataCite | 2018|Keywords: Theory of computation -
LIPIcs, Volume 117, MFCS'18, Complete Volume
Free accessDataCite | 2018|Keywords: Theory of computation -
LIPIcs, Volume 137, CCC'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation -
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding
Free accessDataCite | 2023|Keywords: Theory of computation → Hoare logic, Theory of computation → Program reasoning, Theory of computation → Abstraction, Theory of computation → Separation logic, Theory of computation → Logic and verification -
Monadic Decomposability of Regular Relations (Track B: Automata, Logic, Semantics, and Theory of Programming)
Free accessDataCite | 2019|Keywords: Theory of computation → Regular languages, Theory of computation → Transducers, Theory of computation → Complexity classes, Theory of computation → Automated reasoning, Theory of computation → Logic and verification
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.