Year of publication
Type of media
Subject
Type of material
Licence
Language
Synonyms were used for: Theory
Search without synonyms: keywords:(Theory of Computation)
Used synonyms:
- theorie
- theories
-
Digital Currencies as Types (Invited Talk)
Free accessDataCite | 2021|Keywords: Theory of computation → Linear logic, Theory of computation → Type theory, Theory of computation → Semantics and reasoning -
Authenticated Data Structures as Functors in Isabelle/HOL
Free accessDataCite | 2020|Keywords: Theory of computation → Cryptographic primitives, Theory of computation → Higher order logic, Theory of computation → Logic and verification -
Certifying the Weighted Path Order (Invited Talk)
Free accessDataCite | 2020|Keywords: Theory of computation → Equational logic and rewriting, Theory of computation → Logic and verification -
On Prover-Efficient Public-Coin Emulation of Interactive Proofs
Free accessDataCite | 2021|Keywords: Theory of computation → Interactive proof systems, Theory of computation → Computational complexity and cryptography -
Non-Separable Multi-Dimensional Network Flows for Visual Computing
Free accessDataCite | 2023|Keywords: Theory of computation, Theory and algorithms for application domains, CCS Concepts: Theory of computation -> Design and analysis of algorithms; Theory and algorithms for application domains, Design and analysis of algorithms -
On the Termination of Flooding
Free accessDataCite | 2020|Keywords: Theory of computation → Distributed algorithms, Theory of computation → Graph algorithms analysis, Graph theory, Mathematics of computing → Graph algorithms -
Out-Of-Band Authenticated Group Key Exchange: From Strong Authentication to Immediate Key Delivery
Free accessDataCite | 2020|Keywords: Theory of computation → Cryptographic protocols, Theory of computation → Cryptographic primitives, out-of-band authentication -
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)
Free accessDataCite | 2023|Keywords: Theory of computation → Concurrency -
A Syntax for Mutual Inductive Families
Free accessDataCite | 2020|Keywords: Theory of computation → Type theory, type theory -
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains
Free accessDataCite | 2021|Keywords: Theory of computation → Distributed algorithms -
Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk)
Free accessDataCite | 2022|Keywords: Theory of computation → Algorithmic game theory and mechanism design -
PC-GAU: PCA Basis of Scattered Gaussians for Shape Matching via Functional Maps
Free accessDataCite | 2022|Keywords: Theory of computation, Mathematics of computing, CCS Concepts: Computing methodologies -> Shape analysis; Theory of computation -> Computational geometry; Mathematics of computing -> Functional analysis -
History-Based Run-Time Requirement Enforcement of Non-Functional Properties on MPSoCs
Free accessDataCite | 2024|Keywords: Theory of computation → Linear logic, Mathematics of computing → Probabilistic representations, Theory of computation → Verification by model checking, Theory of computation → Modal and temporal logics -
On Locally Decodable Codes in Resource Bounded Channels
Free accessDataCite | 2020|Keywords: Theory of computation → Error-correcting codes -
The Everyday Life of an Algorithm
Free accessTIBKAT | 2019|Keywords: Ethical & social aspects of IT, Mathematical theory of computation -
Routing in Stochastic Public Transit Networks
Free accessDataCite | 2019|Keywords: Theory of computation → Graph algorithms analysis -
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers
Free accessDataCite | 2020|Keywords: Theory of computation → Distributed algorithms -
Spectral Approach to the Communication Complexity of Multi-Party Key Agreement
Free accessDataCite | 2024|Keywords: Theory of computation → Communication complexity, Theory of computation → Expander graphs and randomness extractors, Mathematics of computing → Information theory -
Towards Adaptive Multi-Alternative Process Network
Free accessDataCite | 2021|Keywords: Theory of computation → Streaming models -
A Smart Contract Oracle for Approximating Real-World, Real Number Values
Free accessDataCite | 2020|Keywords: Theory of computation → Algorithmic game theory and mechanism design
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 is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
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.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.