|
| | Preview | Author(s) | Title | Type | Issue Date |
| 181 | | 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 |
| 182 | | Zhu, Dakai ; Shafique, Muhammad ; Lin, Man ; Pasricha, Sudeep | Guest Editorial: Special Issue on Low-Power Dependable Computing | Artikel Article | 2018 |
| 183 | | 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 |
| 184 | | Khalid, Faiq ; Hasan, Syed Rafay ; Hasan, Osman ; Awwad, Falah | Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification | Artikel Article | 2018 |
| 185 | | 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 |
| 186 | | Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nickovic, Dejan | An algebraic framework for runtime verification | Artikel Article | 2018 |
| 187 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich ; Schwarz, Manfred ; Winkler, Kyrill | Gracefully degrading consensus and k-set agreement in directed dynamic networks | Artikel Article | 2018 |
| 188 | | 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 |
| 189 | | Zucker, Gerhard ; Sporr, Andreas ; Kollmann, Stefan ; Wendt, Alexander ; Siafara Chaido, Lydia ; Fernbach, Andreas | A Cognitive System Architecture for Building Energy Management | Artikel Article | 2018 |
| 190 | | 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 |
| 191 | | Steininger, Andreas ; Pawlak, Adam ; Stopjakova, Viera | Foreword | Artikel Article | Aug-2017 |
| 192 | | Pathania, Anuj ; Venkataramani, Vanchinathan ; Shafique, Muhammad ; Mitra, Tulika ; Henkel, Jörg | Optimal Greedy Algorithm for Many-Core Scheduling | Artikel Article | Jun-2017 |
| 193 | | Ferschin, Peter ; Di Angelo, Monika ; Paskaleva, Galina | Parametric Balinese rumah: Procedural modeling of traditional Balinese architecture | Artikel Article | 20-Feb-2017 |
| 194 | | 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 |
| 195 | | Lusk, Ewing ; Träff, Jesper Larsson | MPI Is 25 Years Old! | Artikel Article | 2017 |
| 196 | | Qadir, Junaid ; Sathiaseelan, Arjuna ; Farooq, Umar ; Usama, Muhammad ; Imran, Muhammad ; Shafique, Muhammad | Approximate Networking for Universal Internet Access | Artikel Article | 2017 |
| 197 | | Schöbel, Andreas ; Aksentijevic, Jelena ; Stefan, Mark ; Blieberger, Johann | Optimization of rail traffic flow using Kronecker algebra during maintenance on infrastructure | Artikel Article | 2017 |
| 198 | | Shafique, Muhammad ; Garg, Siddharth ; Chandra, Vikas | Guest Editors' Introduction: Computing in the Dark Silicon Era | Artikel Article | 2017 |
| 199 | | 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 |
| 200 | | 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 |
