E-LIB Suche - Ergebnisse für: Fabián, Martin

1

A simple approach to novel 1,3-diamino-1,3-dideoxydihydrosp..:

Fábian, Martin ; Vargová, Kristína ; Pončáková, Tatiana...
Tetrahedron Letters. 141 (2024) - p. 155069 , 2024

2

On Input Generators for Cyber–Physical Systems Falsificatio:

Ramezani, Zahra ; Donzé, Alexandre ; Fabian, Martin.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 4 - p. 1274-1287 , 2024

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

3

On proving that an unsafe controller is not proven safe:

Selvaraj, Yuvaraj ; Krook, Jonas ; Ahrendt, Wolfgang.
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100939 , 2024

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

4

A 'Chiron' approach to novel phytosphingosine mimetics base..:

Raschmanová, Jana Špaková ; Fazekašová, Simona ; Martinková, Miroslava...
Carbohydrate Research. 541 (2024) - p. 109158 , 2024

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

5

Heterogeneity of adsorption and reaction sites on the surfa..:

Shopska, Maya ; Tenchev, Krassimir ; Kadinov, Georgi...
Reaction Kinetics, Mechanisms and Catalysis. 137 (2024) 4 - p. 2147-2171 , 2024

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

6

Robust stutter bisimulation for abstraction and controller ..:

Krook, Jonas ; Malik, Robi ; Mohajerani, Sahar.
Automatica. 160 (2024) - p. 111394 , 2024

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

7

Supervisory Control Synthesis of Timed Automata Using Forci..:

Rashidinejad, Aida ; Reniers, Michel ; Fabian, Martin
IEEE Transactions on Automatic Control. 69 (2024) 2 - p. 1074-1080 , 2024

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

8

An approach to pyrrolidine-containing sphingomimetics based..:

Špaková Raschmanová, Jana ; Fábian, Martin ; Sudzina, Adam...
Tetrahedron. 153 (2024) - p. 133843 , 2024

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

9

Mechanosynthesis and electrical conductivity of undoped and..:

Fabián, Martin ; Arias-Serrano, Blanca I. ; Briančin, Jaroslav.
Journal of Alloys and Compounds. 965 (2023) - p. 171374 , 2023

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

10

Properties of Mechanochemically Synthesized Famatinite Cu3S..:

Dutková, Erika ; Kováč, Jaroslav ; Kováč Jr., Jaroslav...
Micro. 3 (2023) 2 - p. 458-470 , 2023

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

11

Conflict-free electric vehicle routing problem: an improved..:

Roselli, Sabino Francesco ; Fabian, Martin ; Åkesson, Knut
Discrete Event Dynamic Systems. 34 (2023) 1 - p. 21-51 , 2023

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

12

High-entropy oxychloride increasing the stability of Li–sul..:

Zukalová, Markéta ; Fabián, Martin ; Porodko, Olena...
RSC Advances. 13 (2023) 25 - p. 17008-17016 , 2023

Link: https://doi.org/10.1039/..

13

The IEQ Occupant Manikin: a holistic indoor environmental q..:

Rohde, Lasse ; Johra, Hicham ; Jensen, Rasmus Lund...
Journal of Physics: Conference Series. 2654 (2023) 1 - p. 012138 , 2023

Link: https://doi.org/10.1088/..

14

Correction to: On How to Not Prove Faulty Controllers Safe ..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Selvaraj, Yuvaraj ; Krook, Jonas ; Ahrendt, Wolfgang. - p. C1-C1 , 2023

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

15

Divergent access to a novel 3,4-diaminophytosphingosine-lik..:

Fábian, Martin ; Novotná, Michaela ; Raschmanová, Jana Špaková...
Carbohydrate Research. 530 (2023) - p. 108874 , 2023

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