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