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 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
31
Look more..
(2/84)
Export
export all inquiry results
(31)
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
Bicategories of automata, automata in bicategories
Boccali, Guido
;
Laretto, Andrea
;
Loregian, Fosco
;
Luneia, Stefano
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 1-19
https://doi.org/10.4204/EPTCS.397.1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
2
book article EST
/
book article ENG
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 1-21
https://doi.org/10.4204/eptcs.380.1
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
3
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
4
book article EST
/
book article ENG
Categorical semantics for functional reactive programming with temporal recursion and corecursion
Jeltsch, Wolfgang
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 127-142 : ill
https://doi.org/10.4204/EPTCS.153.9
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
5
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
6
book article EST
/
book article ENG
Coherence for skew-monoidal categories
Uustalu, Tarmo
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 68-77
https://doi.org/10.4204/EPTCS.153.5
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
7
book article EST
/
book article ENG
Coinductive big-step semantics for concurrency
Uustalu, Tarmo
Proceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013
2013
/
p. 63-78
https://doi.org/10.4204/EPTCS.137.6
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
8
book article EST
/
book article ENG
Collages of string diagrams
Braithwaite, Dylan
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 39-53
https://doi.org/10.4204/EPTCS.397.3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
9
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
https://www.semanticscholar.org/paper/Constraint-Based-Heuristic-On-line-Test-Generation-Ahman-K%C3%A4%C3%A4ramees/c798ef6753277479b79652be2a5921a1db94c74c
book article
10
book article EST
/
book article ENG
Cornering optics
Boisseau, Guillaume
;
Nester, Chad Mitchell
;
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 97-110 : ill
https://doi.org/10.4204/EPTCS.380.6
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
11
book article EST
/
book article ENG
Data structures for topologically sound higher-dimensional diagram rewriting
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 2022
2023
/
p. 111-127 : ill
https://doi.org/10.4204/EPTCS.380.7
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
12
book article EST
/
book article ENG
Differential 2-rigs
Loregian, Fosco
;
Trimble, Todd
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 159-182 : ill
https://doi.org/10.4204/EPTCS.380.10
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
13
book article EST
/
book article ENG
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
https://doi.org/10.4204/eptcs.207.5
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
14
book article EST
/
book article ENG
Duality of lattices associated to left and right quotients
Bell, Jason
;
Smertnig, Daniel
;
Tamm, Hellis
16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 2023
2023
/
p. 35-50
https://doi.org/10.4204/EPTCS.386.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
15
book article EST
/
book article ENG
Fibration linguistics (FibLang) : language acquisition
Genovese, Fabrizio
;
Loregian, Fosco
;
Puca, Caterina
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 224-236 : ill
https://doi.org/10.4204/EPTCS.380.13
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
16
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
17
book article EST
/
book article ENG
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
https://doi.org/10.4204/EPTCS.246.8
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
18
journal article EST
/
journal article ENG
Graphical sequent calculi for modal logics
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Electronic proceedings in theoretical computer science
2017
/
p. 91-103
https://doi.org/10.4204/EPTCS.243.7
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
19
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
20
book article EST
/
book article ENG
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.4204/EPTCS.380.16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
21
book article EST
/
book article ENG
Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
Abel, Andreas
;
Chapman, James
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 51-67
https://doi.org/10.4204/EPTCS.153.4
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
22
book article EST
/
book article ENG
Obstructions to compositionality
Puca, Caterina
;
Hadzihasanovic, Amar
;
Genovese, Fabrizio
;
Coecke, Bob
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 226-245
https://doi.org/10.4204/EPTCS.397.14
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
23
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
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
24
book article EST
/
book article ENG
Optics for premonoidal categories
Hefford, James
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 152-171 : ill
https://doi.org/10.4204/EPTCS.397.10
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
25
book article EST
/
book article ENG
Promonads and string diagrams for effectful categories
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 344−361
https://doi.org/10.4204/EPTCS.380.20
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
Number of records 31, displaying
1 - 25
previous
1
2
next
keyword
76
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 circuit fault
11.
open circuit protection
12.
open cloud ecosystem
13.
open cooperativism
14.
open data
15.
open data ecosystem
16.
open data format
17.
open data policies
18.
open design
19.
open education
20.
open educational resources
21.
Open Estonia Foundation
22.
open games
23.
open geospatial consortium
24.
open government data
25.
open government data (OGD)
26.
open graphs
27.
open habitat
28.
open hardware
29.
open induction
30.
open innovation
31.
Open Learning Resources (OLR)
32.
open notes
33.
open office
34.
open online courses
35.
open optical networking
36.
open plan office
37.
open pour concrete casting
38.
open retail electricity market
39.
open ring substrate
40.
open self‐ventilated machines
41.
Open Skies agreement
42.
open society
43.
open source
44.
open source hardware
45.
open source intelligence
46.
Open Source Intelligence (OSINT)
47.
open source intelligence tools
48.
open source software
49.
open source-based innovation
50.
open transitions
51.
open value network
52.
open voting
53.
open-economy dynamic general equilibrium model
54.
open-loop stability
55.
open-source
56.
open-source components
57.
open-source hardware
58.
open-source technologies
59.
OSV (open self‐ventilated) machines
60.
TOGAF (The Open Group Architecture Framework)
61.
topographic access to open stacks
62.
ASEAN (Association of Southeast Asian Nations)
63.
association
64.
association of local-self government
65.
association of local-self governments
66.
association of undertakings
67.
association rule
68.
association rule mining
69.
association rules
70.
European-African Hepato-Pancreato-Biliary Association (E-AHPBA)
71.
EU-Ukraine association agreement
72.
genome-wide association study (GWAS)
73.
numerical association rule mining
74.
quantitative association rule mining
75.
statine-fenofibrate association
76.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
subject term
8
1.
AI powered Data Curation & Publishing Virtual Assistant (AIDAVA)
2.
Baltic Open
3.
EuroScience Open Forum
4.
Nõmme Open
5.
Open Multilingual Wordnet
6.
Estonian Cleantech Association
7.
European Logistics Association
8.
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