E-LIB Suche - Ergebnisse für: Lukyanov, Georgy

1

Reputation for competence in a cheap-talk setting:

Lukyanov, Georgy
Research in Economics. 77 (2023) 3 - p. 285-294 , 2023

Link: https://doi.org/10.1016/..

2

Collateral and Reputation in a Model of Strategic Defaults:

Lukyanov, Georgy
Journal of Economic Dynamics and Control. 156 (2023) - p. , 2023

Link: https://ssrn.com/abstrac..

3

Collateral and reputation in a model of strategic defaults:

Lukyanov, Georgy
Journal of Economic Dynamics and Control. 156 (2023) - p. 104755 , 2023

Link: https://doi.org/10.1016/..

4

Verified symbolic execution with Kripke specification monad..:

Keuchel, Steven ; Huyghebaert, Sander ; Lukyanov, Georgy.
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 194-224 , 2022

Link: https://doi.org/10.1145/..

5

Public communication with externalities:

Lukyanov, Georgy ; Shamruk, Konstantin ; Su, Tong.
Games and Economic Behavior. 136 (2022) - p. 177-196 , 2022

Link: https://doi.org/10.1016/..

6

Intelligent and Secure Wireless Network Management of a Rai..:

, In: 2020 International Conference on Electrical, Communication, and Computer Engineering (ICECCE),

Mikhailova, Uliana ; Lukyanov, Georgy ; Kalugina, Olga - p. 1-6 , 2020

Link: https://doi.org/10.1109/..

7

Formal Verification of Spacecraft Control Programs:

Lukyanov, Georgy ; Mokhov, Andrey ; Lechner, Jakob
ACM Transactions on Embedded Computing Systems (TECS). 19 (2020) 5 - p. 1-18 , 2020

Link: https://dl.acm.org/doi/1..

8

Formal Verification of Spacecraft Control Programs:

Lukyanov, Georgy ; Mokhov, Andrey ; Lechner, Jakob
ACM Transactions on Embedded Computing Systems. 19 (2020) 5 - p. 1-18 , 2020

Link: https://doi.org/10.1145/..

9

Formal verification of spacecraft control programs (experie..:

, In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell,

Mokhov, Andrey ; Lukyanov, Georgy ; Lechner, Jakob - p. 139-145 , 2019

Link: https://dl.acm.org/doi/1..

10

Selective applicative functors:

Mokhov, Andrey ; Lukyanov, Georgy ; Marlow, Simon.
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

11

Selective applicative functors:

Mokhov, Andrey ; Lukyanov, Georgy ; Marlow, Simon.
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

12

Language and Hardware Acceleration Backend for Graph Proces..:

, In: Lecture Notes in Electrical Engineering; Languages, Design Methods, and Tools for Electronic System Design,

Mokhov, Andrey ; Gennaro, Alessandro de ; Tarawneh, Ghaith... - p. 71-88 , 2018

Link: https://doi.org/10.1007/..

13

Verified Symbolic Execution with Kripke Specification Monad..:

Keuchel, Steven ; Huyghebaert, Sander ; Lukyanov, Georgy.
doi:10.5281/zenodo.6606507. , 2022

Link: https://zenodo.org/recor..

14

Verified Symbolic Execution with Kripke Specification Monad..:

Keuchel, Steven ; Huyghebaert, Sander ; Lukyanov, Georgy.
doi:10.5281/zenodo.6606507. , 2022

Link: https://zenodo.org/recor..

15

Formal Verification of Spacecraft Control Programs Using a ..:

Mokhov, Andrey ; Lukyanov, Georgy ; Lechner, Jakob
http://arxiv.org/abs/1802.01738. , 2018

Link: http://arxiv.org/abs/180..