journal of logical and algebraic methods in programming (3)
new generation computing (3)
automatica (2)
logical methods in computer science (2)
2019 34th annual acm/ieee symposium on logic in computer science (lics) (1)
2019 34th annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2019 34th annual acm/ieee symposium on (1)
2019 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2019 ieee international conference on (1)
2020 16th international conference on control, automation, robotics and vision (icarcv), control, automation, robotics and vision (icarcv), 2020 16th international conference on (1)
2021 60th ieee conference on decision and control (cdc) (1)
2021 60th ieee conference on decision and control (cdc), decision and control (cdc), 2021 60th ieee conference on (1)
2022 ieee 61st conference on decision and control (cdc), decision and control (cdc), 2022 ieee 61st conference on (1)
2023 ieee 26th international conference on intelligent transportation systems (itsc), intelligent transportation systems (itsc), 2023 ieee 26th international conference on (1)
2023 ieee intelligent vehicles symposium (iv), intelligent vehicles symposium (iv), 2023 ieee (1)
4th international conference on formal structures for computation and deduction (1)
6th conference on algebra and coalgebra in computer science (1)
7th conference on algebra and coalgebra in computer science (1)
automatica. a journal of ifac, the international federation of automatic control (1)
computer aided verification. part iii (1)
ieee transactions on intelligent vehicles (1)
ifac papersonline (1)
ifac-papersonline (1)
lics '18---33rd annual acm/ieee symposium on logic in computer science (1)
logical methods in computer science (lmcs) (1)
proceedings---37th conference on mathematical foundations of programming semantics (1)
tests and proofs (1)
theory & applications of categories (1)
theory and applications of categories (1)