Jüri Vain - Publications, H-index & Citations

Back

Jüri Vain

Tallinn University of Technology

11H-index

131Paper Count

554Citation Count

Published Papers 8

Publication Date

Autonomous vessel collision avoidance verification using geometric optimization

Integrated Computer-Aided Engineering

IF5.3

2026-07-07

PREAI

Hiba Ben Lahbib; Mohamed Taha Bennani; Jüri Vain

Save

Constraint Programming-Based Verification of COLREG Safety

IEEE JOURNAL OF OCEANIC ENGINEERING

IF5.3

2025-09-01

PREAI

Vain, Juri; Tsiopoulos, Leonidas; Walden, Marina; Benterki, Aboubaker Seddiq

Save

Ontology Merging Using the Weak Unification of Concepts

BIG DATA AND COGNITIVE COMPUTING

IF4.4

2024-08-27

OAAI

Kuusik, Norman; Vain, Juri

Save

A model-based approach for design and verification of Industrial Internet of Things

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE

IF6.1

2019-06-01

PREAI

Muthukumar, N.; Srinivasan, Seshadhri; Ramkumar, K.; Pal, Deepak; Vain, Juri; Ramaswamy, Srini

Save

Learning based personalized energy management systems for residential buildings

ENERGY AND BUILDINGS

IF7.1

2016-09-01

PREAI

Soudari, Mallikarjun; Srinivasan, Seshadhri; Balasubramanian, Subathra; Vain, Juri; Kotta, Ulle

Save

Model checking response times in Networked Automation Systems using jitter bounds

COMPUTERS IN INDUSTRY

IF9.1

2015-12-01

PREAI

Srinivasan, Seshadhri; Buonopane, Furio; Vain, Juri; Ramaswamy, Srini

Save

Scrub Nurse Robot system - Intraoperative motion analysis of a scrub nurse and timed-automata-based model for surgery

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS

IF7.2

2005-10-01

PREAI

Miyawaki, F; Masamune, K; Suzuki, S; Yoshimitsu, K; Vain, J

Save

Integrating methods for the design of real-time systems

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

1996-12-01

PREAI

Hooman, J; Vain, J

Save

Research Directions