E-LIB Suche - Ergebnisse für: Eisenhut, Jan

1

Model Checking $$\omega $$-Regular Properties with Decouple..:

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

Gnad, Daniel ; Eisenhut, Jan ; Lluch Lafuente, Alberto. - p. 411-434 , 2021

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

2

Code and Benchmark Models of the CAV'21 paper "Model Checki..:

Gnad, Daniel ; Eisenhut, Jan ; Lluch Lafuente, Alberto.
doi:10.5281/zenodo.4501645. , 2021

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

3

Model Checking ω -Regular Properties with Decoupled Search:

Gnad, Daniel ; Eisenhut, Jan ; Lluch Lafuente, Alberto.
https://orbit.dtu.dk/en/publications/b80b8c83-8e2c-4f09-90d7-0339e567ab20. , 2021

Link: https://orbit.dtu.dk/en/..

4

Technical Report accompanying the TACAS'21 submission "Mode..:

Gnad, Daniel ; Eisenhut, Jan ; Lluch-Lafuente, Alberto.
doi:10.5281/zenodo.4091424. , 2020

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

5

Code and Benchmark Models of the TACAS'21 submission "Model..:

Gnad, Daniel ; Eisenhut, Jan ; Lluch-Lafuente, Alberto.
doi:10.5281/zenodo.4090482. , 2020

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

6

Different pain phenotypes are associated with anti-Caspr2 a..:

Greguletz, Patrik ; Plötz, Maria ; Baade-Büttner, Carolin...
Journal of Neurology. 271 (2024) 5 - p. 2736-2744 , 2024

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

7

Metabolome Phenotyping of Inorganic Carbon Limitation in Ce..:

Eisenhut, Marion ; Huege, Jan ; Schwarz, Doreen...
Plant Physiology. 148 (2008) 4 - p. 2109-2120 , 2008

Link: https://www.jstor.org/st..

8

Metabolome Phenotyping of Inorganic Carbon Limitation in Ce..:

Eisenhut, Marion ; Huege, Jan ; Schwarz, Doreen...
Plant Physiology. 148 (2008) 4 - p. 2109-2120 , 2008

Link: https://doi.org/10.1104/..

9

Enhanced tumor necrosis factor suppression and cyclic adeno..:

Sinha, Bhanu ; Semmler, Jan ; Eisenhut, Tobias..
European Journal of Immunology. 25 (1995) 1 - p. 147-153 , 1995

Link: https://doi.org/10.1002/..

10

[123I]VIP receptor scintigraphy in patients with pancreatic..:

Eisenhut, Gregory M. ; Haberkorn, Jan U.
European Journal of Nuclear Medicine. 27 (2000) 11 - p. 1589-1590 , 2000

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

11

Early Neuroaxonal Damage in Neurologic Disorders Associated..:

Eisenhut, Katharina ; Faber, Jennifer ; Prüß, Harald...
info:eu-repo/semantics/altIdentifier/pmid/pmid:37914416. , 2024

Link: https://pub.dzne.de/reco..

12

Early Neuroaxonal Damage in Neurologic Disorders Associated..:

Eisenhut, Katharina ; Faber, Jennifer ; Engels, Daniel...
TRR 274: Checkpoints of Central Nervous System Recovery. , 2024

Link: https://resolver.sub.uni..

13

Antibodies Against Glutamic Acid Decarboxylase 65 Are Local..:

Biljecki, Michelle ; Eisenhut, Katharina ; Beltrán, Eduardo...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9969496/. , 2023

Link: http://www.ncbi.nlm.nih...

14

Measurement of anti-$^3$He nuclei absorption in matter and ..:

Acharya, Shreyasi ; Adamova, Dagmar ; Ahuja, Ishaan...
info:eu-repo/semantics/altIdentifier/arxiv/arXiv:2202.01549. , 2023

Link: https://repository.gsi.d..

15

Measurement of prompt $D_s^+$-meson production and azimutha..:

Acharya, Shreyasi ; Adamova, Dagmar ; Ahuja, Ishaan...
info:eu-repo/semantics/altIdentifier/wos/WOS:000820935000037. , 2022

Link: https://repository.gsi.d..