Wolfgang Jeltsch

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