Signals, Not Generators! - Wolfgang Jeltsch (Trends in Functional Programming, 2009)

Generic record combinators with static type checking. - Wolfgang Jeltsch (PPDP, 2010)

Strongly typed and efficient functional reactive programming. - Wolfgang Jeltsch (2011)

Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming. - Wolfgang Jeltsch (MFPS, 2012)

Temporal logic with "Until", functional reactive programming with processes, and concrete process categories. - Wolfgang Jeltsch (PLPV, 2013)

An abstract categorical semantics for functional reactive programming with processes. - Wolfgang Jeltsch (PLPV, 2014)

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. - Wolfgang Jeltsch (MSFP, 2014)

Purely Functional Incremental Computing. - Denis Firsov; Wolfgang Jeltsch (SBLP, 2016)

Abstract categorical semantics for resourceful functional reactive programming. - Wolfgang Jeltsch (J. Log. Algebraic Methods Program., 2016)

A Process Calculus for Formally Verifying Blockchain Consensus Protocols. - Wolfgang Jeltsch (DECLARE, 2019)

Flexible Formality Practical Experience with Agile Formal Methods. - Philipp Kant; Kevin Hammond; Duncan Coutts; James Chapman 001; Nicholas Clarke; Jared Corduan; Neil J. Davies; Javier Díaz; Matthias Güdemann; Wolfgang Jeltsch; Marcin Szamotulski; Polina Vinogradova (TFP, 2020)

Your Blockchain Needn't Care How the Message is Spread. - Wolfgang Jeltsch; Javier Díaz (CoRR, 2022)

Correctness of Broadcast via Multicast: Graphically and Formally. - Wolfgang Jeltsch; Javier Díaz (FROM, 2022)

Proofs about Network Communication: For Humans and Machines. - Wolfgang Jeltsch; Javier Díaz (ICE, 2023)