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