Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
network games (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(3/221)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
Number of records 1, displaying
1 - 1
keyword
217
1.
network games
2.
digital games
3.
esports games
4.
games
5.
open games
6.
PUBG games
7.
serious games
8.
serious games analytics
9.
active distribution network management
10.
Adaptive network-based fuzzy inference system (ANFIS)
11.
aec distribution network
12.
analytical flow network analysis
13.
analytical network process
14.
ANDROID network
15.
artificial neural network
16.
A-source network
17.
autoservice network
18.
Bayesian belief network (BBN)
19.
bayesian network (BN)
20.
Binarized Neural Network (BNN)
21.
building site network
22.
business network model
23.
cable network
24.
carbon nanotube network
25.
cascaded forward neural network (CFNN)
26.
cognitive body area network
27.
collaborative network
28.
computer network management
29.
computer network operations
30.
connection network codes
31.
Controller Area Network
32.
Convolutional Neural Network
33.
convolutional neural network (CNN)
34.
coolant network
35.
deep convolutional neural network
36.
deep learning network
37.
deep neural network
38.
deep neural network compression
39.
DH network
40.
distribution network
41.
distribution network
42.
district heat network
43.
district heating network
44.
electric network analysis
45.
electric network parameters
46.
electrical network
47.
emergency network
48.
Event Processing Network (EPN)
49.
Event Processing Network Model
50.
feedforward neural network (FFNN)
51.
flow network analysis
52.
flow network parameters
53.
flying inductor network
54.
Fully Convolutional Network (FCN)
55.
Generative Adversarial Network (GaN)
56.
global innovation network
57.
Graph Convolutional Neural Network (GCN)
58.
GraphSAGE (Graph Based Neural Network)
59.
heterogeneous network
60.
hydraulic network model
61.
hypar-network
62.
impedance network
63.
impedance network
64.
impedance source (IS) network
65.
Impedance Source Network
66.
impedance-source network
67.
in-network data processing
68.
innovation network
69.
innovation network agent
70.
joint network-channel coding
71.
knowledge network
72.
levelling network
73.
line impedance stabilization network
74.
linear Delta robots neural network based model
75.
local network alignment
76.
LSTM neural network
77.
lumped parameter network
78.
lumped parameter thermal network
79.
lumped-parameter thermal network
80.
Magnetically Coupled Impedance Source Network (MCIS)
81.
memory network
82.
Mesh Network
83.
modified network cohesion
84.
MRAN (minimum resource allocation network)
85.
nanosheets network
86.
NB-IoT network
87.
NetFlow based network monitoring
88.
network
89.
network access charges
90.
network analysis
91.
network anomaly detection
92.
network architecture
93.
network calculus
94.
network characteristics
95.
network communication technologies
96.
network constraint
97.
network disaggregation
98.
network dynamics
99.
network expansion planning
100.
network externality
101.
network forensics
102.
network function virtualization
103.
network functions virtualization (NFV)
104.
network governance
105.
network IDS alert classification
106.
network industries
107.
network industry
108.
network intrusion detection system
109.
network latencies
110.
network layer
111.
Network lifetime
112.
network measurement
113.
network monitoring
114.
network of co-authorships
115.
network on chip
116.
Network on Chip (NoC)
117.
network partners
118.
network protocol reverse engineering
119.
network protocols
120.
Network QoS
121.
network quality
122.
Network reliability
123.
network resilience
124.
network safety ranking
125.
network security
126.
network security monitoring
127.
network slicing
128.
network sparsification
129.
network studies
130.
network theory
131.
network topologies
132.
network topology
133.
network uncertainties
134.
Network visualization
135.
network-on-chip
136.
network-on-ReRAM
137.
network-testing
138.
neural network
139.
neural network architecture search
140.
neural network controller
141.
neural network modelling
142.
neural network models
143.
neural network positioning algorithms
144.
neural network predictive controller
145.
nitrogen-cycling network
146.
non-public network
147.
non-terrestrial network
148.
open value network
149.
partner network
150.
partner network
151.
partner network (PN)
152.
partner network maturity
153.
passive switched capacitor network
154.
PC-corr network
155.
peer to peer network
156.
performance dialogue network
157.
personal area network applications
158.
pervasive public safety network
159.
phosphotransfer network
160.
power delivery network
161.
power distribution network
162.
production in network
163.
proteomic network
164.
public safety network
165.
qZS network
166.
qualitative network analysis
167.
quasi-impedance-source network
168.
quasi-Z-source network
169.
Radial Basis Function Neural Network (RBFNN)
170.
radio access network
171.
radio access network (RAN)
172.
radio access network subslicing
173.
random resistor network
174.
Recurrent Neural Network
175.
recurrent neural network language model
176.
reluctance network (RN)
177.
research network
178.
Residual Neural Network
179.
road network
180.
roof network
181.
route network
182.
self organizing network
183.
smart distribution network
184.
SMEs network
185.
social network
186.
social network analysis
187.
software-defined network
188.
spiking neural network (SNN)
189.
stretchable network
190.
support network activities
191.
sustainable partner network
192.
sustainable partner network (SPN)
193.
switched capacitor inductor network (SCLN)
194.
Z-source network
195.
technology transfer network
196.
telecommunication network management
197.
telecommunication network performance
198.
Ternary Neural Network
199.
the influence of DHW consumption on dimensioning the DH network
200.
thermal network
201.
tide gauge network
202.
transformer-based neural network
203.
UAV-enabled network
204.
underwater sensor network
205.
Urban Network
206.
utility network
207.
value network analysis
208.
water distribution network
209.
wireless ad hoq network
210.
wireless body area network
211.
Wireless Body Area Network (WBAN)
212.
wireless network
213.
wireless sensor network
214.
wireless sensor network (WSN)
215.
wsn (wireless sensor network)
216.
3D graphene network
217.
3D network topology visualization
TalTech subject term
2
1.
Erasmus Student Network
2.
Islamic Public Value Network
subject term
2
1.
European Access Network
2.
Network of Institutes and Schools of Public Administration in Central and Eastern Europe (NISPAcee)
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT