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
13
Vaata veel..
(1/204)
Ekspordi
ekspordi kõik päringu tulemused
(13)
Salvesta TXT 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 ajakirjas
Coinductive streams in monoidal categories
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
Logical methods in computer science
2025
/
p. 18:1–18:52 : ill
https://doi.org//10.46298/LMCS-21(3:18)2025
artikkel ajakirjas
2
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
3
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
4
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
5
artikkel kogumikus EST
/
artikkel kogumikus ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
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
Seotud publikatsioonid
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
6
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
7
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
8
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Protocol choice and iteration for the free cornering
Nester, Chad Mitchell
;
Voorneveld, Niels Frits Willem
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
9
artikkel kogumikus EST
/
artikkel kogumikus ENG
Slice nondeterminism
Voorneveld, Niels Frits Willem
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
10
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
11
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
12
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagrams for premonoidal categories
Roman Garcia, Mario
;
Sobocinski, Pawel Maria
Logical methods in computer science
2025
/
20 p. : ill
https://lmcs.episciences.org/15593/pdf
https://doi.org/10.46298/LMCS-21(2:9)2025
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
13
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 13, kuvan
1 - 13
võtmesõna
204
1.
category theory
2.
enriched category theory
3.
formal category theory
4.
bicategory theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
braided skew monoidal category
9.
closed category
10.
closed skew monoidal category
11.
cocomplete category
12.
copy-discard category
13.
cyclic category
14.
double category
15.
duplicial category
16.
free monoidal category
17.
Locally graded category
18.
monoidal category
19.
omega-category
20.
orbit category
21.
skew monoidal category
22.
skew-monoidal category
23.
slice 2-category
24.
slice category
25.
symmetric monoidal category
26.
symmetric monoidal closed category
27.
triangulated category
28.
virtual double category
29.
2-category
30.
a coherent theory of proofs
31.
activity theory
32.
adaptive structuration theory (AST)
33.
algebraic number theory
34.
algebraic theory
35.
algorithm design and theory
36.
beam theory
37.
behavioral reasoning theory
38.
Biot theory
39.
Bond theory
40.
Boolean Algebra Meets Graph-Theory
41.
catastrophe theory
42.
chaos theory
43.
coding theory
44.
cognitive theory
45.
commitment theory
46.
communication channels (information theory)
47.
Complex systems theory
48.
complexity leadership theory
49.
complexity theory
50.
computation theory
51.
computer softwaregraph theory
52.
conservation of resources theory
53.
consumer culture theory
54.
control and systems theory
55.
control theory
56.
Cooper-Helmstetter cell cycle theory
57.
cosmology theory
58.
cosmology: theory
59.
critical theory of technology
60.
cultural theory of international relations
61.
dark matter theory
62.
decision theory
63.
Dempster-Shafer theory
64.
Demster-Shafer Theory
65.
density functional theory
66.
density functional theory (DFT)
67.
dependent type theory
68.
design theory
69.
Dezert–Smarandache theory
70.
development theory
71.
Digital Government Theory: Development and Application
72.
dispersive theory
73.
domain theory
74.
dual-process theory
75.
Dynamic capability theory
76.
dynamic social impact theory (DSIT)
77.
ecological systems theory
78.
economic theory
79.
end of theory
80.
energetic impact theory
81.
engaged theory
82.
Euler Bernoulli beams theory
83.
evolutionary theory of policy capacity
84.
Flow theory
85.
formal language theory
86.
fully nonlinear potential theory
87.
game theory
88.
general systems theory
89.
general theory of information transfer
90.
general vibration theory
91.
graph theory
92.
gravitational waves / theory
93.
grounded theory
94.
group theory
95.
group threat theory
96.
higher-order beam theory
97.
History and Theory
98.
homotopy theory
99.
homotopy type theory
100.
housemoney effect prospect theory
101.
iceberg theory of culture
102.
image theory
103.
information theory
104.
innovation theory
105.
institutional theory
106.
intellectual capital theory
107.
interdependence theory
108.
inverse problem theory/applications
109.
inverse problems theory/applications
110.
job search theory
111.
language theory
112.
Lawvere theory
113.
layer-wise displacement theory
114.
linear systems theory
115.
macro-foundational theory
116.
maritime investment theory
117.
mechanism design theory
118.
meso-foundational theory
119.
micro-foundational theory
120.
middle-range theory
121.
mindlin plate theory
122.
modern portfolio theory
123.
network theory
124.
nonlinear shallow water theory
125.
nonlinear shallow-water theory
126.
nonlinear strip theory
127.
nonlinear theory
128.
normal torsion theory
129.
number theory
130.
organismic integration theory
131.
organization theory
132.
organizational theory
133.
peer‐to‐peer theory
134.
perceived customer value theory
135.
phase field theory
136.
picture theory
137.
protection motivation theory
138.
proto-theory of design
139.
public administration theory
140.
punctuated equilibrium theory
141.
quantum theory
142.
rational choice theory
143.
real options theory
144.
realization theory
145.
reduction theory
146.
refined zigzag theory
147.
regulatory focus theory
148.
sampling theory
149.
scapegoat theory
150.
search and matching theory
151.
self-determination theory
152.
self-determination theory of work motivation
153.
set theory
154.
shallow water theory
155.
shallow‐water theory
156.
sign theory
157.
signalling theory
158.
social exchange theory
159.
social identity theory
160.
social practice theory
161.
social presence theory
162.
social representation theory
163.
social system theory
164.
social systems theory
165.
sociological curriculum theory
166.
S-O-R theory
167.
speech-act theory
168.
stakeholder theory
169.
Stakeholder-oriented decision theory
170.
State Theory
171.
stimulus-organism-response theory
172.
stochastic learning theory
173.
strategic narrative theory
174.
strategic narrative theory
175.
Straussian theory model
176.
structuration theory
177.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
178.
switching theory
179.
synchronous reference frame theory
180.
system theory
181.
systems theory
182.
the RAT theory
183.
theory
184.
theory and practice of meta-modelling with application in healthcare
185.
theory building
186.
theory of accounting
187.
Theory of computation
188.
Theory Of Constraints (TOC)
189.
theory of economic development
190.
theory of inventive problem solving (TRIZ)
191.
theory of natural disaster
192.
Theory of paradox
193.
theory of planned behavior
194.
theory of planned behaviour
195.
theory of signs
196.
theory of value
197.
theory selection
198.
ticked cubical type theory
199.
time-dependent density functional theory (TD-DFT)
200.
type theory
201.
unified theory of acceptance and use of technology
202.
value theory
203.
virtual disc theory
204.
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