Bogdan Lazar

Orcid: 0009-0003-3759-6215

According to our database1, Bogdan Lazar authored at least 6 papers between 2006 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023
Sliding Mode Observer Based Fuzzy Control for TS Systems.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

2022
Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.
CoRR, 2022

Observer based guaranteed cost control for time-delay TS fuzzy systems.
Proceedings of the 26th International Conference on System Theory, Control and Computing , 2022

2021
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.
Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2006
Simulating Delayed Pulses in Organic Materials.
Proceedings of the Computational Science and Its Applications, 2006


  Loading...