Rusu, Vlad: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A generic framework for symbolic execution: A coinductive approach

Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei

Journal:

Journal of Symbolic Computation

Year:

2016

Language:

english

File:

PDF, 1.80 MB

english, 2016

2

Language definitions as rewrite theories

Rusu, Vlad, Lucanu, Dorel, Şerbănuţă, Traian-Florin, Arusoaie, Andrei, Ştefănescu, Andrei, Roşu, Grigore

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 739 KB

english, 2016

3

Executing and verifying higher-order functional-imperative programs in Maude

Rusu, Vlad, Arusoaie, Andrei

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 673 KB

english, 2017

4

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) ||

Year:

2018

Language:

english

File:

PDF, 5.32 MB

english, 2018

5

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) || Proving Structural Properties of Sequent Systems in Rewriting Logic

Year:

2018

Language:

english

File:

PDF, 525 KB

english, 2018

6

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) || Multi-paradigm Programming in Maude

Year:

2018

Language:

english

File:

PDF, 363 KB

english, 2018

7

Behavior of Historical Printing Inks on Paper in High-Frequency Cold Plasma Discharges

Ioanid, Emil Ghiocel, Frunza, Viorica, Rusu, Dorina Emilia, Vlad, Ana Maria, Savin, Gabriela, Popescu, Carmen-Mihaela

Journal:

IEEE Transactions on Plasma Science

Year:

2019

Language:

english

File:

PDF, 1.22 MB

english, 2019

8

Advancement in the Biomedical Applications of the (Nano)gel Structures Based on Particular Polysaccharides

Chiriac, Aurica P., Ghilan, Alina, Neamtu, Iordana, Nita, Loredana E., Rusu, Alina G., Chiriac, Vlad Mihai

Journal:

Macromolecular Bioscience

Year:

2019

Language:

english

File:

PDF, 3.23 MB

english, 2019

9

Poly(vinyl alcohol)-Based Biofilms Plasticized with Polyols and Colored with Pigments Extracted from Tomato By-Products

Mitrea, Laura, CÄlinoiu, Lavinia-Florina, MartÄu, Gheorghe-Adrian, Szabo, Katalin, Teleky, Bernadette-Emoke, MureÈan, Vlad, Rusu, Alexandru-Vasile, Socol, Claudia-Terezia, Vodnar, Dan-Cristian

Journal:

Year:

2020

File:

PDF, 3.96 MB

2020

10

(Co)inductive proof systems for compositional proofs in reachability logic

Rusu, Vlad, Nowak, David

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 751 KB

2021

11

Synthesis of novel 5-aryl-2-thio-1,3,4-oxadiazoles and the study of their structure–anti-mycobacterial activities

Fliur Macaev, Ghenadie Rusu, Serghei Pogrebnoi, Alexandru Gudima, Eugenia Stingaci, Ludmila Vlad, Nathaly Shvets, Fatma Kandemirli, Anatholy Dimoglo, Robert Reynolds

Journal:

Bioorganic & Medicinal Chemistry

Year:

2005

Language:

english

File:

PDF, 417 KB

english, 2005

12

Chelate polymers. VI. New copolymers of the some siloxane containing bis(2,4-dihydroxybenzaldehyd-imine)Me2+ with bis(p-carboxyphenyl)diphenylsilane

Maria Cazacu, Mihai Marcu, Angelica Vlad, Gheorghe I. Rusu, Mihaela Avadanei

Journal:

Journal of Organometallic Chemistry

Year:

2004

Language:

english

File:

PDF, 338 KB

english, 2004

13

Equational approximations for tree automata completion

Thomas Genet, Vlad Rusu

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 645 KB

english, 2010

14

Combining formal verification and conformance testing for validating reactive systems

Journal:

Software Testing, Verification and Reliability

Year:

2003

Language:

english

File:

PDF, 296 KB

english, 2003

15

Hybrid Verifications of Reactive Programs

Olivier Roux, Vlad Rusu, Franck Cassez

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 213 KB

english, 1999

16

Detailed anatomy of a left accessory aberrant colic artery

M. C. Rusu, M. Vlad, L. M. Voinea, G. C. Curcă, A. M. Şişu

Journal:

Surgical and Radiologic Anatomy

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

17

Formal executable semantics for conformance in the MDE framework

Marina Egea, Vlad Rusu

Journal:

Innovations in Systems and Software Engineering

Year:

2010

Language:

english

File:

PDF, 958 KB

english, 2010

18

Extracting a data flow analyser in constructive logic

David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 287 KB

english, 2005

19

Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols

Vlad Rusu, Elena Zinovieva

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 325 KB

english, 2001

20

A Bis(pyrrole) Schiff Base Containing a Flexible Siloxane Bridge and Its NiII Complex

Angelica Vlad, Constantin Turta, Maria Cazacu, Elena Rusu, Sergiu Shova

Journal:

European Journal of Inorganic Chemistry

Year:

2012

Language:

english

File:

PDF, 403 KB

english, 2012

21

HF Plasma Discharge for Surface Modification of Cellulose-Based Materials

