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
10
Look more..
(1/157)
Export
export all inquiry results
(10)
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
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 article
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
8
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
9
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
10
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 10, displaying
1 - 10
keyword
157
1.
category theory
2.
bicategory theory
3.
assessment category
4.
bimonoidal category
5.
closed category
6.
free monoidal category
7.
Locally graded category
8.
monoidal category
9.
symmetric monoidal category
10.
triangulated category
11.
a coherent theory of proofs
12.
activity theory
13.
adaptive structuration theory (AST)
14.
algebraic number theory
15.
algebraic theory
16.
algorithm design and theory
17.
beam theory
18.
catastrophe theory
19.
chaos theory
20.
coding theory
21.
cognitive theory
22.
commitment theory
23.
communication channels (information theory)
24.
complexity leadership theory
25.
complexity theory
26.
computation theory
27.
computer softwaregraph theory
28.
conservation of resources theory
29.
Consumer Culture Theory
30.
control theory
31.
Cooper-Helmstetter cell cycle theory
32.
cosmology: theory
33.
critical theory of technology
34.
cultural theory of international relations
35.
dark matter theory
36.
decision theory
37.
Dempster-Shafer theory
38.
Demster-Shafer Theory
39.
density functional theory
40.
dependent type theory
41.
design theory
42.
development theory
43.
Digital Government Theory: Development and Application
44.
dispersive theory
45.
domain theory
46.
ecological systems theory
47.
economic theory
48.
end of theory
49.
energetic impact theory
50.
evolutionary theory of policy capacity
51.
Flow theory
52.
formal language theory
53.
fully nonlinear potential theory
54.
game theory
55.
general systems theory
56.
general theory of information transfer
57.
general vibration theory
58.
graph theory
59.
gravitational waves / theory
60.
grounded theory
61.
group theory
62.
group threat theory
63.
higher-order beam theory
64.
History and Theory
65.
homotopy theory
66.
homotopy type theory
67.
housemoney effect prospect theory
68.
iceberg theory of culture
69.
image theory
70.
information theory
71.
innovation theory
72.
institutional theory
73.
intellectual capital theory
74.
interdependence theory
75.
inverse problem theory/applications
76.
inverse problems theory/applications
77.
job search theory
78.
Lawvere theory
79.
layer-wise displacement theory
80.
linear systems theory
81.
maritime investment theory
82.
mechanism design theory
83.
middle-range theory
84.
modern portfolio theory
85.
network theory
86.
nonlinear shallow water theory
87.
nonlinear shallow-water theory
88.
nonlinear strip theory
89.
nonlinear theory
90.
normal torsion theory
91.
number theory
92.
organization theory
93.
organizational theory
94.
peer‐to‐peer theory
95.
perceived customer value theory
96.
phase field theory
97.
picture theory
98.
protection motivation theory
99.
proto-theory of design
100.
punctuated equilibrium theory
101.
rational choice theory
102.
real options theory
103.
realization theory
104.
reduction theory
105.
refined zigzag theory
106.
regulatory focus theory
107.
sampling theory
108.
scapegoat theory
109.
search and matching theory
110.
self-determination theory
111.
self-determination theory of work motivation
112.
set theory
113.
shallow water theory
114.
shallow‐water theory
115.
sign theory
116.
signalling theory
117.
social identity theory
118.
social practice theory
119.
social presence theory
120.
social representation theory
121.
social system theory
122.
social systems theory
123.
sociological curriculum theory
124.
speech-act theory
125.
stakeholder theory
126.
Stakeholder-oriented decision theory
127.
State Theory
128.
stimulus-organism-response theory
129.
stochastic learning theory
130.
strategic narrative theory
131.
strategic narrative theory
132.
Straussian theory model
133.
structuration theory
134.
switching theory
135.
synchronous reference frame theory
136.
system theory
137.
systems theory
138.
the RAT theory
139.
theory
140.
theory and practice of meta-modelling with application in healthcare
141.
theory of accounting
142.
Theory Of Constraints (TOC)
143.
theory of economic development
144.
theory of inventive problem solving (TRIZ)
145.
theory of natural disaster
146.
Theory of paradox
147.
theory of planned behavior
148.
theory of planned behaviour
149.
theory of signs
150.
theory of value
151.
ticked cubical type theory
152.
time-dependent density functional theory (TD-DFT)
153.
type theory
154.
unified theory of acceptance and use of technology
155.
value theory
156.
virtual disc theory
157.
2D+T theory
×
vaste
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