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