Sign in
Bogdan Lazar
Publication Activity (10 Years)
Years Active: 2006-2023
Publications (10 Years): 4
Top Topics
Security Model
Fuzzy Control
Access Control
Fine Grained
Top Venues
CoRR
TYPES
SSCI
ICSTCC
</>
Publications
</>
Bogdan Lazar
,
Zsófia Lendek
Sliding Mode Observer Based Fuzzy Control for TS Systems.
SSCI
(2023)
Fahad F. Alhabardi
,
Arnold Beckmann
,
Bogdan Lazar
,
Anton Setzer
Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.
CoRR
(2022)
Bogdan Lazar
,
Zsófia Lendek
Observer based guaranteed cost control for time-delay TS fuzzy systems.
ICSTCC
(2022)
Fahad F. Alhabardi
,
Arnold Beckmann
,
Bogdan Lazar
,
Anton Setzer
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.
TYPES
(2021)
Bogdan Lazar
,
Andreea Sterian
,
Stefan Pusca
,
Viorel Paun
,
Cristian Toma
,
Cristian Morarescu
Simulating Delayed Pulses in Organic Materials.
ICCSA (1)
(2006)