E-LIB Suche - Ergebnisse für: Cristescu, Ioana

1

Expressiveness of concurrent intensionality:

Cristescu, Ioana ; Given-Wilson, Thomas ; Legay, Axel
Theoretical Computer Science. 837 (2020) - p. 54-83 , 2020

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

2

End-to-end information flow security for web services orche..:

Ben Said, Najah ; Cristescu, Ioana
Science of Computer Programming. 187 (2020) - p. 102376 , 2020

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

3

Security Analysis of IoT Systems Using Attack Trees:

, In: Graphical Models for Security; Lecture Notes in Computer Science,

Beaulaton, Delphine ; Said, Najah Ben ; Cristescu, Ioana. - p. 68-94 , 2019

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

4

Counters in Kappa: Semantics, Simulation, and Static Analys..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Boutillier, Pierre ; Cristescu, Ioana ; Feret, Jérôme - p. 176-204 , 2019

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

5

The Kappa platform for rule-based modeling:

Boutillier, Pierre ; Maasha, Mutaamba ; Li, Xing...
Bioinformatics. 34 (2018) 13 - p. i583-i592 , 2018

Link: https://doi.org/10.1093/..

6

A Modeling Language for Security Threats of IoT Systems:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Beaulaton, Delphine ; Cristescu, Ioana ; Legay, Axel. - p. 258-268 , 2018

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

7

Contextual equivalences in configuration structures and rev..:

Aubert, Clément ; Cristescu, Ioana
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 77-106 , 2017

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

8

Termination in a π-calculus with subtyping:

CRISTESCU, IOANA ; HIRSCHKOFF, DANIEL
Mathematical Structures in Computer Science. 26 (2015) 8 - p. 1395-1432 , 2015

Link: https://doi.org/10.1017/..

9

A Compositional Semantics for the Reversible p-Calculus:

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

Cristescu, Ioana ; Krivine, Jean ; Varacca, Daniele - p. 388-397 , 2013

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

10

Model about the separation of molecular species of hydrogen..:

Cristescu, I. ; Cristescu, Ioana ; Poenariu, V...
Fusion Engineering and Design. 49-50 (2000) - p. 799-804 , 2000

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

11

Determination of heat transfer coefficients for hydrogen co..:

Cristescu, Ion ; Cristescu, Ioana ; Zamfirache, M.
International Journal of Thermal Sciences. 39 (2000) 6 - p. 659-666 , 2000

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

12

Uncertainty Assessment and Analysis of ITER in-VV Tritium I..:

Cristescu, Ioana R. ; Cristescu, I. ; Glugla, M...
Fusion Science and Technology. 54 (2008) 1 - p. 9-13 , 2008

Link: https://doi.org/10.13182..

13

Modeled Tritium Inventories Within the ITER Fuel Cycle Syst..:

Cristescu, Ioana R. ; Cristescu, I. ; Day, Ch...
Fusion Science and Technology. 52 (2007) 3 - p. 659-666 , 2007

Link: https://doi.org/10.13182..

14

Commissioning of water detritiation and cryogenic distillat..:

Cristescu, I. ; Cristescu, Ioana R. ; Dörr, L....
Fusion Engineering and Design. 82 (2007) 15-24 - p. 2126-2132 , 2007

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

15

Hydrogen isotope separation by permeation through palladium..:

Glugla, Manfred ; Cristescu, Ioana Ruxandra ; Cristescu, Ion.
Journal of Nuclear Materials. 355 (2006) 1-3 - p. 47-53 , 2006

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