Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
category theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
11
Vaata veel..
(1/159)
Ekspordi
ekspordi kõik päringu tulemused
(11)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
2
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3
artikkel kogumikus
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
artikkel kogumikus
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
4
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
5
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
6
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
7
artikkel ajakirjas
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
artikkel ajakirjas
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
8
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
9
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
10
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
11
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 11, kuvan
1 - 11
võtmesõna
159
1.
category theory
2.
bicategory theory
3.
assessment category
4.
bimonoidal category
5.
closed category
6.
cocomplete category
7.
free monoidal category
8.
Locally graded category
9.
monoidal category
10.
slice category
11.
symmetric monoidal category
12.
triangulated category
13.
a coherent theory of proofs
14.
activity theory
15.
adaptive structuration theory (AST)
16.
algebraic number theory
17.
algebraic theory
18.
algorithm design and theory
19.
beam theory
20.
catastrophe theory
21.
chaos theory
22.
coding theory
23.
cognitive theory
24.
commitment theory
25.
communication channels (information theory)
26.
complexity leadership theory
27.
complexity theory
28.
computation theory
29.
computer softwaregraph theory
30.
conservation of resources theory
31.
Consumer Culture Theory
32.
control theory
33.
Cooper-Helmstetter cell cycle theory
34.
cosmology: theory
35.
critical theory of technology
36.
cultural theory of international relations
37.
dark matter theory
38.
decision theory
39.
Dempster-Shafer theory
40.
Demster-Shafer Theory
41.
density functional theory
42.
dependent type theory
43.
design theory
44.
development theory
45.
Digital Government Theory: Development and Application
46.
dispersive theory
47.
domain theory
48.
ecological systems theory
49.
economic theory
50.
end of theory
51.
energetic impact theory
52.
evolutionary theory of policy capacity
53.
Flow theory
54.
formal language theory
55.
fully nonlinear potential theory
56.
game theory
57.
general systems theory
58.
general theory of information transfer
59.
general vibration theory
60.
graph theory
61.
gravitational waves / theory
62.
grounded theory
63.
group theory
64.
group threat theory
65.
higher-order beam theory
66.
History and Theory
67.
homotopy theory
68.
homotopy type theory
69.
housemoney effect prospect theory
70.
iceberg theory of culture
71.
image theory
72.
information theory
73.
innovation theory
74.
institutional theory
75.
intellectual capital theory
76.
interdependence theory
77.
inverse problem theory/applications
78.
inverse problems theory/applications
79.
job search theory
80.
Lawvere theory
81.
layer-wise displacement theory
82.
linear systems theory
83.
maritime investment theory
84.
mechanism design theory
85.
middle-range theory
86.
modern portfolio theory
87.
network theory
88.
nonlinear shallow water theory
89.
nonlinear shallow-water theory
90.
nonlinear strip theory
91.
nonlinear theory
92.
normal torsion theory
93.
number theory
94.
organization theory
95.
organizational theory
96.
peer‐to‐peer theory
97.
perceived customer value theory
98.
phase field theory
99.
picture theory
100.
protection motivation theory
101.
proto-theory of design
102.
punctuated equilibrium theory
103.
rational choice theory
104.
real options theory
105.
realization theory
106.
reduction theory
107.
refined zigzag theory
108.
regulatory focus theory
109.
sampling theory
110.
scapegoat theory
111.
search and matching theory
112.
self-determination theory
113.
self-determination theory of work motivation
114.
set theory
115.
shallow water theory
116.
shallow‐water theory
117.
sign theory
118.
signalling theory
119.
social identity theory
120.
social practice theory
121.
social presence theory
122.
social representation theory
123.
social system theory
124.
social systems theory
125.
sociological curriculum theory
126.
speech-act theory
127.
stakeholder theory
128.
Stakeholder-oriented decision theory
129.
State Theory
130.
stimulus-organism-response theory
131.
stochastic learning theory
132.
strategic narrative theory
133.
strategic narrative theory
134.
Straussian theory model
135.
structuration theory
136.
switching theory
137.
synchronous reference frame theory
138.
system theory
139.
systems theory
140.
the RAT theory
141.
theory
142.
theory and practice of meta-modelling with application in healthcare
143.
theory of accounting
144.
Theory Of Constraints (TOC)
145.
theory of economic development
146.
theory of inventive problem solving (TRIZ)
147.
theory of natural disaster
148.
Theory of paradox
149.
theory of planned behavior
150.
theory of planned behaviour
151.
theory of signs
152.
theory of value
153.
ticked cubical type theory
154.
time-dependent density functional theory (TD-DFT)
155.
type theory
156.
unified theory of acceptance and use of technology
157.
value theory
158.
virtual disc theory
159.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT