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