Computer Science (->1.1.2015)


Publications

Go to first page Go to previous page 2 of 11 Go to next page Go to last page
A4 Conference proceedings
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie and Ion Petre
Springer
View on publisher's site
D4 Published development or research report or study
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie, Ion Petre
D4 Published development or research report or study
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
A4 Conference proceedings
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
View on publisher's site
A1 Journal article (refereed)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
View on publisher's site
A4 Conference proceedings
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014)
Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH
Springer
View on publisher's site
A4 Conference proceedings
From Text to Bank Interrelation Maps (2014)
Samuel Rönnqvist, Peter Sarlin
IEEE Computer Society Institute of Electrical and Electronic Engineers
View on publisher's site
A1 Journal article (refereed)
Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014)
Diana-Elena Gratie, Ion Petre
Analele Universitatii Bucuresti
A3 Book section, Chapters in research books
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 Conference proceedings
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
View on publisher's site

Last updated on 2018-19-09 at 19:36