Datavetenskap


Personer


Publikationer

null null 1 av 30 null null
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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 Konferenspublikationer
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
A Systematic Mapping Study on API Documentation Generation Approaches (2018)
Kristian Nybom, Adnan Ashraf, Ivan Porres
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat (2018)
Mats Neovius, Kati Launis, Olli Nurmi
CEUR Workshop Proceedings
A4 Konferenspublikationer
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
Visa på utgivarens sida
A4 Konferenspublikationer
Generating cloud monitors from models to secure clouds (2018)
Troubitsyna Elena, Rauf Irum
IEEE Computer Society
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Mitä naiset lukevat? Vantaan kaupunginkirjaston digitaalisen lainausdatan tulkintaa (2018)
Kati Launis, Eugene Cherny, Mats Neovius, Olli Nurmi, Mikko Vainio
Kirjallisuudentutkimuksen Aikakauslehti Avain
Visa på utgivarens sida

Senast uppdaterad 2018-30-08 vid 17:26