Computer Science


Persons


Publications

Go to first page Go to previous page 1 of 30 Go to next page Go to last page
D4 Published development or research report or study
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
A1 Journal article (refereed)
3D DNA Origami Map Structure Simulation (2018)
Corina Iţcuş, Alexandru Amărioarei, Eugen Czeizler, Ana-Maria Dobre, Victor Mitrana, Florentina Negre, Andrei Păun, Mihaela Păun, Manuela Elisabeta Sidoroff, Romică Trandafir, Iris Tuşa
Romanian Journal of Information Science and Technology
A4 Conference proceedings
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
View on publisher's site
A4 Conference proceedings
A Systematic Mapping Study on API Documentation Generation Approaches (2018)
Kristian Nybom, Adnan Ashraf, Ivan Porres
IEEE
View on publisher's site
A4 Conference proceedings
DNA-Guided Assembly of Nanocellulose Meshes (2018)
Alexandru Amărioarei, Gefry Barad, Eugen Czeizler, Ana-Maria Dobre, Corina Iţcuş, Victor Mitrana, Andrei Păun, Mihaela Păun, Frankie Spencer, Romică Trandafir, Iris Tuşa
Lecture Notes in Computer Science
Springer
View on publisher's site
A4 Conference proceedings
Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat (2018)
Mats Neovius, Kati Launis, Olli Nurmi
CEUR Workshop Proceedings
A4 Conference proceedings
Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem (2018)
Eugen Czeizler, Alexandru Popa, Victor Popescu
Lecture Notes in Computer Science
Springer
View on publisher's site
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

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