Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications in category Editorials - back to overwiew...

Editorials

D. Zhu, M. Shafique, M. Lin, S. Pasricha: Guest Editorial: Special Issue on Low-Power Dependable Computing
IEEE Transactions on Sustainable Computing, 3 (2018), p. 137 - 138
bib details doi

E. Bartocci, Y. Falcone: Lectures on Runtime Verification - Introductory and Advanced Topics
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2018, ISBN: 978-3-319-75631-8; 232 pages
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (2018), p. 1122 - 1123
bib details doi

U. Schmid, J. Widder: Proceedings 32nd International Symposium on Distributed Computing
Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
bib details doi pdf

M. Shafique, S. Garg, V. Chandra: Guest Editors´ Introduction: Computing in the Dark Silicon Era
Ieee Design & Test, 34 (2017); 3 pages
bib details doi

A. Steininger, A. Pawlak, V. Stopjakova: Novel Trends in Design & Test
Journal of Circuits, Systems, and Computers, 26 (2017); 80 pages
bib details doi

F. Desprez, P. Dutot, C. Kaklamanis, L. Marchal, K. Molitorisz, L. Ricci, V. Scarano, M. Vega-Rodriguez, A. Varbanescu, S. Hunold, S. Scott, S. Lankes, J. Weidendorfer: Euro-Par 2016: Parallel Processing Workshops - Euro-Par 2016 International Workshops, Revised Selected Papers, LNCS 10104
Springer, Cham, 2017, ISBN: 978-3-319-58942-8; 850 pages
bib details doi

S. Hunold, A. Legrand, L. Nussbaum: Introduction to REPPAR Workshop
Proceedings of the IEEE 31st International Parallel and Distributed Processing Symposium (IPDPS 2017) Workshops, IEEE, 2017, ISBN: 978-1-5386-3408-0, p. 1559
bib details doi

J. Blieberger, M. Bader: 22nd Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe'2017 International Conference on Reliable Software Technologies, series editors: G. Goos, J. Hartmanis, J. van Leeuwen, issued by: Ada-Europe, Springer LNCS 10300, Berlin, 2017, ISBN: 978-3-319-60587-6; 255 pages
bib details doi

A. Bondavalli, S. Bouchenak, H. Kopetz: Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Lecture Notes in Computer Science, series editors: D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, F. Mattern, J. Mitchell, M. Naor, C. Pandu Rangan, B. Steffen, D. Terzopoulos, D. Tygar, G. Weikum et al., Springer International Publishing, 2016, ISBN: 978-3-319-47589-9; 257 pages
bib details doi

L. Langer, J. Göllner, M. Tischlinger, M. Kammerstetter et al.: Smart Grid Security Guidance - (SG)²: Sicherheitsmaßnahmen für Stromnetzbetreiber in Österreich
Schriftenreihe der Landesverteidigungsakademie, Wien, 2016, ISBN: 978-3-902944-98-6; 253 pages
bib details pdf

E. Bartocci, C. Ramakrishnan: Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software
International Journal on Software Tools for Technology Transfer, 18 (2016), p. 355 - 357
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages
bib details doi

D. Holmes, C. Collis, J. Träff, L. Smith: Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016
ACM, 2016, ISBN: 978-1-4503-4234-6; 221 pages
bib details

C. Lengauer, L. Bougé, J. Träff: Editorial: Special Issue: Euro-Par 2015
Concurrency and Computation: Practice and Experience, Volume 28 (2016), p. 3445 - 3446
bib details doi

S. Hunold, A. Costan, D. Gimenez, A. Iosup, L. Ricci, G. Gomez Requena, V. Scarano, A. Varbanescu, S. Scott, S. Lankes, J. Weidendorfer, M. Alexander: Euro-Par 2015: Parallel Processing Workshops, Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers, LNCS 9523
Springer International Publishing, 2015, ISBN: 978-3-319-27307-5; 880 pages
bib details doi

E. Bartocci, R. Majumdar: Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings
Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages
bib details doi

J. Träff, S. Hunold, F. Versaci: Euro-Par 2015: Parallel Processing, 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, LNCS 9233
Springer-Verlag Berlin Heidelberg, 2015, ISBN: 978-3-662-48095-3; 732 pages
bib details doi

L. Lopes, J. Zilinskas, A. Costan, R. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, S. Benkner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart, M. Alexander: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part II, LNCS 8806
Springer, 2014, ISBN: 978-3-319-14312-5; 590 pages
bib details doi

L. Lopes, J. Zilinskas, A. Costan, R. Cascella, G. Kecskemeti, E. Jeannot, M. Cannataro, L. Ricci, S. Benkner, S. Petit, V. Scarano, J. Gracia, S. Hunold, S. Scott, S. Lankes, C. Lengauer, J. Carretero, J. Breitbart, M. Alexander: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Revised Selected Papers, Part I, LNCS 8805
Springer, 2014, ISBN: 978-3-319-14324-8; 620 pages
bib details doi

<<   < 1 2 3 >   >>