Research Output per year
Research Output per year
Fingerprint
Dive into the research topics where Luigia Petre is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 28 Similar Profiles
Publications
-
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System
Petre, I., Sanwal, M. U., Shah, G., Panchal, C., Tiwari, D. & Petre, L., 2020, In : Fundamenta Informaticae. 171, 1-4, p. 331–343Research output: Contribution to journal › Article › Scientific › peer-review
-
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2020, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). p. –Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
File4 Downloads (Pure) -
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Dongol, B. (ed.), Petre, L. (ed.) & Smith, G. (ed.), 2019, Springer Verlag.Research output: Book/Report › Edited Book › Scientific › peer-review
-
Preface
Dongol, B., Petre, L. & Smith, G., 2019, Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019. Dongol, B., Petre, L. & Smith, G. (eds.). Springer Verlag, p. v–viResearch output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
-
Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response
Sanwal, M. U., Petre, L. & Petre, I., 2017, In : Computers in Biology and Medicine. 91, p. 1–12Research output: Contribution to journal › Article › Scientific › peer-review