Datavetenskap


Personer


Publikationer

null null 1 av 32 null null
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System (2020)
Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tiwari, Ion Petre
Fundementa Informaticae
Visa på utgivarens sida
A4 Konferenspublikationer
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time
Systems with Concurrent Processes
(2020)
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, and Marina Waldén
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Online Path Generation and Navigation for Swarms of UAVs (2020)
Adnan Ashraf, Amin Majd, Elena Troubitsyna
Scientific Programming
Visa på utgivarens sida
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)
Chemical Reaction Networks Associated with the Hilbert's 16th Problem: Limit Cycles and Stability Analysis (2019)
Gefry Barad, Eugen Czeizler, Andrei Păun
Match: Communications in Mathematical and in Computer Chemistry
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Identification of Drug Targets in Breast Cancer Metabolic Network (2019)
Krishna Kanhaiya, Dwitiya Tyagi-Tiwari
Journal of Computational Biology
Visa på utgivarens sida
A4 Konferenspublikationer
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective (2019)
Inna Vistbakka, Elena Troubitsyna, Amin Majd
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Refinement-based modeling of the ErbB signaling pathway (2019)
Bogdan Iancu, Usman Sanwal, Cristian Gratie, Ion Petre
Computers in Biology and Medicine
Visa på utgivarens sida
A4 Konferenspublikationer
Simulation of one dimensional staged DNA tile assembly by the signal-passing hierarchical TAM (2019)
Gefry Barad, Alexandru Amarioarei, Mihaela Paun, Ana Maria Dobre, Corina Itcus, Iris Tusa, Romica Trandafir, Eugen Czeizler
Procedia Computer Science
Elsevier
Visa på utgivarens sida

Senast uppdaterad 2018-30-08 vid 17:26