E-LIB Suche - Ergebnisse für: Rychlicki, Mateusz - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Implementation of Remote Control for the AM 524 Antenna Amp..:

Nowosielski, Leszek ; Kelner, Jan M. ; Dudziński, Bartosz.
Electronics. 12 (2023) 21 - p. 4416 , 2023

Link: https://doi.org/10.3390/..

2

Poster Abstract: A Toolchain for Accelerated Symbolic Contr..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Majumdar, Rupak ; Mallik, Kaushik ; Rychlicki, Mateusz.. - p. 1-2 , 2023

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

3

A Flexible Toolchain for Symbolic Rabin Games under Fair an..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Majumdar, Rupak ; Mallik, Kaushik ; Rychlicki, Mateusz.. - p. 3-15 , 2023

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

4

Dynamic Data Structures for Parameterized String Problems:

Olkowski, J?drzej ; Pilipczuk, Micha? ; Rychlicki, Mateusz..
doi:10.4230/LIPIcs.STACS.2023.50. , 2023

Link: https://doi.org/10.4230/..

5

A flexible toolchain for symbolic rabin games under fair an..:

Majumdar, Rupak ; Mallik, Kaushik ; Rychlicki, Mateusz..
info:eu-repo/semantics/altIdentifier/doi/10.5281/ZENODO.7877790. , 2023

Link: https://research-explore..

6

A flexible toolchain for symbolic rabin games under fair an..:

Majumdar, Rupak ; Mallik, Kaushik ; Rychlicki, Mateusz..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-37709-9_1. , 2023

Link: https://research-explore..

7

Dynamic data structures for parameterized string problems:

Olkowski, Jędrzej ; Pilipczuk, Michał ; Rychlicki, Mateusz..
http://arxiv.org/abs/2205.00441. , 2022

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

8

A Flexible Toolchain for Symbolic Rabin Games under Fair an..:

Rupak Majumdar ; Kaushik Mallik ; Mateusz Rychlicki..
doi:10.5281/zenodo.7877790. , 2023

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

9

Implementation of Remote Control for the AM 524 Antenna Amp..:

Leszek Nowosielski ; Jan M. Kelner ; Bartosz Dudziński.
https://www.mdpi.com/2079-9292/12/21/4416. , 2023

Link: https://doi.org/10.3390/..

1-9