Verification and composition of security protocols with applications to electronic voting

by Ciobâcǎ, Ştefan
Published 2011

Verification and composition of security protocols with applications to electronic voting

by Ciobâcǎ, Ştefan
Published 2011

LA QUESTION DES NORMES TRADUCTIVES ET LA LITTÉRATURE DE JEUNESSE : (RE)TRADUIRE POIL DE CAROTTE

by Carmen-Ecaterina CIOBÂCĂ
Published 2019-11-01

Lucian Blaga – traductologul

by Carmen-Ecaterina Ciobâcă
Published 2019-11-01

ENSEIGNER LE CULTURÈME JURIDIQUE FRANÇAIS À TRAVERS LA LITTÉRATURE : QUAND LA TRADUCTION DIDACTIQUE DEVIENT VÉHICULE DE COMPRÉHENSION

by Ciobâcă Carmen-Ecaterina
Published 2019-12-01

Lucian Blaga – the translation theorist

by Carmen-Ecaterina Ciobâcă
Published 2019-11-01

Verifying the DPLL Algorithm in Dafny

by Cezar-Constantin Andrici, Ştefan Ciobâcă
Published 2019-09-01

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

by Andrei-Sebastian Buruiană, Ştefan Ciobâcă
Published 2019-02-01

TRADUIRE LES CONTRATS DU DROIT FRANÇAIS PAR ÉQUIVALENCE FONCTIONNELLE/TRANSLATING FRENCH LAW CONTRACTS THROUGH FUNCTIONAL EQUIVALENCE/TRADUCEREA CONTRACTELOR DIN DREPTUL FRANCEZ PR...

by Carmen-Ecaterina Ciobâcă, Estera Gorgan
Published 2020-12-01

Wing Tip Drag Reduction at Nominal Take-Off Mach Number: An Approach to Local Active Flow Control with a Highly Robust Actuator System

by Matthias Bauer, Thomas Grund, Wolfgang Nitsche, Vlad Ciobaca
Published 2016-10-01

Unsteady shock front waviness in shock-buffet of transonic aircraft

by Razvan Marian Apetrei, Vlad Ciobaca, Jose Luis Curiel-Sosa, Ning Qin
Published 2020-04-01