Computer Science


Persons


Publications

Go to first page Go to previous page 2 of 31 Go to next page Go to last page
A4 Conference proceedings
Generating cloud monitors from models to secure clouds (2018)
Troubitsyna Elena, Rauf Irum
IEEE Computer Society
View on publisher's site
D4 Published development or research report or study
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
A1 Journal article (refereed)
Mitä naiset lukevat? Vantaan kaupunginkirjaston digitaalisen lainausdatan tulkintaa (2018)
Kati Launis, Eugene Cherny, Mats Neovius, Olli Nurmi, Mikko Vainio
Kirjallisuudentutkimuksen Aikakauslehti Avain
View on publisher's site
A1 Journal article (refereed)
NetControl4BioMed: A pipeline for biomedical data acquisition and analysis of network controllability (2018)
Krishna Kanhaiya, Vladimir Rogojin, Keivan Kazemi, Eugen Czeizler, Ion Petre
BMC Bioinformatics
View on publisher's site
A4 Conference proceedings
NOMeS: Near-Optimal Metaheuristic Scheduling for MPSoCs (2018)
Amin Majd, Masoud Daneshtalab, Juha Plosila, Nima Khalilzad, Golnaz Sahebi, Elena Troubitsyna
IEEE
View on publisher's site
A1 Journal article (refereed)
One Dimensional DNA Tiles Self Assembly Model Simulation (2018)
Alexandru Amarioarei, Gefry Barad, Elena Czeizler, Eugen Czeizler, Ana-Maria Dobre, Corina Itcus, Andrei Paun, Mihaela Paun, Romica Trandafir, Iris Tusa
International Journal of Unconventional Computing
A1 Journal article (refereed)
Providing Tamper-Resistant Audit Trails with Distributed Ledger based Solutions for Forensics of IoT Systems using Cloud Resources (2018)
Magnus Westerlund, Mats Neovius, Göran Pulkkis
International Journal on Advances in Security
A1 Journal article (refereed)
Structural Target Controllability of Linear Networks (2018)
Eugen Czeizler, Kai-Chiu Wu, Cristian Gratie, Krishna Kanhaiya, Ion Petre
IEEE/ACM Transactions on Computational Biology and Bioinformatics
View on publisher's site
A3 Book section, Chapters in research books
WEBRSIM: A Web-Based Reaction Systems Simulator (2018)
Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre
Springer
View on publisher's site
A1 Journal article (refereed)
A Foundational Framework for Step-by-Step Model Construction (2017)
Mikhail Barash, Ion Petre
Fundamenta Informaticae
View on publisher's site

Last updated on 2018-30-08 at 17:26