Ioanid, Emil Ghiocel, Rusu, Dorina Emilia, Ursescu, Marta Cristina, Totolin, Marian, Vlad, Ana Maria

Journal:

IEEE Transactions on Plasma Science

Year:

2013

Language:

english

File:

PDF, 2.73 MB

english, 2013

22

Embedding domain-specific modelling languages in Maude specifications

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 1.80 MB

english, 2013

23

Notice from the American Board of Thoracic Surgery

Pais, Raluca, Rusu, Elena, Ratziu, Vlad

Journal:

The Annals of Thoracic Surgery

Year:

1985

Language:

english

File:

PDF, 171 KB

english, 1985

24

The Impact of Obesity and Metabolic Syndrome on Chronic Hepatitis B and Drug-Induced Liver Disease

Pais, Raluca, Rusu, Elena, Ratziu, Vlad

Journal:

Clinics in Liver Disease

Year:

2014

Language:

english

File:

PDF, 440 KB

english, 2014

25

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - STG

Clarke, Duncan, Jéron, Thierry, Rusu, Vlad, Zinovieva, Elena

Year:

2001

Language:

english

File:

PDF, 90 KB

english, 2001

26

Prevalence of steatosis and insulin resistance in patients with chronic hepatitis B compared with chronic hepatitis C and non-alcoholic fatty liver disease

Pais, Raluca, Rusu, Elena, Zilisteanu, Diana, Circiumaru, Alexandra, Micu, Laurentiu, Voiculescu, Mihai, Poynard, Thierry, Ratziu, Vlad

Journal:

European Journal of Internal Medicine

Year:

2015

Language:

english

File:

PDF, 339 KB

english, 2015

27

Program equivalence by circular reasoning

Lucanu, Dorel, Rusu, Vlad

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 835 KB

english, 2015

28

