Publications

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

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

Editorials

H. Kopetz: Simplicity is Complex
Springer, 2019, ISBN: 978-3-030-20410-5; 148 pages
bib details doi

P. Jayanti, N. Lynch, B. Patt-Shamir, U. Schmid: 2019 Principles of Distributed Computing Doctoral Dissertation Award
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC'19), ACM, 2019, p. 2
bib details doi pdf

M. Krstic, I. Jones, A. Steininger, M Függer: Special Issue "Selected Papers from the 24th IEEE International Symposium on Asynchronous Circuits and Systems - ASYNC 2018"
Journal of Low Power Electronics and Applications, 9 (2019); 2 pages
bib details

S. Reda, M. Shafique: Approximate Circuits: Methodologies and CAD
Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8; 495 pages
bib details doi

E. Bartocci, R. Cleaveland, R. Grosu, O. Sokolsky: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2019, ISBN: 978-3-030-31513-9; 301 pages
bib details doi

J. Träff, T. Hoefler: Foreword EuroMPI 2019
Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019, T. Hoefler, J. Träff (ed.); ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9, p. 1:1 - 1:2
bib details doi

T. Hoefler, J. Träff: Proceedings of the 26th European MPI Users' Group Meeting, EuroMPI 2019
ACM, New York, NY, USA, 2019, ISBN: 978-1-4503-7175-9; 134 pages
bib details

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

<<   < 1 2 3 >   >>