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/197)
Export
export all inquiry results
(11)
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
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-Maria
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
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
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
197
1.
category theory
2.
enriched category theory
3.
formal category theory
4.
bicategory theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
closed category
9.
cocomplete category
10.
cyclic category
11.
double category
12.
duplicial category
13.
free monoidal category
14.
Locally graded category
15.
monoidal category
16.
omega-category
17.
orbit category
18.
skew-monoidal category
19.
slice 2-category
20.
slice category
21.
symmetric monoidal category
22.
symmetric monoidal closed category
23.
triangulated category
24.
2-category
25.
a coherent theory of proofs
26.
activity theory
27.
adaptive structuration theory (AST)
28.
algebraic number theory
29.
algebraic theory
30.
algorithm design and theory
31.
beam theory
32.
behavioral reasoning theory
33.
Biot theory
34.
Bond theory
35.
Boolean Algebra Meets Graph-Theory
36.
catastrophe theory
37.
chaos theory
38.
coding theory
39.
cognitive theory
40.
commitment theory
41.
communication channels (information theory)
42.
Complex systems theory
43.
complexity leadership theory
44.
complexity theory
45.
computation theory
46.
computer softwaregraph theory
47.
conservation of resources theory
48.
Consumer Culture Theory
49.
control and systems theory
50.
control theory
51.
Cooper-Helmstetter cell cycle theory
52.
cosmology theory
53.
cosmology: theory
54.
critical theory of technology
55.
cultural theory of international relations
56.
dark matter theory
57.
decision theory
58.
Dempster-Shafer theory
59.
Demster-Shafer Theory
60.
density functional theory
61.
density functional theory (DFT)
62.
dependent type theory
63.
design theory
64.
Dezert–Smarandache theory
65.
development theory
66.
Digital Government Theory: Development and Application
67.
dispersive theory
68.
domain theory
69.
dual-process theory
70.
Dynamic capability theory
71.
ecological systems theory
72.
economic theory
73.
end of theory
74.
energetic impact theory
75.
engaged theory
76.
Euler Bernoulli beams theory
77.
evolutionary theory of policy capacity
78.
Flow theory
79.
formal language theory
80.
fully nonlinear potential theory
81.
game theory
82.
general systems theory
83.
general theory of information transfer
84.
general vibration theory
85.
graph theory
86.
gravitational waves / theory
87.
grounded theory
88.
group theory
89.
group threat theory
90.
higher-order beam theory
91.
History and Theory
92.
homotopy theory
93.
homotopy type theory
94.
housemoney effect prospect theory
95.
iceberg theory of culture
96.
image theory
97.
information theory
98.
innovation theory
99.
institutional theory
100.
intellectual capital theory
101.
interdependence theory
102.
inverse problem theory/applications
103.
inverse problems theory/applications
104.
job search theory
105.
language theory
106.
Lawvere theory
107.
layer-wise displacement theory
108.
linear systems theory
109.
macro-foundational theory
110.
maritime investment theory
111.
mechanism design theory
112.
meso-foundational theory
113.
micro-foundational theory
114.
middle-range theory
115.
mindlin plate theory
116.
modern portfolio theory
117.
network theory
118.
nonlinear shallow water theory
119.
nonlinear shallow-water theory
120.
nonlinear strip theory
121.
nonlinear theory
122.
normal torsion theory
123.
number theory
124.
organismic integration theory
125.
organization theory
126.
organizational theory
127.
peer‐to‐peer theory
128.
perceived customer value theory
129.
phase field theory
130.
picture theory
131.
protection motivation theory
132.
proto-theory of design
133.
public administration theory
134.
punctuated equilibrium theory
135.
rational choice theory
136.
real options theory
137.
realization theory
138.
reduction theory
139.
refined zigzag theory
140.
regulatory focus theory
141.
sampling theory
142.
scapegoat theory
143.
search and matching theory
144.
self-determination theory
145.
self-determination theory of work motivation
146.
set theory
147.
shallow water theory
148.
shallow‐water theory
149.
sign theory
150.
signalling theory
151.
social exchange theory
152.
social identity theory
153.
social practice theory
154.
social presence theory
155.
social representation theory
156.
social system theory
157.
social systems theory
158.
sociological curriculum theory
159.
S-O-R theory
160.
speech-act theory
161.
stakeholder theory
162.
Stakeholder-oriented decision theory
163.
State Theory
164.
stimulus-organism-response theory
165.
stochastic learning theory
166.
strategic narrative theory
167.
strategic narrative theory
168.
Straussian theory model
169.
structuration theory
170.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
171.
switching theory
172.
synchronous reference frame theory
173.
system theory
174.
systems theory
175.
the RAT theory
176.
theory
177.
theory and practice of meta-modelling with application in healthcare
178.
theory building
179.
theory of accounting
180.
Theory of computation
181.
Theory Of Constraints (TOC)
182.
theory of economic development
183.
theory of inventive problem solving (TRIZ)
184.
theory of natural disaster
185.
Theory of paradox
186.
theory of planned behavior
187.
theory of planned behaviour
188.
theory of signs
189.
theory of value
190.
theory selection
191.
ticked cubical type theory
192.
time-dependent density functional theory (TD-DFT)
193.
type theory
194.
unified theory of acceptance and use of technology
195.
value theory
196.
virtual disc theory
197.
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