SPIE Proceedings [SPIE ROMOPTO '97: Fifth Conference on Optics - Bucharest, Romania (Tuesday 9 September 1997)] ROMOPTO '97: Fifth Conference on Optics - IR absorption of TiO2 thin films

Stamate, Marius D., Rusu, G. I., Vascan, Ioan, Vlad, Valentin I., Dumitras, Dan C.

Year:

1998

Language:

english

File:

PDF, 214 KB

english, 1998

29

[IEEE 2010 9th International Symposium on Parallel and Distributed Computing (ISPDC) - Istanbul, Turkey (2010.07.7-2010.07.9)] 2010 Ninth International Symposium on Parallel and Distributed Computing - Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design

Gamatié, Abdoulaye, Rusu, Vlad, Rutten, Éric

Year:

2010

Language:

english

File:

PDF, 408 KB

english, 2010

30

Ensuring the conformance of reactive discrete-event systems by means of supervisory control

Jéron *, Thierry, Marchand, Hervé, Rusu, Vlad, Tschaen, Valéry

Journal:

International Journal of Production Research

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

31

Embedding domain-specific modelling languages in maude specifications

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2011

Language:

english

File:

PDF, 328 KB

english, 2011

32

Symbolic execution based on language transformation

Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad

Journal:

Computer Languages, Systems & Structures

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

33

[ACM Press the 2nd ACM SIGSPATIAL International Workshop - Orlando, Florida (2013.11.04-2013.11.04)] Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Analytics for Big Geospatial Data - BigSpatial '13 - Breaking the big data barrier by enhancing on-board sensor flexibility

Baumann, Peter, Dumitru, Alex, Merticariu, Vlad, Misev, Dimitar, Rusu, Mihaela

Year:

2013

Language:

english

File:

PDF, 463 KB

english, 2013

34

SPIE Proceedings [SPIE SPIE Proceedings - (Sunday 12 February 2012)] - Effect of heat treatment on the structural and optical characteristics of polycrystalline ZnTe thin films

Prepeliţă, P., Rusu, G. G., Rusu, G. I., Vlad, Valentin I.

Year:

2012

Language:

english

File:

PDF, 369 KB

english, 2012

35

A language-independent proof system for full program equivalence

Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

36

Friction of the Polymers - Experimental Results and Analytical Model

Rusu, Mihai, Daniela, Ionita, Benchea, Marcelin, Carlescu, Vlad, Olaru, Dumitru

Journal:

Applied Mechanics and Materials

Year:

2016

Language:

english

File:

PDF, 467 KB

english, 2016

37

SPIE Proceedings [SPIE ROMOPTP '94: 4th Conference on Optics - Bucharest, Romania (Monday 5 September 1994)] ROMOPTO '94: Fourth Conference in Optics - Computer-assisted optics experiments

Lazar, Gabriel-Octavian, Lazar, Iuliana-Mihaela J., Stamate, Marius D., Vascan, Ioan, Rusu, Ioan I., Vlad, Valentin I.

Year:

1995

Language:

english

File:

PDF, 152 KB

english, 1995

38

SPIE Proceedings [SPIE ROMOPTP '94: 4th Conference on Optics - Bucharest, Romania (Monday 5 September 1994)] ROMOPTO '94: Fourth Conference in Optics - Laser reflective interferometry for in situ monitoring of thin films

Vascan, Ioan, Stamate, Marius D., Lazar, Iuliana-Mihaela J., Lazar, Gabriel-Octavian, Rusu, Ioan I., Vlad, Valentin I.

Year:

1995

Language:

english

File:

PDF, 161 KB

english, 1995

39

SPIE Proceedings [SPIE ROMOPTP '94: 4th Conference on Optics - Bucharest, Romania (Monday 5 September 1994)] ROMOPTO '94: Fourth Conference in Optics - Optical bistability in GaSe single crystals and ZnTe thin films

Mushinschi, V., Caraman, Mihai I., Lichman, V., Ghizdeanu, C., Rusu, G. I., Stamate, Marius D., Vlad, Valentin I.

Year:

1995

Language:

english

File:

PDF, 178 KB

english, 1995

40

SPIE Proceedings [SPIE ROMOPTP '94: 4th Conference on Optics - Bucharest, Romania (Monday 5 September 1994)] ROMOPTO '94: Fourth Conference in Optics - Optical properties of hydrogenated silicon prepared by dc magnetron sputtering

Vascan, Ioan, Lazar, Iuliana-Mihaela J., Stamate, Marius D., Lazar, Gabriel-Octavian, Rusu, Ioan I., Vlad, Valentin I.

Year:

1995

Language:

english

File:

PDF, 181 KB

english, 1995

41

SPIE Proceedings [SPIE ROMOPTO '97: Fifth Conference on Optics - Bucharest, Romania (Tuesday 9 September 1997)] ROMOPTO '97: Fifth Conference on Optics - Optical transmission of ZnO thin films

Rusu, Ioan I., Bursuc, Ionel V., Vascan, Ioan, Vlad, Valentin I., Dumitras, Dan C.

Year:

1998

Language:

english

File:

PDF, 301 KB

english, 1998

42

SPIE Proceedings [SPIE SPIE Proceedings - (Sunday 12 February 2012)] - A special laser device for dielectric breakdown generation used in ophthalmology

Savastru, D., Ristici, E., Mustata, Marina, Miclos, S., Rusu, M. I., Savu, V., Radu, C., Tenciu, D., Vlad, Valentin I.

Year:

2012

Language:

english

File:

PDF, 217 KB

english, 2012

43

Comparative study of mechanical stresses in human limb bones

Drăgulescu, Doina, Rusu, Lucian, Morcovescu, Vlad, Precup, Cris

Journal:

Applied Bionics and Biomechanics

Year:

2004

Language:

english

File:

PDF, 399 KB

english, 2004

44

SPIE Proceedings [SPIE ROMOPTO International Conference on Micro- to Nano-Photonics III - Bucharest, Romania (Monday 3 September 2012)] ROMOPTO 2012: Tenth Conference on Optics: Micro- to Nanophotonics III - A stimulated spontaneous down conversion effect

Rusu, Al., Rusu, L., Vlad, Valentin I.

Year:

2013

Language:

english

File:

PDF, 264 KB

english, 2013

45

SPIE Proceedings [SPIE SPIE Proceedings - (Sunday 12 February 2012)] - A schematic layout of the magnetic field for a two beams Huygens undulator

Miclos, S., Rusu, M. I., Radu, C., Savu, V., Giurgiu, L., Niculescu, V. I. R., Vlad, Valentin I.

Year:

2012

Language:

english

File:

PDF, 218 KB

english, 2012

46

SPIE Proceedings [SPIE SPIE Proceedings - (Sunday 12 February 2012)] - An Er:YAG blood sampling skin puncher

Savastru, D., Ristici, Esofina, Mustata, Marina, Miclos, S., Rusu, M., Radu, C., Savu, V., Vlad, Valentin I.

Year:

2012

Language:

english

File:

PDF, 951 KB

english, 2012

47

Multipurpose Equipment for Radio Frequency Plasma Decontamination and Protective Coating of Paper Materials

Ioanid, Emil Ghiocel, Rusu, Dorina E., Vlad, Ana M., Dunca, Simona, Tanase, Catalin, Frunza, Viorica, Savin, Gabriela, Ursescu, Marta C.

Journal:

IEEE Transactions on Plasma Science

Year:

2016

Language:

english

File:

PDF, 1.64 MB

english, 2016

48

Ultrafast third-order optical nonlinearity in SnS 2 layered compound for photonic applications

Petris, Adrian, Gheorghe, Petronela S., Vlad, Valentin I., Rusu, Emil, Ursaki, Veaceslav V., Tiginyanu, Ion M.

Journal:

Optical Materials

Year:

2018

Language:

english

File:

PDF, 1002 KB

english, 2018

49

Comparative Study of Mechanical Stresses in Human Limb Bones

Drăgulescu, Doina, Rusu, Lucian, Morcovescu, Vlad, Precup, Cris

Journal:

Applied Bionics and Biomechanics

Year:

2004

Language:

english

File:

PDF, 1.35 MB

english, 2004

50

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) || Parameterized Programming for Compositional System Specification

Year:

2018

Language:

english

File:

PDF, 318 KB

english, 2018