ieee transactions on automatic control (8)
ifac papersonline (8)
ifac-papersonline (8)
discrete event dynamic systems: theory and applications (7)
discrete event dynamic systems (6)
advanced robotics (4)
theoretical computer science (4)
electronic notes in theoretical computer science (3)
institute of electrical and electronics engineers. transactions on automatic control (3)
2019 18th european control conference (ecc), control conference (ecc), 2019 18th european (2)
2019 ieee 15th international conference on automation science and engineering (case), automation science and engineering (case), 2019 ieee 15th international conference on (2)
entcs: electronic notes in theoretical computer science (2)
ieee transactions on intelligent transportation systems (2)
information processing letters (2)
2013 ieee 18th conference on emerging technologies & factory automation (etfa) (1)
2013 ieee 18th conference on emerging technologies & factory automation (etfa), emerging technologies & factory automation (etfa), 2013 ieee 18th conference on (1)
2015 54th ieee conference on decision & control (cdc) (1)
2015 54th ieee conference on decision and control (cdc), decision and control (cdc), 2015 ieee 54th annual conference on (1)
2015 acm/ieee 18th international conference on model driven engineering languages & systems (models) (1)
2015 acm/ieee 18th international conference on model driven engineering languages and systems (models), model driven engineering languages and systems (models), 2015 acm/ieee 18th international conference on (1)
2015 international conference on embedded computer systems: architectures, modeling & simulation (samos) (1)
2015 international conference on embedded computer systems: architectures, modeling, and simulation (samos), embedded computer systems: architectures, modeling, and simulation (samos), 2015 international conference on (1)
2017 ieee 56th annual conference on decision and control (cdc), decision and control (cdc), 2017 ieee 56th annual conference on (1)
2018 18th international conference on application of concurrency to system design (acsd), application of concurrency to system design (acsd), 2018 18th international conference on, acsd (1)
2019 american control conference (acc), control conference (acc), 2019 american (1)
2020 16th international conference on control, automation, robotics and vision (icarcv), control, automation, robotics and vision (icarcv), 2020 16th international conference on (1)
2020 forum for specification and design languages (fdl), specification and design languages (fdl), 2020 forum for (1)
2021 ieee 17th international conference on automation science and engineering (case), automation science and engineering (case), 2021 ieee 17th international conference on (1)
2023 ieee international conference on robotics and automation (icra), robotics and automation (icra), 2023 ieee international conference on (1)
21st mediterranean conference on control & automation (1)
21st mediterranean conference on control and automation, control & automation (med), 2013 21st mediterranean conference on (1)
acm sigbed review (1)
acm transactions on embedded computing systems (1)
bulletin of the european association for theoretical computer science. eatcs (1)
control engineering practice (1)
discrete event dynamic systems-theory and applications (1)
formal techniques for networked & distributed systems: forte 2007 (1)
ieee control systems letters (1)
incose international symposium (1)
industrial internet of things (1)
proceedings of the fourth workshop on structural operational semantics (sos 2007) (1)
theoretical aspects of computing - ictac 2015 (1)