Search for persons
X
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
1
Formalizing Statistical Causality via Modal Logic:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
2
Program Logic for Higher-Order Probabilistic Programs in Is..:
, In:
?
Lecture Notes in Computer Science; HCI International 2022 – Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence ,
3
Human-Centered Artificial Intelligence: Beyond a Two-Dimens..:
, In:
?
2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI) ,
4
Optimization of EV bus charging schedule by stochastic prog..:
, In:
?
2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI) ,
5
Operational Planning of Fixed-Route Buses Considering the C..:
, In:
?
Modelling, Computation and Optimization in Information Systems and Management Sciences; Lecture Notes in Networks and Systems ,
6
Optimal Operation Model of Heat Pump for Multiple Residence:
, In:
?
Modelling, Computation and Optimization in Information Systems and Management Sciences; Lecture Notes in Networks and Systems ,
7
Stochastic Programming Model for Lateral Transshipment Cons..:
, In:
?
2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI) ,
8
New Methods to Solve Vehicle Routing Problem Considering St..:
, In:
?
2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI) ,
9
Revenue management problem considering overbooking in the a..:
, In:
?
2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI) ,
10
Solution methods in generator operation optimization consid..:
, In:
?
2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI) ,
11
Solution Algorithm for The Multi-period Inventory Transship..:
, In:
?
2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI) ,
12
Operation planning for heat pump in multiple residences con..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
13
Graded Hoare Logic and its Categorical Semantics:
, In:
?
Modelling, Computation and Optimization in Information Systems and Management Sciences; Lecture Notes in Networks and Systems ,
14
Revenue Management Problem via Stochastic Programming in th..:
, In:
?
Advances in Intelligent Systems and Computing; Optimization of Complex Systems: Theory, Models, Algorithms and Applications ,
15