E-LIB Suche - Ergebnisse für: Orlikowski, Lukasz

1

Reachability in Vector Addition Systems is Ackermann-comple..:

, In: 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS),

Czerwinski, Wojciech ; Orlikowski, Lukasz - p. 1229-1240 , 2022

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

2

Lower Bounds for the Reachability Problem in Fixed Dimensio..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Czerwinski, Wojciech ; Orlikowski, Lukasz - p. 1-12 , 2022

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

3

New Lower Bounds for Reachability in Vector Addition System:

Czerwiński, Wojciech ; Jecker, Ismaël ; Lasota, Sławomir..
Is Part Of LIPIcs, Volume 284, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023). , 2023

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

4

New Lower Bounds for Reachability in Vector Addition System:

Czerwiński, Wojciech ; Jecker, Ismaël ; Lasota, Sławomir..
http://arxiv.org/abs/2310.09008. , 2023

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

5

Lower Bounds for the Reachability Problem in Fixed Dimensio..:

Czerwiński, Wojciech ; Orlikowski, Łukasz
http://arxiv.org/abs/2203.04243. , 2022

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

6

Reachability in Vector Addition Systems is Ackermann-comple..:

Czerwiński, Wojciech ; Orlikowski, Łukasz
http://arxiv.org/abs/2104.13866. , 2021

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

7

The parameterization of the demand for machinery as a Dimen..:

Jarecki, Witold ; Wieruszewski, Marek ; Pałubicki, Bartosz...
MATEC Web of Conferences. 338 (2021) - p. 01013 , 2021

Link: https://doi.org/10.1051/..

8

Recent research in VLSI, MEMS and power devices with practi..:

Napieralski, Andrzej ; Maj, Cezary ; Szermer, Michal...
Facta universitatis - series: Electronics and Energetics. 27 (2014) 4 - p. 561-588 , 2014

Link: https://doi.org/10.2298/..

9

The parameterization of the demand for machinery as a Dimen..:

Jarecki Witold ; Wieruszewski Marek ; Pałubicki Bartosz...
https://www.matec-conferences.org/articles/matecconf/pdf/2021/07/matecconf_prmr21_01013.pdf. , 2021

Link: https://doi.org/10.1051/..

10

RECENT RESEARCH IN VLSI, MEMS AND POWER DEVICES WITH PRACTI..:

Napieralski, Andrzej ; Maj, Cezary ; Szermer, Michal...
http://casopisi.junis.ni.ac.rs/index.php/FUElectEnerg/article/view/512/244. , 2014

Link: http://casopisi.junis.ni..