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/217)
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
213
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.
Fully Convolutional Network (FCN)
54.
Generative Adversarial Network (GaN)
55.
global innovation network
56.
Graph Convolutional Neural Network (GCN)
57.
GraphSAGE (Graph Based Neural Network)
58.
heterogeneous network
59.
hydraulic network model
60.
hypar-network
61.
impedance network
62.
impedance network
63.
impedance source (IS) network
64.
Impedance Source Network
65.
impedance-source network
66.
in-network data processing
67.
innovation network
68.
innovation network agent
69.
joint network-channel coding
70.
knowledge network
71.
levelling network
72.
line impedance stabilization network
73.
linear Delta robots neural network based model
74.
LSTM neural network
75.
lumped parameter network
76.
lumped parameter thermal network
77.
lumped-parameter thermal network
78.
Magnetically Coupled Impedance Source Network (MCIS)
79.
memory network
80.
Mesh Network
81.
modified network cohesion
82.
MRAN (minimum resource allocation network)
83.
nanosheets network
84.
NB-IoT network
85.
NetFlow based network monitoring
86.
network
87.
network access charges
88.
network analysis
89.
network anomaly detection
90.
network architecture
91.
network calculus
92.
network characteristics
93.
network communication technologies
94.
network constraint
95.
network disaggregation
96.
network dynamics
97.
network expansion planning
98.
network externality
99.
network forensics
100.
network function virtualization
101.
network functions virtualization (NFV)
102.
network governance
103.
network IDS alert classification
104.
network industries
105.
network industry
106.
network intrusion detection system
107.
network latencies
108.
network layer
109.
Network lifetime
110.
network measurement
111.
network monitoring
112.
network of co-authorships
113.
network on chip
114.
Network on Chip (NoC)
115.
network partners
116.
network protocol reverse engineering
117.
network protocols
118.
Network QoS
119.
network quality
120.
Network reliability
121.
network resilience
122.
network safety ranking
123.
network security
124.
network security monitoring
125.
network slicing
126.
network sparsification
127.
network studies
128.
network theory
129.
network topologies
130.
network topology
131.
network uncertainties
132.
Network visualization
133.
network-on-chip
134.
network-on-ReRAM
135.
network-testing
136.
neural network
137.
neural network architecture search
138.
neural network controller
139.
neural network modelling
140.
neural network models
141.
neural network positioning algorithms
142.
neural network predictive controller
143.
nitrogen-cycling network
144.
non-public network
145.
non-terrestrial network
146.
open value network
147.
partner network
148.
partner network
149.
partner network (PN)
150.
partner network maturity
151.
passive switched capacitor network
152.
PC-corr network
153.
peer to peer network
154.
performance dialogue network
155.
personal area network applications
156.
pervasive public safety network
157.
phosphotransfer network
158.
power delivery network
159.
power distribution network
160.
production in network
161.
proteomic network
162.
public safety network
163.
qZS network
164.
quasi-impedance-source network
165.
quasi-Z-source network
166.
Radial Basis Function Neural Network (RBFNN)
167.
radio access network
168.
radio access network (RAN)
169.
radio access network subslicing
170.
random resistor network
171.
recurrent neural network language model
172.
reluctance network (RN)
173.
research network
174.
Residual Neural Network
175.
road network
176.
roof network
177.
route network
178.
self organizing network
179.
smart distribution network
180.
SMEs network
181.
social network
182.
social network analysis
183.
software-defined network
184.
spiking neural network (SNN)
185.
stretchable network
186.
support network activities
187.
sustainable partner network
188.
sustainable partner network (SPN)
189.
switched capacitor inductor network (SCLN)
190.
Z-source network
191.
technology transfer network
192.
telecommunication network management
193.
telecommunication network performance
194.
Ternary Neural Network
195.
the influence of DHW consumption on dimensioning the DH network
196.
thermal network
197.
tide gauge network
198.
transformer-based neural network
199.
UAV-enabled network
200.
underwater sensor network
201.
Urban Network
202.
utility network
203.
value network analysis
204.
water distribution network
205.
wireless ad hoq network
206.
wireless body area network
207.
Wireless Body Area Network (WBAN)
208.
wireless network
209.
wireless sensor network
210.
wireless sensor network (WSN)
211.
wsn (wireless sensor network)
212.
3D graphene network
213.
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