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
35th International Conference on Concurrency Theory (CONCUR 2024) (source)
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)
starts with
containes
exact match
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)
starts with
containes
exact match
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)
starts with
containes
exact match
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)
starts with
containes
exact match
—
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)
starts with
containes
exact match
—
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..
(5/68)
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
book article EST
/
book article ENG
A unifying categorical view of nondeterministic iteration and tests
Goncharov, Sergey
;
Uustalu, Tarmo
35th International Conference on Concurrency Theory (CONCUR 2024)
2024
/
art. 25
https://doi.org/10.4230/LIPIcs.CONCUR.2024.25
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
CV
33
1.
Aben, Hillar 1929-2024
2.
Halling, Aimar 1930-2024
3.
Isotamm, Ain 1942-2024
4.
Jürves, Erik 1945-2024
5.
Karu, Jaan 1945-2024
6.
Kask, Rein 1938-2024
7.
Kiris, Advig 1935-2024
8.
Kirs, Jüri 1941-2024
9.
Kitvel, Toivo 1938-2024
10.
Krikk, Mai 1946-2024
11.
Krispin, Madli 1948-2024
12.
Küttner, Rein 1940-2024
13.
Lamp, Jüri 1940-2024
14.
Lippmaa, Helle 1934-2024
15.
Lipre, Jüri 1940-2024
16.
Mens, Kaisa 1928-2024
17.
Meriste, Udo 1942-2024
18.
Metsaveer, Jaan 1933-2024
19.
Muoni, Rein 1948-2024
20.
Palm, Vello 1938-2024
21.
Raid, Riina 1940-2024
22.
Raukas, Uusi 1928-2024
23.
Saarse, Leili 1939-2024
24.
Siirde, Aino 1926-2024
25.
Sillajõe, Aadu 1939-2024
26.
Soonike, Väino 1936-2024
27.
Suurkask, Valdu 1939-2024
28.
Talkop, Adolf 1945-2024
29.
Teedumäe, Aada 1936-2024
30.
Tiidemann, Tiit 1934-2024
31.
Türn, Leo 1932-2024
32.
Uiga, Endel 1918-2024
33.
Vambola, Linda 1925-2024
subject term
15
1.
Aasta õpetaja, 2024
2.
BuildIT (10 : 2024)
3.
BuildIT (2024)
4.
Emakeelepäev (2024)
5.
FutureLaw, 2024
6.
Labürindijooks (2024)
7.
MarineHäkk (2024)
8.
Põhja-Balti olümpiaad, 2024
9.
Robotex (23 : 2024 : Tallinn)
10.
TalTech GameCamp Lite, 2024
11.
Teadlaste Öö (2024)
12.
Võti Tulevikku, karjäärimess (2024 : Tallinn)
13.
Õiglase Ülemineku Foorum, 2024
14.
2024
15.
2024-2025
name of the person
13
1.
Aben, Hillar, 1929-2024
2.
Jenei, György, 1942-2024
3.
Kuum, Leev, 1930-2024
4.
Küttner, Rein, 1940-2024
5.
Metsaveer, Jaan, 1933-2024
6.
Palu, Uno, 1933-2024
7.
Saarse, Leili, 1939-2024
8.
Suurkask, Valdu, 1939-2024
9.
Türn, Leo, 1932-2024
10.
Vainikko, Gennadi, 1938-2024
11.
Valton, Arvo, 1935–2024
12.
Volke, Igor, 1950-2024
13.
Väljas, Vaino, 1931-2024
TalTech subject term
5
1.
Digiehituse tulevikutegija (2024)
2.
Innovatsioonifestival (2024)
3.
Labürindijooks (2024)
4.
Rööpameister 2024
5.
Tuleviku Loojate projekt, 2024
keyword
2
1.
DISPLACE 2024
2.
EU Legislation (2022-2024)
×
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