Wolfgang Jeltsch

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 8

Top Venues

CoRR

PLPV

J. Log. Algebraic Methods Program.

TFP

Brandenburg University of Technology (PHD)

Education History

Brandenburg University of Technology

PHD

Publications

Wolfgang Jeltsch, Javier Díaz
Proofs about Network Communication: For Humans and Machines. CoRR (2023)
Wolfgang Jeltsch, Javier Díaz
Your Blockchain Needn't Care How the Message is Spread. CoRR (2022)
Wolfgang Jeltsch, Javier Díaz
Correctness of Broadcast via Multicast: Graphically and Formally. FROM (2022)
Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova
Flexible Formality Practical Experience with Agile Formal Methods. TFP (2020)
Wolfgang Jeltsch
A Process Calculus for Formally Verifying Blockchain Consensus Protocols. DECLARE (2019)
Wolfgang Jeltsch
A Process Calculus for Formally Verifying Blockchain Consensus Protocols. CoRR (2019)
Denis Firsov, Wolfgang Jeltsch
Purely Functional Incremental Computing. SBLP (2016)
Wolfgang Jeltsch
Abstract categorical semantics for resourceful functional reactive programming. J. Log. Algebraic Methods Program. 85 (6) (2016)
Wolfgang Jeltsch
An abstract categorical semantics for functional reactive programming with processes. PLPV (2014)
Wolfgang Jeltsch
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. MSFP (2014)
Wolfgang Jeltsch
Temporal logic with "Until", functional reactive programming with processes, and concrete process categories. PLPV (2013)
Wolfgang Jeltsch
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming. MFPS (2012)
Wolfgang Jeltsch
Generic record combinators with static type checking. PPDP (2010)
Wolfgang Jeltsch
Signals, Not Generators! Trends in Functional Programming (2009)

Wolfgang Jeltsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Jeltsch