Datavetenskap (->1.1.2015)


Publikationer

null null 2 av 11 null null
A4 Konferenspublikationer
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie and Ion Petre
Springer
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
A4 Konferenspublikationer
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014)
Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
From Text to Bank Interrelation Maps (2014)
Samuel Rönnqvist, Peter Sarlin
IEEE Computer Society Institute of Electrical and Electronic Engineers
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014)
Diana-Elena Gratie, Ion Petre
Analele Universitatii Bucuresti
A3 Bokavsnitt, kapitel i forskningsböcker
Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach (2014)
Sergey Ostroumov, Leonidas Tsiopoulos, Marina Waldén, Juha Plosila
IGI Global
A4 Konferenspublikationer
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (2014)
Laibinis L, Byholm B, Pereverzeva I, Troubitsyna E, Tan KE, Porres I
Springer
Visa på utgivarens sida

Senast uppdaterad 2018-19-09 vid 19:36