|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bartocci, Ezio ; Aydin Gol, Ebru ; Haghighi, Iman ; Belta, Calin | A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks | Artikel Article  | 2018 |
| 2 | | Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Awwad, Falah | Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification | Artikel Article | 2018 |
| 3 | | Iqbal, Sohaiba ; Sardar, Muhammad Usama ; Khalid, Faiq ; Hasan, Osman | Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management | Artikel Article | 2018 |
| 4 | | Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nickovic, Dejan | An algebraic framework for runtime verification | Artikel Article | 2018 |
| 5 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich ; Schwarz, Manfred ; Winkler, Kyrill | Gracefully degrading consensus and k-set agreement in directed dynamic networks | Artikel Article | 2018 |
| 6 | | Mahyar, Hamidreza ; Hasheminezhad, Rouzbeh ; Ghalebi, Elahe ; Nazemian, Ali ; Grosu, Radu ; Movaghar, Ali ; Rabiee, Hamid R. | Identifying central nodes for information flow in social networks using compressive sensing | Artikel Article | 2018 |
| 7 | | Zucker, Gerhard ; Sporr, Andreas ; Kollmann, Stefan ; Wendt, Alexander ; Siafara Chaido, Lydia ; Fernbach, Andreas | A Cognitive System Architecture for Building Energy Management | Artikel Article | 2018 |
| 8 | | Sarma, Gopal P. ; Lee, Chee Wai ; Portegys, Tom ; Ghayoomie, Vahid ; Jacobs, Travis ; Alicea, Bradly ; Cantarelli, Matteo ; Currie, Michael ; Gerkin, Richard C. ; Gingell, Shane ; Gleeson, Padraig ; Gordon, Richard ; Hasani, Ramin M. ; Idili, Giovanni ; Khayrulin, Sergey ; Lung, David ; Palyanov, Andrey ; Watts, Mark ; Larson, Stephen D. | OpenWorm: overview and recent advances in integrative biological simulation of Caenorhabditis elegans | Artikel Article | 2018 |
| 9 | | Gleeson, Padraig ; Lung, David ; Grosu, Radu ; Hasani, Ramin ; Larson, Stephen D. | c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans | Artikel Article | 2018 |
| 10 | | Bartocci, Ezio ; Bortolussi, Luca ; Brázdil, Tomáš ; Milios, Dimitrios ; Sanguinetti, Guido | Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes | Artikel Article | Nov-2017 |
| 11 | | Steininger, Andreas ; Pawlak, Adam ; Stopjakova, Viera | Foreword | Artikel Article | Aug-2017 |
| 12 | | Pathania, Anuj ; Venkataramani, Vanchinathan ; Shafique, Muhammad ; Mitra, Tulika ; Henkel, Jörg | Optimal Greedy Algorithm for Many-Core Scheduling | Artikel Article | Jun-2017 |
| 13 | | Ferschin, Peter ; Di Angelo, Monika ; Paskaleva, Galina | Parametric Balinese rumah: Procedural modeling of traditional Balinese architecture | Artikel Article | 20-Feb-2017 |
| 14 | | Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu | Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability | Artikel Article | Feb-2017 |
| 15 | | Lusk, Ewing ; Träff, Jesper Larsson | MPI Is 25 Years Old! | Artikel Article | 2017 |
| 16 | | Qadir, Junaid ; Sathiaseelan, Arjuna ; Farooq, Umar ; Usama, Muhammad ; Imran, Muhammad ; Shafique, Muhammad | Approximate Networking for Universal Internet Access | Artikel Article | 2017 |
| 17 | | Schöbel, Andreas ; Aksentijevic, Jelena ; Stefan, Mark ; Blieberger, Johann | Optimization of rail traffic flow using Kronecker algebra during maintenance on infrastructure | Artikel Article | 2017 |
| 18 | | Shafique, Muhammad ; Garg, Siddharth ; Chandra, Vikas | Guest Editors' Introduction: Computing in the Dark Silicon Era | Artikel Article | 2017 |
| 19 | | Smolek, Peter ; Leobner, Ines ; Gourlis, Georgios ; Mörzinger, Benjamin ; Heinzl, Bernhard ; Ponweiser, Karl | Hybrid Building Performance Simulation Models for Industrial Energy Efficiency Applications | Artikel Article | 2017 |
| 20 | | Zhu, Yungang ; Liu, Dayou ; Grosu, Radu ; Wang, Xinhua ; Duan, Hongying ; Wang, Guodong | A Multi-Sensor Data Fusion Approach for Atrial Hypertrophy Disease Diagnosis Based on Characterized Support Vector Hyperspheres | Artikel Article | 2017 |
