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/196)
Ekspordi
ekspordi kõik päringu tulemused
(11)
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 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-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
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
196
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.
ecological systems theory
71.
economic theory
72.
end of theory
73.
energetic impact theory
74.
engaged theory
75.
Euler Bernoulli beams theory
76.
evolutionary theory of policy capacity
77.
Flow theory
78.
formal language theory
79.
fully nonlinear potential theory
80.
game theory
81.
general systems theory
82.
general theory of information transfer
83.
general vibration theory
84.
graph theory
85.
gravitational waves / theory
86.
grounded theory
87.
group theory
88.
group threat theory
89.
higher-order beam theory
90.
History and Theory
91.
homotopy theory
92.
homotopy type theory
93.
housemoney effect prospect theory
94.
iceberg theory of culture
95.
image theory
96.
information theory
97.
innovation theory
98.
institutional theory
99.
intellectual capital theory
100.
interdependence theory
101.
inverse problem theory/applications
102.
inverse problems theory/applications
103.
job search theory
104.
language theory
105.
Lawvere theory
106.
layer-wise displacement theory
107.
linear systems theory
108.
macro-foundational theory
109.
maritime investment theory
110.
mechanism design theory
111.
meso-foundational theory
112.
micro-foundational theory
113.
middle-range theory
114.
mindlin plate theory
115.
modern portfolio theory
116.
network theory
117.
nonlinear shallow water theory
118.
nonlinear shallow-water theory
119.
nonlinear strip theory
120.
nonlinear theory
121.
normal torsion theory
122.
number theory
123.
organismic integration theory
124.
organization theory
125.
organizational theory
126.
peer‐to‐peer theory
127.
perceived customer value theory
128.
phase field theory
129.
picture theory
130.
protection motivation theory
131.
proto-theory of design
132.
public administration theory
133.
punctuated equilibrium theory
134.
rational choice theory
135.
real options theory
136.
realization theory
137.
reduction theory
138.
refined zigzag theory
139.
regulatory focus theory
140.
sampling theory
141.
scapegoat theory
142.
search and matching theory
143.
self-determination theory
144.
self-determination theory of work motivation
145.
set theory
146.
shallow water theory
147.
shallow‐water theory
148.
sign theory
149.
signalling theory
150.
social exchange theory
151.
social identity theory
152.
social practice theory
153.
social presence theory
154.
social representation theory
155.
social system theory
156.
social systems theory
157.
sociological curriculum theory
158.
S-O-R theory
159.
speech-act theory
160.
stakeholder theory
161.
Stakeholder-oriented decision theory
162.
State Theory
163.
stimulus-organism-response theory
164.
stochastic learning theory
165.
strategic narrative theory
166.
strategic narrative theory
167.
Straussian theory model
168.
structuration theory
169.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
170.
switching theory
171.
synchronous reference frame theory
172.
system theory
173.
systems theory
174.
the RAT theory
175.
theory
176.
theory and practice of meta-modelling with application in healthcare
177.
theory building
178.
theory of accounting
179.
Theory of computation
180.
Theory Of Constraints (TOC)
181.
theory of economic development
182.
theory of inventive problem solving (TRIZ)
183.
theory of natural disaster
184.
Theory of paradox
185.
theory of planned behavior
186.
theory of planned behaviour
187.
theory of signs
188.
theory of value
189.
theory selection
190.
ticked cubical type theory
191.
time-dependent density functional theory (TD-DFT)
192.
type theory
193.
unified theory of acceptance and use of technology
194.
value theory
195.
virtual disc theory
196.
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