Ene, Cristian D.
194  Ergebnisse:
Personensuche X
?
1

Function Synthesis for Maximizing Model Counting:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Vigouroux, Thomas ; Bozga, Marius ; Ene, Cristian. - p. 258-279 , 2023
 
?
 
?
7

Water denitration over titania-supported Pt and Cu by combi..:

Vasile, Anca ; Papa, Florica ; Bratan, Veronica...
Journal of Environmental Chemical Engineering.  10 (2022)  2 - p. 107129 , 2022
 
?
8

BaxMC: a CEGAR approach to Max#SAT:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Vigouroux, Thomas ; Ene, Cristian ; Monniaux, David.. - p. 170-178 , 2022
 
?
10

Countermeasures Optimization in Multiple Fault-Injection Co..:

, In: 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC),
 
?
13

Output-Sensitive Information Flow Analysis:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
 
?
15

Coordination polymers and a dinuclear complex constructed f..:

Răducă, Mihai ; Ene, Cristian D. ; Ionescu, Sorana..
Journal of Coordination Chemistry.  72 (2019)  8 - p. 1222-1237 , 2019
 
1-15