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

On the importance of predictor choice, modelling technique,..:

Čengić, Mirza ; Rost, Jasmijn ; Remenska, Daniela...
Ecology and Evolution.  10 (2020)  21 - p. 12307-12317 , 2020
Link: https://doi.org/10.1002/..
 
?
2

Using model checking to analyze the system behavior of the ..:

Remenska, Daniela ; Willemse, Tim A.C. ; Verstoep, Kees..
Future Generation Computer Systems.  29 (2013)  8 - p. 2239-2251 , 2013
Link: https://doi.org/10.1016/..
 
?
3

Using Model Checking to Analyze the System Behavior of the ..:

, In: Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012),
Remenska, Daniela ; Willemse, Tim A. C. ; Verstoep, Kees... - p. 335-343 , 2012
Link: https://dl.acm.org/doi/1..
 
?
4

On the importance of predictor choice, modelling technique,..:

Čengić, Mirza ; Rost, Jasmijn ; Remenska, Daniela...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7663074/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
5

The LHCb Distributed computing model and operations during ..:

Roiser, Stefan ; Casajus, Adrian ; Cattaneo, Marco...
ispartofbook:Proceedings of Science.  , 2015
Link: http://hdl.handle.net/11..
 
?
6

Property Specification Made Easy: Harnessing the Power of M..:

Remenska, Daniela ; Willemse, Tim ; Templon, Jeff..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-43613-4_2.  , 2014
Link: https://hal.inria.fr/hal..
 
?
7

Property specification made easy : harnessing the power of ..:

Remenska, D Daniela ; Willemse, TAC Tim ; Templon, JA.. , 2014
Link: http://repository.tue.nl..
 
?
8

Property Specification Made Easy: Harnessing the Power of M..:

Remenska, Daniela ; Willemse, Tim ; Templon, Jeff..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-43613-4_2.  , 2014
Link: https://hal.inria.fr/hal..
 
?
9

Using model checking to analyze the system behavior of the ..:

Remenska, D Daniela ; Willemse, TAC Tim ; Verstoep, K..
ISSN:0167-739X.  , 2013
Link: http://repository.tue.nl..
 
?
10

From UML to process algebra and back : an automated approac..:

Remenska, D Daniela ; Templon, JA ; Willemse, TAC Tim... , 2013
Link: http://repository.tue.nl..
 
?
11

Using model checking to analyze the system behavior of the ..:

Remenska, D Daniela ; Willemse, TAC Tim ; Verstoep, K... , 2012
Link: http://repository.tue.nl..
 
?
12

Analysis of DIRAC's behavior using model checking with proc..:

Remenska, D Daniela ; Templon, JA ; Willemse, TAC Tim... , 2012
Link: http://repository.tue.nl..
 
?
13

Optimization of large scale data analysis in LHCb:

Remenska, D Daniela ; Aaij, R ; Raven, G... , 2011
Link: http://repository.tue.nl..
 
?
14

DIRACGrid/DIRAC: v8.0.21:

Andrei Tsaregorodtsev ; fstagni ; Philippe Charpentier...
https://github.com/DIRACGrid/DIRAC/tree/v8.0.21.  , 2023
Link: https://zenodo.org/recor..
 
?
15

DIRACGrid/DIRAC: v8.1.0a21:

Andrei Tsaregorodtsev ; fstagni ; Philippe Charpentier...
https://github.com/DIRACGrid/DIRAC/tree/v8.1.0a21.  , 2023
Link: https://zenodo.org/recor..
 
1-15