Publications

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

Currently viewing all publications chronologically - back to overwiew...

E. Bartocci, E. Cherry, J. Glimm, R. Grosu, S. Smolka: Toward real-time simulation of cardiac dynamics
CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France; in: Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, ACM, 2011, ISBN: 978-1-4503-0817-5, p. 103 - 112
bib details doi

R. Grosu, G. Batt, F. Fenton, J. Glimm, C. Le Guernic, S. Smolka, E. Bartocci: From Cardiac Cells to Genetic Regulatory Network
CAV 2011: the 23rd International Conference on Computer Aided Verification, Snowbird, UT, USA; in: CAV 2011: the 23rd International Conference on Computer Aided Verification, LNCS / Springer, vol. 6806 (2011), ISSN: 0302-9743, p. 396 - 411
bib details doi

R. Alfieri, E. Bartocci, E. Merelli, L. Milanesi: Modeling the cell cycle: From deterministic models to hybrid systems
Biosystems, 105 (2011), p. 34 - 40
bib details doi

P. Robinson: Weak System Models for Fault-Tolerant Distributed Agreement Problems (PhD Thesis)
reviewers: U. Schmid, M. Raynal; Institut für Technische Informatik (E182/2), 2011; oral examination: 2011-01-31
bib details pdf

P. Ferschin, M. Di Angelo: Procedural Modelling of Traditional Balinese Settlements
CHNT 2011 16th International Conference on Cultural Heritage and New Technologies, Wien, Österreich; in: Proc. 16th International Conference on Cultural Heritage and New Technologies, W. Börner et al. (ed.); 2011, p. 304 - 313
bib details pdf

D. Van Der Linden, H. Mannaert, W. Kastner, H. Peremans: Towards normalized connection elements in industrial automation
Advances in Internet Technology, 4 (2011), p. 133 - 146
bib details

M Függer, J. Widder: On Efficient Checking of Link-reversal-based Concurrent Systems
PUMA/RISE Seminar, Traunkirchen
bib details

W. Gropp, T. Hoefler, R. Thakur, J. Träff: Performance Expectations and Guidelines for MPI Derived Datatypes
EuroMPI 2011, Santorini, Greece
bib details

E. Bajrovic, J. Träff: Using MPI Derived Datatypes in Numerical Libraries
EuroMPI 2011, Santorini, Greece
bib details

P. Robinson, U. Schmid: The Asynchronous Bounded-Cycle Model
Theoretical Computer Science, 412 (2011), p. 5580 - 5601
bib details doi

M. Biely, U. Schmid, B. Weiss: Synchronous consensus under hybrid process and link failures
Theoretical Computer Science, 412 (2011), p. 5602 - 5630
bib details doi

M. Biely, P. Robinson, U. Schmid: Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11), San Jose; in: PODC'11, ACM, 2011, p. 227 - 228
bib details

H. Moser, U. Schmid: Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing
Structural Information and Communication Complexity, Gdansk; in: Proceedings 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11), Springer Berlin / Heidelberg, 2011, ISBN: 978-3-642-22211-5, p. 42 - 53
bib details doi

M. Biely, P. Robinson, U. Schmid: Solving k-Set Agreement with Stable Skeleton Graphs
International Parallel and Distributed Processing Symposium (IPDPS), Anachorage, Alaska; in: IPDPS Workshops, 2011, ISBN: 978-1-61284-425-1, p. 1488 - 1495
bib details doi

M. Biely, P. Robinson, U. Schmid: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
International Conference On Principles Of Distributed Systems (OPODIS), Toulouse; in: OPODIS'11, Springer Berlin / Heidelberg, 2011, p. 299 - 312
bib details pdf

R. Planinc, E. Wetzinger, M. Di Angelo: Information Technology Education Add-on: "Improving Media Literacy"
ISSEP2011, Bratislava; in: Informatics in Schools: Situation, Evolution and Perspectives, D. Bezakova, I. Kalas (ed.); 2011, ISBN: 978-80-89186-90-7, p. 32
bib details

P. Smejkal, M. Di Angelo: Informatics Classes in Austria´s Lower Secondary Schools - a Survey
ISSEP2011, Bratislava; in: Informatics in Schools: Situation, Evolution and Perspectives, D. Bezakova, I. Kalas (ed.); 2011, ISBN: 978-80-89186-90-7, p. 37
bib details pdf

G. Kurz, M. Di Angelo: Unterrichtsveränderungen in Notebook-Klassen
INFOS 2011, Münster; in: Informatik mit Kopf, Herz und Hand - Praxisbeiträge zur INFOS 2011, M. Weigend, F. Otte, M. Thomas (ed.); ZfL-Verlag Münster, 2011, ISBN: 978-3-86877-009-4, p. 111 - 120
bib details pdf

U. Dikme: Web 2.0 als digitale Präservierungsmethode gegen linguistische Extinktion (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

E. Wetzinger: Unterrichtskonzept "Digitales Bild: Bildkompression, Dateiformate und Anwendungen" (Master's Thesis)
reviewer: M. Di Angelo; 183.1, 2011
bib details

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 >   >>