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
category theory (keyword)
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
11
Look more..
(1/185)
Export
export all inquiry results
(11)
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
Compositional modelling of network games
Di Lavore, Elena
;
Hedges, Jules
;
Sobocinski, Pawel Maria
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)
2021
/
art. 30, p. 30:1–30:24 : ill
https://doi.org/10.4230/LIPIcs.CSL.2021.30
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
2
journal article EST
/
journal article ENG
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://doi.org/10.46298/LMCS-19(1:7)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3
book article
A foundation for ledger structures
Nester, Chad Mitchell
2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France
2021
/
art. 7, p. 7:1–7:31
https://doi.org/10.4230/OASIcs.Tokenomics.2020.7
book article
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
4
book article EST
/
book article ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
13 p.
https://doi.org/10.1109/LICS56636.2023.10175726
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
5
book article EST
/
book article ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
6
journal article EST
/
journal article ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Monoidal width = Monoidiline laius
7
journal article EST
/
journal article ENG
Protocol choice and iteration for the free cornering
Nester, Chad Mitchell
;
Voorneveld, Niels
Journal of logical and algebraic methods in programming
2024
/
art. 100942, 30 p
https://doi.org/10.1016/j.jlamp.2023.100942
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
8
book article EST
/
book article ENG
Slice nondeterminism
Voorneveld, Niels
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
2023
/
art. 31, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.31
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
9
journal article EST
/
journal article ENG
String diagram rewrite theory I : rewriting with Frobenius structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Journal of the ACM
2022
/
art. 14
https://doi.org/10.1145/3502719
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
10
journal article EST
/
journal article ENG
String diagram rewrite theory II : rewriting with symmetric monoidal structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 511 - 541
https://doi.org/10.1017/S0960129522000317
Journal at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
11
book article EST
/
book article ENG
A survey of Compositional signal flow theory
Bonchi, Filippo
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Advancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
2021
/
p. 29–56
https://doi.org/10.1007/978-3-030-81701-5_2
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 11, displaying
1 - 11
keyword
185
1.
category theory
2.
enriched category theory
3.
formal category theory
4.
bicategory theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
a coherent theory of proofs
24.
activity theory
25.
adaptive structuration theory (AST)
26.
algebraic number theory
27.
algebraic theory
28.
algorithm design and theory
29.
beam theory
30.
behavioral reasoning theory
31.
Bond theory
32.
Boolean Algebra Meets Graph-Theory
33.
catastrophe theory
34.
chaos theory
35.
coding theory
36.
cognitive theory
37.
commitment theory
38.
communication channels (information theory)
39.
Complex systems theory
40.
complexity leadership theory
41.
complexity theory
42.
computation theory
43.
computer softwaregraph theory
44.
conservation of resources theory
45.
Consumer Culture Theory
46.
control theory
47.
Cooper-Helmstetter cell cycle theory
48.
cosmology: theory
49.
critical theory of technology
50.
cultural theory of international relations
51.
dark matter theory
52.
decision theory
53.
Dempster-Shafer theory
54.
Demster-Shafer Theory
55.
density functional theory
56.
density functional theory (DFT)
57.
dependent type theory
58.
design theory
59.
development theory
60.
Digital Government Theory: Development and Application
61.
dispersive theory
62.
domain theory
63.
ecological systems theory
64.
economic theory
65.
end of theory
66.
energetic impact theory
67.
Euler Bernoulli beams theory
68.
evolutionary theory of policy capacity
69.
Flow theory
70.
formal language theory
71.
fully nonlinear potential theory
72.
game theory
73.
general systems theory
74.
general theory of information transfer
75.
general vibration theory
76.
graph theory
77.
gravitational waves / theory
78.
grounded theory
79.
group theory
80.
group threat theory
81.
higher-order beam theory
82.
History and Theory
83.
homotopy theory
84.
homotopy type theory
85.
housemoney effect prospect theory
86.
iceberg theory of culture
87.
image theory
88.
information theory
89.
innovation theory
90.
institutional theory
91.
intellectual capital theory
92.
interdependence theory
93.
inverse problem theory/applications
94.
inverse problems theory/applications
95.
job search theory
96.
language theory
97.
Lawvere theory
98.
layer-wise displacement theory
99.
linear systems theory
100.
macro-foundational theory
101.
maritime investment theory
102.
mechanism design theory
103.
meso-foundational theory
104.
micro-foundational theory
105.
middle-range theory
106.
modern portfolio theory
107.
network theory
108.
nonlinear shallow water theory
109.
nonlinear shallow-water theory
110.
nonlinear strip theory
111.
nonlinear theory
112.
normal torsion theory
113.
number theory
114.
organization theory
115.
organizational theory
116.
peer‐to‐peer theory
117.
perceived customer value theory
118.
phase field theory
119.
picture theory
120.
protection motivation theory
121.
proto-theory of design
122.
punctuated equilibrium theory
123.
rational choice theory
124.
real options theory
125.
realization theory
126.
reduction theory
127.
refined zigzag theory
128.
regulatory focus theory
129.
sampling theory
130.
scapegoat theory
131.
search and matching theory
132.
self-determination theory
133.
self-determination theory of work motivation
134.
set theory
135.
shallow water theory
136.
shallow‐water theory
137.
sign theory
138.
signalling theory
139.
social exchange theory
140.
social identity theory
141.
social practice theory
142.
social presence theory
143.
social representation theory
144.
social system theory
145.
social systems theory
146.
sociological curriculum theory
147.
S-O-R theory
148.
speech-act theory
149.
stakeholder theory
150.
Stakeholder-oriented decision theory
151.
State Theory
152.
stimulus-organism-response theory
153.
stochastic learning theory
154.
strategic narrative theory
155.
strategic narrative theory
156.
Straussian theory model
157.
structuration theory
158.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
159.
switching theory
160.
synchronous reference frame theory
161.
system theory
162.
systems theory
163.
the RAT theory
164.
theory
165.
theory and practice of meta-modelling with application in healthcare
166.
theory building
167.
theory of accounting
168.
Theory of computation
169.
Theory Of Constraints (TOC)
170.
theory of economic development
171.
theory of inventive problem solving (TRIZ)
172.
theory of natural disaster
173.
Theory of paradox
174.
theory of planned behavior
175.
theory of planned behaviour
176.
theory of signs
177.
theory of value
178.
theory selection
179.
ticked cubical type theory
180.
time-dependent density functional theory (TD-DFT)
181.
type theory
182.
unified theory of acceptance and use of technology
183.
value theory
184.
virtual disc theory
185.
2D+T theory
×
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