Tobias Fritz

According to our database1, Tobias Fritz authored at least 25 papers between 2011 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




De Finetti's Theorem in Categorical Probability.
CoRR, 2021

Quantum logic is undecidable.
Arch. Math. Log., 2021

A CMOS Temperature Stabilized 2-D Mechanical Stress Sensor With 11-bit Resolution.
IEEE J. Solid State Circuits, 2020

Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability.
CoRR, 2020

The Universal Property of Infinite Direct Sums in $\hbox {C}^*$-Categories and $\hbox {W}^*$-Categories.
Appl. Categorical Struct., 2020

Monads, Partial Evaluations, and Rewriting.
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications.
Microprocess. Microsystems, 2019

Probability, valuations, hyperspace: Three monads on Top and the support as a morphism.
CoRR, 2019

A synthetic approach to Markov kernels, conditional independence, and theorems on sufficient statistics.
CoRR, 2019

A CMOS Temperature Stabilized 2-Dimensional Mechanical Stress Sensor with 11-bit Resolution.
Proceedings of the 2019 Symposium on VLSI Circuits, Kyoto, Japan, June 9-14, 2019, 2019

Bimonoidal Structure of Probability Monads.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Stochastic order on metric spaces and the ordered Kantorovich monad.
CoRR, 2018

Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization.
SIAM J. Appl. Algebra Geom., 2017

Resource convertibility and ordered commutative monoids.
Math. Struct. Comput. Sci., 2017

A Probability Monad as the Colimit of Finite Powers.
CoRR, 2017

A mathematical theory of resources.
Inf. Comput., 2016

A Resource Theory for Work and Heat.
CoRR, 2016

A Bayesian Characterization of Relative Entropy.
CoRR, 2014

Entropic Inequalities and Marginal Problems.
IEEE Trans. Inf. Theory, 2013

Corrigendum to "Velocity polytopes of periodic graphs and a no-go theorem for digital physics" [Discrete Mathematics 313 (2013) 1289-1301].
Discret. Math., 2013

Velocity polytopes of periodic graphs and a no-go theorem for digital physics.
Discret. Math., 2013

Virtual Logistics Lab: A Framework for Rapid Prototyping and Remote Experimentation.
Proceedings of the Impact of Virtual, Remote, and Real Logistics Labs, 2012

A Characterization of Entropy in Terms of Information Loss.
Entropy, 2011

Entropic Inequalities and the Marginal Problem
CoRR, 2011

Velocity Polytopes of Periodic Graphs
CoRR, 2011