Author/Creator: Rusu, Vlad - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Rusu, Vlad

1. A generic framework for symbolic execution: A coinductive approach. (May 2017)

Authors:: Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei
Journal:: Journal of symbolic computation
Issue:: Volume 80:Part 1(2017)
Page Start:: 125
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A language-independent proof system for full program equivalence. (May 2016)

Authors:: Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 3(2016)
Page Start:: 469
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. A language-independent proof system for full program equivalence. (May 2016)

Authors:: Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 3(2016)
Page Start:: 469
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Clinical decision support methods for children and youths with mental health disorders in primary care. (3rd June 2022)

Authors:: van Venrooij, Lennard T; Rusu, Vlad; Vermeiren, Robert R J M; Koposov, Roman A; Skokauskas, Norbert; Crone, Matty R
Journal:: Family practice
Issue:: Volume 39:Number 6(2022)
Page Start:: 1135
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /: 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. (2018)

Editors:: Rusu, Vlad
Other Names:: WRLA (Conference), 12th; ETAPS (Conference), 21st
Record Type:: Book
Extent:: 1 online resource (xii, 261 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Symbolic execution based on language transformation. (December 2015)

Authors:: Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part A(2015)
Page Start:: 48
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