Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lukina, Anna
118  Ergebnisse:
Personensuche X
?
1

The association between the Canadian active living environm..:

Dales, Robert ; Lukina, Anna ; Cakmak, Sabit
Environmental Research.  258 (2024)  - p. 119417 , 2024
Link: https://doi.org/10.1016/..
 
?
2

AI Verification: First International Symposium, SAIV 2024, .. 

Lecture Notes in Computer Science, 14846
Avni, Guy ; Giacobbe, Mirco ; Johnson, Taylor T... - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
3

Into the unknown: active monitoring of neural networks (ext..:

Kueffner, Konstantin ; Lukina, Anna ; Schilling, Christian.
International Journal on Software Tools for Technology Transfer.  25 (2023)  4 - p. 575-592 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Do blood metals influence lipid profiles? Findings of a cro..:

Cakmak, Sabit ; Mitchell, Kimberly ; Lukina, Anna.
Environmental Research.  231 (2023)  - p. 116107 , 2023
Link: https://doi.org/10.1016/..
 
?
5

Illegal annexation and state continuity: the case of the in..:

Lukina, Anna
Journal of Baltic Studies.  , 2023
Link: https://doi.org/10.1080/..
 
?
6

Does ambient air pollution influence biochemical markers of..:

Dales, Robert ; Mitchell, Kimberly ; Lukina, Anna...
Chemosphere.  340 (2023)  - p. 139859 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Urban Air Pollution and Emergency Department Visits for Neo..:

Szyszkowicz, Mieczysław ; Lukina, Anna ; Dinu, Tatiana
International Journal of Environmental Research and Public Health.  19 (2022)  9 - p. 5603 , 2022
Link: https://doi.org/10.3390/..
 
?
8

Between Exception and Normality: Schmittian Dictatorship an..:

Lukina, Anna
Ratio Juris.  35 (2022)  2 - p. 139-157 , 2022
Link: https://doi.org/10.1111/..
 
?
9

The association between blood PFAS concentrations and clini..:

Cakmak, Sabit ; Lukina, Anna ; Karthikeyan, Subramanian..
Science of The Total Environment.  827 (2022)  - p. 153900 , 2022
Link: https://doi.org/10.1016/..
 
?
10

Into the Unknown: Active Monitoring of Neural Networks:

, In: Runtime Verification; Lecture Notes in Computer Science,
Lukina, Anna ; Schilling, Christian ; Henzinger, Thomas A. - p. 42-61 , 2021
Link: https://doi.org/10.1007/..
 
?
11

The association between air pollution and COVID-19 related ..:

Dales, Robert ; Blanco-Vidal, Claudia ; Romero-Meza, Rafael...
Environmental Research.  198 (2021)  - p. 111284 , 2021
Link: https://doi.org/10.1016/..
 
?
12

Formal Methods with a Touch of Magic:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Alamdari, Par Alizadeh ; Avni, Guy ; Henzinger, Thomas A.. - p. 138-147 , 2020
Link: https://doi.org/10.34727..
 
?
13

Opening the Pandora's Box: Kelsen and the Communist theory ..:

Lukina, Anna
Jurisprudence.  11 (2020)  4 - p. 530-551 , 2020
Link: https://doi.org/10.1080/..
 
?
14

Statistical Model Checking:

, In: Lecture Notes in Computer Science; Computing and Software Science,
Legay, Axel ; Lukina, Anna ; Traonouez, Louis Marie... - p. 478-504 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Distributed adaptive-neighborhood control for stochastic re..:

, In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,
Lukina, Anna ; Tiwari, Ashish ; Smolka, Scott A.. - p. 914-921 , 2019
Link: https://dl.acm.org/doi/1..
 
1-15