Year of publication
Type of media
Source
Subject
Type of material
TIB reading rooms collection
1–20 of 127,720 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 -
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 -
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 -
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 -
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 -
Session Subtyping and Multiparty Compatibility Using Circular Sequents
Free accessDataCite | 2020|Keywords: Theory of computation → Proof theory, Theory of computation → Linear logic, Theory of computation → Process calculi, Theory of computation → Type theory -
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 137, CCC'19, Complete Volume
Free accessDataCite | 2019|Keywords: Theory of computation -
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 -
LIPIcs, Volume 107, ICALP'18, Complete Volume
Free accessDataCite | 2018|Keywords: Theory of computation -
LIPIcs, Volume 80, ICALP'17, Complete Volume
Free accessDataCite | 2017|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 -
Graph Coloring, Palette Sparsification, and Beyond (Invited Talk)
Free accessDataCite | 2022|Keywords: Theory of computation, Theory of computation → Distributed algorithms, Theory of computation → Graph algorithms analysis, Theory of computation → Parallel algorithms
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.