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