Simulating Delayed Pulses in Organic Materials. - Bogdan Lazar; Andreea Sterian; Stefan Pusca; Viorel Paun; Cristian Toma; Cristian Morarescu (ICCSA (1), 2006)

Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. - Fahad F. Alhabardi; Arnold Beckmann; Bogdan Lazar; Anton Setzer (TYPES, 2021)

Observer based guaranteed cost control for time-delay TS fuzzy systems. - Bogdan Lazar; Zsófia Lendek (ICSTCC, 2022)

Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control. - Fahad F. Alhabardi; Arnold Beckmann; Bogdan Lazar; Anton Setzer (CoRR, 2022)

Sliding Mode Observer Based Fuzzy Control for TS Systems. - Bogdan Lazar; Zsófia Lendek (SSCI, 2023)

A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML. - Tom Groot; Lina Ochoa-Venegas; Bogdan Lazar; Jacob Krüger (ICSE-SEIP, 2024)