Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
dynamic deadlock (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
sõna
starts with
exact match
vabatekst
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/104)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
Constraint Programming-Based Verification of COLREG Safety
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Walden, Marina
;
Benterki, Aboubaker Seddiq
IEEE journal of oceanic engineering
2025
/
p. 2797-2821
https://doi.org/10.1109/JOE.2025.3592285
journal article
Number of records 1, displaying
1 - 1
keyword
103
1.
dynamic deadlock
2.
deadlock-free
3.
absolute dynamic topography
4.
advanced dynamic control
5.
capital structure dynamic adjustment
6.
computational fluid dynamic
7.
dynamic
8.
dynamic adaptability
9.
dynamic analysis
10.
dynamic behavior
11.
dynamic bending
12.
Dynamic blocking
13.
dynamic building envelope
14.
dynamic calculation
15.
dynamic capabilities
16.
dynamic capabilities development
17.
dynamic capability
18.
Dynamic capability theory
19.
dynamic charging
20.
dynamic consent
21.
dynamic control
22.
Dynamic Control Systems
23.
dynamic covalent chemistry
24.
dynamic crack
25.
Dynamic deformation behavior
26.
dynamic devic
27.
dynamic DNNs
28.
dynamic downscaling
29.
dynamic factor model
30.
dynamic failure
31.
dynamic grounding simulations
32.
dynamic handwriting analysis
33.
dynamic heating curve
34.
dynamic hedge
35.
dynamic hybrid switched systems
36.
dynamic impact
37.
dynamic impedance
38.
dynamic in waves
39.
dynamic interactions
40.
dynamic light scattering
41.
dynamic lighting
42.
dynamic load model
43.
Dynamic loading
44.
dynamic loads
45.
dynamic logic
46.
dynamic measurement feedback
47.
dynamic model
48.
dynamic modeling
49.
dynamic modelling
50.
dynamic modelling of used vehicles
51.
dynamic models
52.
dynamic network
53.
Dynamic networks
54.
dynamic object
55.
dynamic operation of heating systems
56.
dynamic output feedback
57.
dynamic overset grid
58.
Dynamic Penn efect
59.
dynamic performance
60.
dynamic performance compliance
61.
dynamic phase allocation (DPA)
62.
dynamic phasors
63.
dynamic population presence
64.
dynamic positioning
65.
dynamic probing super heavy (DPSH-A)
66.
dynamic programing
67.
dynamic programming
68.
dynamic QR-code
69.
dynamic quality
70.
dynamic radio frame
71.
dynamic range
72.
dynamic resource management
73.
dynamic response
74.
dynamic shear rheometer
75.
dynamic simulation
76.
dynamic slot allocation (DSA)
77.
dynamic social impact theory (DSIT)
78.
dynamic spectrum allocation
79.
dynamic spillovers
80.
dynamic stability
81.
dynamic stall
82.
dynamic support conditions
83.
dynamic system
84.
dynamic systems
85.
dynamic time warping
86.
dynamic time warping (DTW)
87.
dynamic topography
88.
dynamic unbalanced process
89.
dynamic walking
90.
dynamic vibration absorption
91.
dynamic wireless environment
92.
dynamic-link library (DLL)
93.
essential dynamic boundary conditions at joints
94.
large-scale dynamic experiments
95.
linear dynamic equation
96.
mean dynamic topography
97.
nonlinear dynamic system
98.
nonlinear dynamic systems
99.
open-economy dynamic general equilibrium model
100.
quasi-static and dynamic collision simulations
101.
static-dynamic probing test (SDT)
102.
stochastic dynamic programming
103.
vehicle dynamic systems
subject term
1
1.
International Association for Management Development in Dynamic Societies
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT