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
Searching
My bookmarks
0
Open Publishing Association (publisher)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
13
Look more..
(2/71)
Export
export all inquiry results
(13)
Save TXT fail
Save PDF 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 Categorical semantics for bounded Petri Nets
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
2021
/
15 p
https://doi.org/10.48550/arXiv.2101.09100
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
2
book article EST
/
book article ENG
A categorical semantics for hierarchical Petri Nets
Genovese, Fabrizio
;
Herold, Jelle
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021
2021
/
p. 51−68
https://doi.org/10.48550/arXiv.2102.00096
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
3
book article
Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
Ahman, Danel
;
Kääramees, Marko
EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012
2012
/
p. 115-129 : ill
book article
4
book article
Directed containers as categories
Ahman, Danel
;
Uustalu, Tarmo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 89-98
http://doi.org/10.4204/eptcs.207.5
book article
5
book article EST
/
book article ENG
From equations to distinctions: Two interpretations of effectful computations
Voorneveld, Niels
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
2020
/
p. 1-17
https://doi.org/10.4204/EPTCS.317.1
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
6
book article
Generating representative executions : extended abstract
Maarand, Hendrik
;
Uustalu, Tarmo
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
2017
/
p. 39-48 : ill
http://dx.doi.org/10.4204/EPTCS.246.8
book article
7
book article EST
/
book article ENG
Inductive and coinductive predicate liftings for effectful programs
Veltri, Niccolò
;
Voorneveld, Niels F.W.
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021
2021
/
p. 260-277
https://doi.org/10.4204/EPTCS.351.16
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
8
book article
Monoidal width : capturing rank width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Proceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 2022
2023
/
p. 268-283 : ill
https://doi.org/10.48550/arXiv.2205.08916
book article
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
9
book article EST
/
book article ENG
Open diagrams via Coend calculus
Roman Garcia, Mario
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 65-78 : ill
https://doi.org/10.4204/EPTCS.333.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
10
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
11
book article
Structured general corecursion and coinductive graphs [extended abstract]
Uustalu, Tarmo
EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012
2012
/
p. 55-61
book article
12
book article
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
http://doi.org/10.4204/eptcs.207.4
book article
13
book article EST
/
book article ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 13, displaying
1 - 13
keyword
65
1.
FMI open data
2.
fractional open circuit voltage
3.
inventory of open stacks
4.
linked open data
5.
linked open statistical data
6.
linked open statistics
7.
open architecture for information exchange
8.
open architecture model
9.
open cast
10.
open cloud ecosystem
11.
open cooperativism
12.
open data
13.
open data ecosystem
14.
open data format
15.
open data policies
16.
open design
17.
open education
18.
open educational resources
19.
Open Estonia Foundation
20.
open games
21.
open geospatial consortium
22.
open government data
23.
open government data (OGD)
24.
open graphs
25.
open habitat
26.
open hardware
27.
open innovation
28.
open office
29.
open online courses
30.
open pour concrete casting
31.
open retail electricity market
32.
open ring substrate
33.
open self‐ventilated machines
34.
Open Skies agreement
35.
open society
36.
open source
37.
open source hardware
38.
open source intelligence
39.
Open Source Intelligence (OSINT)
40.
open source intelligence tools
41.
open source software
42.
open source-based innovation
43.
open transitions
44.
open value network
45.
open voting
46.
open-economy dynamic general equilibrium model
47.
open-loop stability
48.
open-source
49.
open-source hardware
50.
OSV (open self‐ventilated) machines
51.
topographic access to open stacks
52.
ASEAN (Association of Southeast Asian Nations)
53.
association
54.
association of local-self government
55.
association of local-self governments
56.
association of undertakings
57.
association rule
58.
association rule mining
59.
association rules
60.
European-African Hepato-Pancreato-Biliary Association (E-AHPBA)
61.
EU-Ukraine association agreement
62.
genome-wide association study (GWAS)
63.
numerical association rule mining
64.
quantitative association rule mining
65.
statine-fenofibrate association
subject term
6
1.
Baltic Open
2.
EuroScience Open Forum
3.
Nõmme Open
4.
Open Multilingual Wordnet
5.
European Logistics Association
6.
International Association for Management Development in Dynamic Societies
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT