2013

Benenson Z., Christin D., De Luca A., Fischer-Hübner S., Heimann T., Meyer J.:
Consequence-based Privacy Decisions: a New Way to Better Privacy Management
'My Life, Shared' - Trust and Privacy in the Age of Ubiquitous Experience Sharing (Dagstuhl Seminar 13312) (Dagstuhl, Germany)
In: 'My Life, Shared' - Trust and Privacy in the Age of Ubiquitous Experience Sharing (Dagstuhl Seminar 13312), Dagstuhl, Germany: 2013
DOI: 10.4230/DagRep.3.7.74
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4307
Benenson Z., Gassmann F., Reinfelder L.:
Android and iOS users' differences concerning security and privacy
CHI'13 (New York, NY, USA)
In: CHI '13 Extended Abstracts on Human Factors in Computing Systems 2013
URL: http://doi.acm.org/10.1145/2468356.2468502
Benenson Z., Krontiris I., Rannenberg K., Liagkou V., Schopf A., Schröder D., Stamatiou Y.:
Understanding and Using Anonymous Credentials
Symposium On Usable Privacy and Security, Poster Session (Newcastle, UK)
In: Symposium On Usable Privacy and Security, Poster Session 2013
URL: http://cups.cs.cmu.edu/soups/2013/posters/soups13_posters-final24.pdf
Benenson Z., Reinfelder L.:
Should the Users be Informed? On Differences in Risk Perception between Android and iPhone Users
Workshop on Risk Perception in IT Security and Privacy (Newcastle, UK)
In: Workshop on Risk Perception in IT Security and Privacy 2013
URL: http://cups.cs.cmu.edu/soups/2013/risk/soups13-risk-perception-Android-vs-iPhone.pdf
Carvalho T., Riess C., Angelopoulou E., Pedrini H., Rocha A.:
Exposing Digital Image Forgeries by Illumination Color Classification
In: IEEE Transactions on Information Forensics and Security 8 (2013), S. 1182--1194
ISSN: 1556-6013
DOI: 10.1109/TIFS.2013.2265677
Christlein V., Riess C., Angelopoulou E., Evangelopoulos G., Kakadiaris I.:
The Impact of Specular Highlights on 3D-2D Face Recognition
Biometric and Surveillance Technology for Human and Activity Identification X (Baltimore, MD, 2. Mai 2013 - 2. Mai 2013)
In: SPIE (Hrsg.): Biometric and Surveillance Technology for Human and Activity Identification 2013
DOI: 10.1117/12.2019014
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Christlein13-TIO.pdf
Dewald A., Freiling F., Schmitt S., Spreitzenbarth M., Vömel S.:
Systematische Probleme und Grenzen der forensischen Informatik
In: Gaycken, Sandro (Hrsg.): Jenseits von 1984: Datenschutz und Überwachung in der fortgeschrittenen Informationsgesellschaft. Eine Versachlichung, Bielefeld: Transcript-Verlag, 2013, S. 101-117
ISBN: 3837620034
Götzfried J., Müller T.:
ARMORED: CPU-bound Encryption for Android-driven ARM Devices
ARES 2013 (Regensburg, 2. September 2013 - 6. September 2013)
In: Proceedings of the 8th International Conference on Availability, Reliability and Security 2013
DOI: 10.1109/ARES.2013.23
URL: https://www1.cs.fau.de/armored
Götzfried J., Müller T.:
Fast Software Encryption with SIMD (How to speed up symmetric block ciphers with the AVX/AVX2 instruction set)
EUROSEC 2013 (Prag)
In: Proceedings of the Third European Workshop on System Security 2013
URL: https://www1.cs.fau.de/avx.crypto
Hintz N., Benenson Z.:
Faktoren des datenschutzbewussten Verhaltens in Facebook
DACH Security 2013 (Nürnberg)
In: DACH Security 2013 2013
URL: http://www.syssec.at/ds13_programm/
Kurtz A., Freiling F., Metz D.:
Usability vs. Security: The Everlasting Trade-Off in the Context of Apple iOS Mobile Hotspots
(2013), S. 10
ISSN: 2191-5008
Open Access: http://www.opus.ub.uni-erlangen.de/opus/frontdoor.php?source_opus=4755
URL: http://www.opus.ub.uni-erlangen.de/opus/frontdoor.php?source_opus=4755
(Techreport)
Kälber S., Dewald A., Freiling F.:
Forensic Application-Fingerprinting based on file system Metadata
7th International Conference on IT Security Incident Management & IT Forensics (IMF) (Nuremberg, 12. März 2013 - 14. März 2013)
In: Proceedings of the 7th International Conference on IT Security Incident Management & IT Forensics 2013
DOI: 10.1109/IMF.2013.20
Maier A., Jiang Z., Jordan JM., Riess C., Hofmann H., Hornegger J.:
Atlas-Based Linear Volume-of-Interest (ABL-VOI) Image Correction
Medical Imaging 2013: Physics of Medical Imaging (Lake Buena Vista, FL)
In: SPIE (Hrsg.): Medical Imaging 2013: Physics of Medical Imaging 2013
DOI: 10.1117/12.2006843
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Maier13-ALV.pdf
Meyer M., Riess C., Angelopoulou E., Evangelopoulos G., Kakadiaris I.:
Color Constancy in 3D-2D Face Recognition
Biometric and Surveillance Technology for Human and Activity Identification X (Baltimore, MD, 2. Mai 2013 - 2. Mai 2013)
In: SPIE (Hrsg.): Biometric and Surveillance Technology for Human and Activity Identification 2013
DOI: 10.1117/12.2018758
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Meyer13-CCI.pdf
Morgenstern H., Ehlert R., Freiling F., Frings S., Göbel O., Günther D., Kiltz S., Nedon J., Schadt D.:
Seventh International Conference on IT Security Incident Management and IT Forensics
Los Alamitos, CA: IEEE Computer Society, 2013
ISBN: 978-1-4673-6307-5
Müller T., Spath H., Mäckl R., Freiling F.:
STARK Tamperproof Authentication to Resist Keylogging
Financial Cryptography and Data Security 2013 (Okinawa, Japan, 1. April 2013 - 5. April 2013)
In: Proceedings of FC2013 2013
DOI: 10.1007/978-3-642-39884-1_25
Spreitzenbarth M., Freiling F., Echtler F., Schreck T., Hoffmann J.:
MobileSandbox: Looking Deeper into Android Applications
ACM Symposium on Applied Computing 2013 (Coimbra, Portugal)
In: Proceedings of the 28th Symposium On Applied Computing (SAC 2013) 2013
DOI: 10.1145/2480362.2480701
Stüttgen J., Dewald A., Freiling F.:
Selective Imaging Revisited
7th International Conference on IT Security Incident Management & IT Forensics (IMF) (Nuremberg, 12. März 2013 - 14. März 2013)
In: Proceedings of the 7th International Conference on IT Security Incident Management & IT Forensics 2013
DOI: 10.1109/IMF.2013.16
Wundram M., Freiling F., Moch C.:
Anti-forensics: The Next Step in Digital Forensics Tool Testing
7th International Conference on IT Security Incident Management & IT Forensics (Nuremberg, 12. März 2013 - 14. März 2013)
In: Proceedings of the 7th International Conference on IT Security Incident Management & IT Forensics 2013
DOI: 10.1109/IMF.2013.17

Baer M.:
Vergleich und Implementierung von Synchronisationsstrategien zur Event Verarbeitung im Kontext von MMVEs (Bachelorarbeit, 2013)
Kempf D., Veldema R., Philippsen M.:
Source Code Transformations to Increase the Performance of Software Transactional Memory
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, Colorado, USA, 8. September 2011 - 10. September 2011)
In: Sanjay Rajopadhye, Michelle Mills Strout (Hrsg.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7
Kempf S., Veldema R., Philippsen M.:
Compiler-Guided Identification of Critical Sections in Parallel Code
International Conference on Compiler Construction (Rome, Italy, 16. März 2013 - 24. März 2013)
In: Ranjit Jhala, Koen De Bosschere (Hrsg.): Compiler Construction, 22nd International Conference, CC 2013, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-37051-9_11
URL: https://www2.informatik.uni-erlangen.de/publication/download/CC2013.pdf
Kempf S., Veldema R., Philippsen M.:
Reduktion von False-Sharing in Software-Transactional-Memory
25th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2013) (Erlangen, Germany, 11. April 2013 - 12. April 2013)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2013) 2013
URL: https://www2.cs.fau.de/publication/download/STM_PARS2013.pdf
Lautenschlager F.:
Design for Diagnosability: Wie mache ich Software diagnostizierbar?
German Testing Day 2013 (Munich, Germany, 12. November 2013 - 12. November 2013)
In: German Testing Day 2013 2013
URL: http://www.germantestingday.info/sites/default/files/GTD-2013_Broschuere_final.pdf
Löffler C., Mutschler C., Philippsen M.:
Evolutionary Algorithms that use Runtime Migration of Detector Processes to Reduce Latency in Event-Based Systems
2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013) (Torino, Italy, 25. Juni 2013 - 27. Juni 2013)
In: Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2013) 2013
DOI: 10.1109/AHS.2013.6604223
URL: http://www2.informatik.uni-erlangen.de/publication/download/AHS2013.pdf
Morgenstern H., Ehlert R., Freiling F., Frings S., Göbel O., Günther D., Kiltz S., Nedon J., Schadt D.:
Seventh International Conference on IT Security Incident Management and IT Forensics
Los Alamitos, CA: IEEE Computer Society, 2013
ISBN: 978-1-4673-6307-5
Mutschler C., Philippsen M.:
Distributed Low-Latency Out-of-Order Event Processing for High Data Rate Sensor Streams
27th IEEE International Parallel & Distributed Processing Symposium (IPDPS'13) (Boston, Massachusetts, 20. Mai 2013 - 24. Mai 2013)
In: Proceedings of 27th International Parallel and Distributed Processing Symposium (IPDPS'13) 2013
DOI: 10.1109/IPDPS.2013.29
URL: http://www2.informatik.uni-erlangen.de/publication/download/IPDPS2013.pdf
Mutschler C., Philippsen M.:
Dynamic Low-Latency Distributed Event Processing of Sensor Data Streams
25th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2013) (Erlangen, 11. April 2013 - 12. April 2013)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2013) 2013
URL: http://www2.informatik.uni-erlangen.de/publication/download/PARS2013.pdf
Mutschler C., Philippsen M.:
Reliable Speculative Processing of Out-of-Order Event Streams in Generic Publish/Subscribe Middlewares
7th ACM International Conference on Distributed Event-Based Systems (DEBS'13) (Arlington, Texas, 29. Juni 2013 - 3. Juli 2013)
In: Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems (DEBS'13) 2013
DOI: 10.1145/2488222.2488263
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2013.pdf
Mutschler C., Philippsen M.:
Runtime Migration of Stateful Event Detectors with Low-Latency Ordering Constraints
9th International Workshop on Sensor Networks and Systems for Pervasive Computing (San Diego, CA, 18. März 2013 - 22. März 2013)
In: Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops 2013
DOI: 10.1109/PerComW.2013.6529567
URL: http://www2.informatik.uni-erlangen.de/publication/download/persens2013.pdf
Mutschler C., Ziekow H., Jerzak Z.:
The DEBS 2013 Grand Challenge
7th ACM International Conference on Distributed Event-Based Systems (DEBS 2013) (Arlington, TX, USA, 29. Juni 2013 - 3. Juli 2013)
In: Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems (DEBS 2013) 2013
DOI: 10.1145/2488222.2488283
URL: http://www2.informatik.uni-erlangen.de/publication/download/DEBS2013b.pdf
Philippsen M., Tilmann N., Brinkers D.:
Double Inspection for Run-Time Loop Parallelization
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, CO, USA, 8. September 2011 - 10. September 2011)
In: Sanjay Rajopadhye, Michelle Mills Strout (Hrsg.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7_4
Veldema R., Philippsen M.:
Language and Runtime Techniques for better Model Checking Efficiency of Parallel Programs
26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (San Jose, California, USA, 25. September 2013 - 27. September 2014)
In: Călin Cașcaval, Pablo Montesinos (Hrsg.): Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013), Berlin Heidelberg: 2013
DOI: 10.1007/978-3-319-09967-5
Werth T., Schreier S., Philippsen M.:
CellCilk: Extending Cilk for heterogeneous multicore platforms
24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011) (Fort Collins, Colorado, USA, 8. September 2011 - 10. September 2011)
In: Rajopadhye, S.; Strout, M. Mills (Hrsg.): Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011for Parallel Computing (LCPC 2011), Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36036-7_7
URL: http://www2.informatik.uni-erlangen.de/publication/download/CellCilk11.pdf
Wolf C., Dotzler G., Veldema R., Philippsen M.:
Object Support for OpenMP-style Programming of GPU Clusters in Java
27th International Conference on Advanced Information Networking and Applications Workshops (Barcelona, Spain, 25. März 2013 - 28. März 2013)
In: Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops (WAINA 2013) 2013
DOI: 10.1109/WAINA.2013.62
URL: http://www2.informatik.uni-erlangen.de/publication/download/WDVP13.pdf

Biglari M., Qasemi E., Pourmohseni B.:
Maestro: A High Performance AES Encryption/Decryption System
International Symposium on Computer Architecture and Digital Systems (CADS) (Tehran, 30. Oktober 2013 - 31. Oktober 2013)
In: Proceedings of the 17th CSI International Symposium on Computer Architecture and Digital Systems (CADS) 2013
DOI: 10.1109/CADS.2013.6714255
URL: https://ieeexplore.ieee.org/document/6714255/
Ditter A., Fey D., Schön T., Luxa M., Gruber R.:
The Impact of H.264/AVC on Compression and Non-Destructive Evaluation of Piston Data in Industrial Computed Tomography
International Conference on Imaging Systems and Techniques (Peking, China, 22. Oktober 2013 - 23. Oktober 2013)
In: IST 2013 Proceedings 2013
DOI: 10.1109/IST.2013.6729699
Ditter A., Limmer S., Fey D.:
i3sched Ein OpenNebula Scheduler für die Oracle Grid Engine
Grid-, Cloud und Big-Data Technologien für Systementwurf und -analyse (Dresden)
In: Grid-, Cloud und Big-Data Technologien für Systementwurf und -analyse 2013
Ditter A., Limmer S., Fey D., Pruksch M.:
Modellzentrierter Test in virtualisierten Testumgebungen
April (2013), S. 3-4
URL: http://www.cluster-ma.de/fileadmin/user_upload/bilder/newsletter2013/newsletter2013_04/mechatroniknews_april_2013.pdf
(online publication)
Ditter A., Pruksch M., Limmer S., Fey D.:
Testen in der Cloud - Automatisiertes Testen in virtualisierten Umgebungen
In: Elektrotechnik Juli/August (2013), S. 62-63
ISSN: 1619-9405
URL: http://files.vogel.de/vogelonline/vogelonline/issues/epaperarchiv/elektrotechnik_0713/index.html
Heller Thomas, Fey Dietmar, Rehak Markus:
An auto-tuning approach for optimizing base operators for non-destructive testing applications on heterogeneous multi-core architectures
SORT 2013 (Paderborn)
In: SORT 2013 2013
Heller Thomas, Kaiser Hartmut, Schäfer Andreas, Fey Dietmar:
Using HPX and LibGeoDecomp for Scaling HPC Applications on Heterogeneous Supercomputers
Supercomputing 2013 (Denver, 17. November 2013 - 21. November 2013)
In: ScalA'13 proceedings, Denver: 2013
DOI: 10.1145/2530268.2530269.
Hofmann J., Fey D.:
Fast Evolutionary Algorithms: Comparing High Performance Capabilities of CPUs and GPUs
Parallel-Algorithmen und Rechnerstrukturen (Erlangen)
In: Mitteilungen - Gesellschaft für Informatik e.V. 2013
Hofmann J., Limmer S., Fey D.:
Performance Investigations of Genetic Algorithms on Graphics Cards
In: Swarm and Evolutionary Computation (2013), S. 33-47
ISSN: 2210-6502
DOI: 10.1016/j.swevo.2013.04.003
URL: http://www.sciencedirect.com/science/article/pii/S2210650213000187
Limmer S., Fey D.:
Porting of the transfer-matrix method for multilayer thin-film computations on graphics processing units
In: Optical Engineering (2013)
ISSN: 0091-3286
DOI: 10.1117/1.OE.52.7.075103
Limmer Steffen, Schneider André, Boehme Christian, Fey Dietmar, Schmitz Simon, Graupner Achim, Sülzle Martin:
Services for numerical simulations and optimisations in grids
In: International Journal of Parallel, Emergent and Distributed Systems (2013), S. 1-23
ISSN: 1744-5760
URL: http://www.tandfonline.com/doi/abs/10.1080/17445760.2013.842567
Limmer Steffen, Schneider Andre, Boehme Christian, Fey Dietmar, Schmitz Simon, Graupner Achim, Sülzle Martin:
Services for Numerical Simulations and Optimizations in Grids
PDGC2012 (Waknaghat, India)
In: Proceedings of 2012 2nd IEEE International Conference on Parallel, Distributed and Grid Computing (PDGC) 2013
DOI: 10.1109/PDGC.2012.6449820
Paulus Jan, Michelson Georg, Barkowsky Marcus, Hornegger Joachim, Eskofier Björn, Schmidt Michael:
Measurement of individual changes in the performance of human stereoscopic vision for disparities at the limits of the zone of comfortable viewing
3DV 2013 International Conference on 3D Vision (Seattle, Washington, USA, 29. Juni 2013 - 1. Juli 2013)
In: 2013 International Conference on 3D Vision - 3DV 2013 2013
DOI: 10.1109/3DV.2013.48
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Paulus13-MOI.pdf
Pfundt B., Reichenbach M., Eskofier B., Fey D.:
Smart Sensor Architectures for Embedded Biosignal Analysis
Design & Architectures for Signal & Image Processing (Cagliari, 8. Oktober 2013 - 10. Oktober 2013)
In: Proceedings of the 2013 Conference on Design & Architectures for Signal & Image Processing, Cagliari, Italy: 2013
Reichenbach M., Fey D.:
Extending Heterogeneous Multi Core Processor Architectures for Embedded Wireless Applications
European Microwave Conference 2013 (Nürnberg)
In: Technologies for Embedded Wireless Systems 2013
Reichenbach M., Seidler R., Pfundt B., Fey D.:
Fast image processing for optical metrology utilizing heterogeneous computer architectures
In: Computers & Electrical Engineering (2013)
ISSN: 0045-7906
DOI: 10.1016/j.compeleceng.2013.09.008
URL: http://www.sciencedirect.com/science/article/pii/S0045790613002474
Schäfer Andreas, Kronfeldner Konstantin, Heller Thomas:
A Scalable Backend for True MMORPGs -- Bringing Supercomputer Tech Back to Gaming
GPU Technology Conference (San Jose)
In: GPU Technology Conference -- Poster Track 2013
URL: http://on-demand.gputechconf.com/gtc/2013/poster/pdf/P0234_AndreasSchaefer.pdf
Schäfer A., Reichenbach M., Fey D.:
Continuous Integration and Automation for Devops
In: IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011, Dordrecht: Springer Verlag, 2013, S. 345-358 (Lecture Notes in Electrical Engineering, Bd.170 LNEE)
ISBN: 9400747853
DOI: 10.1007/978-94-007-4786-9_28
URL: http://www.springerlink.com/content/n127023783207158/
Schönwetter D., Sieh V., Fey D.:
Porting an Engine Control Application to a Virtual Environment by using an Open Source Real Time Operating System
Embedded World Conference (Nuremberg)
In: Embedded World Conference Proceedings, Haar: 2013

Drescher G., Hönig T., Maier S., Oechslein B., Schröder-Preikschat W.:
A Scalability-Aware Kernel Executive for Many-Core Operating Systems
International Workshop on Runtime and Operating Systems for the Many-core Era (ROME 2013) (Aachen, 26. August 2013)
In: Proceedings of the 1st Workshop on Runtime and Operating Systems for the Many-core Era, Berlin-Heidelberg: 2013
DOI: 10.1007/978-3-642-54420-0_80
URL: https://www4.cs.fau.de/Publications/2013/drescher_13_rome.pdf
Egger C.:
Analysing and attacking the I2P Network Database (Bachelorarbeit, 2013)
URL: https://static.siccegge.de/pdfs/bachelor-thesis.pdf
Fang M., Leyh G., Elsner C., Doerr J.:
Experiences During Extraction of Variability Models for Warehouse Management Systems
20th Asia-Pacific Software Engineering Conference (APSEC 2013) (Bangkok, Thailand, 2. Dezember 2013 - 5. Dezember 2013)
In: Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013) 2013
DOI: 10.1109/APSEC.2013.124
Fang M., Leyh G., Elsner C., Dorr J.:
Challenges in Managing Behavior Variability of Production Control Software
4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013) (San Francisco, CA, USA, 20. Mai 2013 - 20. Mai 2013)
In: Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013) 2013
DOI: 10.1109/PLEASE.2013.6608658
URL: http://www4.informatik.uni-erlangen.de/Publications/2013/elsner_13_please.pdf
Gorin D., Schröder L., Wißmann T.:
Reasoning with Bounded Self-reference Using Logical Interpreters
26th International Workshop on Description Logics, DL 2013 (Ulm, 23. Juli 2013 - 26. Juli 2013)
In: Proc. 26th International Workshop on Description Logics, DL 2013, Aachen: 2013
Open Access: http://ceur-ws.org/Vol-1014/paper_75.pdf
Hoffmann M., Dietrich C., Lohmann D.:
dOSEK: A Dependable RTOS for Automotive Applications
19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) (Vancouver, British Columbia, Canada, 2. Dezember 2013 - 4. Dezember 2013)
In: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC '13) 2013
DOI: 10.1109/PRDC.2013.22
URL: http://www4.cs.fau.de/Publications/2013/hoffmann_13_prdc.pdf
Hoffmann M., Dietrich C., Lohmann D.:
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience
Informatik 2013 (Koblenz, Germany)
In: Proceedings of the 2nd GI Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13) 2013
URL: http://www4.cs.fau.de/Publications/2013/hoffmann_13_sobres.pdf
Holl G., Grünbacher P., Elsner C., Vierhauser M.:
An Infrastructure for the Life Cycle Management of Multi Product Lines
Proceedings of the 28th Symposium On Applied Computing (SAC 2013) (Coimbra, Portugal, 18. März 2013 - 22. März 2013)
In: 28th Symposium On Applied Computing. Track on Software Architecture: Theory, Technology, and Applications (SAC-SATTA 2013), to appear: 2013
DOI: 10.1145/2480362.2480691
Hönig Timo, Eibel Christopher, Schröder-Preikschat Wolfgang, Cassens Björn, Kapitza Rüdiger:
Proactive Energy-Aware System Software Design with SEEP
EASED (Oldenburg, Germany, 25. April 2013 - 25. April 2013)
In: Proceedings of the 2nd Workshop on Energy Aware Software-Engineering and Development 2013
URL: http://www4.cs.fau.de/Publications/2013/hoenig_13_eased.pdf
Kurmus A., Tartler R., Dorneanu D., Heinloth B., Rothberg V., Ruprecht A., Schröder-Preikschat W., Lohmann D., Kapitza R.:
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring
Network and Distributed System Security Symposium (San Diego, CA United States, 24. Februar 2013 - 27. Februar 2013)
In: Proceedings of the 20th Network and Distributed System Security Symposium (NDSS '13) 2013
URL: http://www4.cs.fau.de/Publications/2013/kurmus_13_ndss.pdf
Maier S.:
Leveraging Non-Blocking Synchronization in a Process-Based Many-Core OS Kernel (Masterarbeit, 2013)
Müller R.:
Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung
Echtzeit 2013 (Boppard)
In: Funktionale Sicherheit, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-41309-4_6
Müller T., Spath H., Mäckl R., Freiling F.:
STARK Tamperproof Authentication to Resist Keylogging
Financial Cryptography and Data Security 2013 (Okinawa, Japan, 1. April 2013 - 5. April 2013)
In: Proceedings of FC2013 2013
DOI: 10.1007/978-3-642-39884-1_25
Nadi S., Dietrich C., Tartler R., Holt RC., Lohmann D.:
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?
MRS 2013: The 10th Working Conference on Mining Software Repositories (San Francisco, CA, USA, 18. Mai 2013 - 19. Mai 2013)
In: Proceedings of the 10th Working Conference on Mining Software Repositories, Los Alamitos, CA, USA: 2013
DOI: 10.1109/MSR.2013.6624017
URL: http://www4.cs.fau.de/Publications/2013/nadi_13_msr.pdf
Paul J., Stechele W., Kroehnert M., Asfour T., Oechslein B., Erhardt C., Schedel J., Lohmann D., Schröder-Preikschat W.:
A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees
DASIP 2013 (Cagliari, Italy, 8. Oktober 2013 - 10. Oktober 2013)
In: Proceedings of the 2013 Conference on Design & Architectures for Signal & Image Processing 2013
Schultis KB., Elsner C., Lohmann D.:
Moving Towards Industrial Software Ecosystems: Are Our Software Architectures Fit for the Future?
4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013) (San Francisco, CA, USA, 20. Mai 2013 - 20. Mai 2013)
In: Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013), to appear: 2013
DOI: 10.1109/PLEASE.2013.6608655
URL: http://www4.informatik.uni-erlangen.de/Publications/2013/schultis_13_please.pdf
Stengel K., Schmaus F., Kapitza R.:
EsseOS: Haskell-based Tailored Services for the Cloud
International Workshop on Adaptive and Reflective Middleware (Beijing, China, 9. Dezember 2013 - 13. Dezember 2013)
In: Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware (ARM '13) 2013
DOI: 10.1145/2541583.2541587
URL: http://doi.acm.org/10.1145/2541583.2541587
Stilkerich I., Strotz M., Erhardt C., Hoffmann M., Lohmann D., Scheler F., Schröder-Preikschat W.:
A JVM for Soft-Error-Prone Embedded Systems
The 14th Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013) (Seattle, Washington, USA, 20. Juni 2013 - 21. Juni 2013)
In: Proceedings of the 14th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems 2013
DOI: 10.1145/2465554.2465571
URL: http://www4.cs.fau.de/Publications/2013/lctes167-stilkerich.pdf
Tartler R.:
Mastering Variability Challenges in Linux and Related Highly-Configurable System Software (Dissertation, 2013)
URL: http://opus4.kobv.de/opus4-fau/files/3613/ReinhardTartlerDissertation.pdf
Teich J., Schröder-Preikschat W., Herkersdorf A.:
Invasive Computing - Common Terms and Granularity of Invasion
Cornell: Cornell University Library, 2013
(Dagstuhl Preprint Serie)
URL: http://arxiv.org/pdf/1304.6067v1.pdf

Ahsen O., Tao YK., Potsaid B., Sheikine Y., Jiang J., Grulkowski I., Tsai TH., Jayaraman V., Kraus M., Connolly JL., Hornegger J., Cable AE., Fujimoto JG.:
Swept source optical coherence microscopy using a 1310 nm VCSEL light source
In: Optics Express 21.0 (2013), S. 18021-18033
ISSN: 1094-4087
DOI: 10.1364/OE.21.018021
Aichert A., Manhart M., Navalpakkam B., Grimm R., Hutter J., Maier A., Hornegger J., Dörfler A.:
A Realistic Digital Phantom for Perfusion C-Arm CT Based on MRI Data
IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC) 2013 (Seoul, South Korea, 27. Oktober 2013 - 2. November 2013)
In: 2013 IEEE Nuclear Science Symposium and Medical Imaging Conference Record (NSS/MIC) 2013
DOI: 10.1109/NSSMIC.2013.6829168
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Aichert13-ARD.pdf
Bauer M., Kuschel C., Ritter D., Sembritzki K.:
Comparison of PGAS Languages on a Linked Cell Algorithm
25. PARS-Workshop (Erlangen)
In: PARS Mitteilungen, Erlangen: 2013
URL: https://www10.informatik.uni-erlangen.de/Publications/Papers/2013/Bauer_PARS.pdf
Bauer S., Seitel A., Hofmann H., Blum T., Wasza J., Balda M., Meinzer HP., Navab N., Hornegger J., Maier-Hein L.:
Real-Time Range Imaging in Health Care: A Survey
In: Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications, Berlin Heidelberg: Springer, 2013, S. 228-254 (Lecture Notes in Computer Science, Bd.8200)
ISBN: 978-3-642-44963-5
DOI: 10.1007/978-3-642-44964-2_11
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Bauer13-RRI.pdf
Bauer S., Wasza J., Lugauer F., Neumann D., Hornegger J.:
Real-Time RGB-D Mapping and 3-D Modeling on the GPU Using the Random Ball Cover
In: Fossati, Andrea and Gall, Juergen and Grabner, Helmut and Ren, Xiaofeng and Konolige, Kurt (Hrsg.): Consumer Depth Cameras for Computer Vision, 2013, S. 27-48 (Advances in Computer Vision and Pattern Recognition)
ISBN: 978-1-4471-4639-1
DOI: 10.1007/978-1-4471-4640-7_2
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Bauer13-RRM.pdf
Berger E., Vogt D., Haji Ghassemi N., Jung B., Ben Amor H.:
Inferring guidance information in cooperative human-robot tasks
Humanoid Robots (Humanoids), 2013 13th IEEE-RAS International Conference on
In: Inferring guidance information in cooperative human-robot tasks 2013
Berkels B., Bauer S., Ettl S., Arold O., Hornegger J., Rumpf M.:
Joint Surface Reconstruction and 4D Deformation Estimation from Sparse Data and Prior Knowledge for Marker-Less Respiratory Motion Tracking
In: Medical Physics 40 (2013), S. 091703 1-10
ISSN: 0094-2405
DOI: 10.1118/1.4816675
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Berkels13-JSR.pdf
Bernecker D., Riess C., Christlein V., Angelopoulou E., Hornegger J.:
Representation Learning for Cloud Classification
35th German Conference on Pattern Recognition (GCPR) (Saarbrücken, 6. September 2013)
In: Weickert Joachim, Hein Matthias, Schiele Bernt (Hrsg.): Pattern Recognition 2013
DOI: 10.1007/978-3-642-40602-7_42
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Bernecker13-RLF.pdf
Bier B., Maier A., Hofmann H., Schwemmer C., Xia Y., Struffert T., Hornegger J.:
Truncation correction for VOI C-arm CT using scattered radiation
Medical Imaging 2013: Physics of Medical Imaging (Lake Buena Vista, FL)
DOI: 10.1117/12.2007486
Bier B., Schwemmer C., Maier A., Hofmann H., Xia Y., Hornegger J., Struffert T.:
Convolution-Based Truncation Correction for C-Arm CT Using Scattered Radiation
Bildverarbeitung für die Medizin 2013 (Heidelberg, 3. März 2013 - 5. März 2013)
In: Meinzer Hans-Peter, Deserno Thomas Martin, Handels Heinz, Tolxdorff Thomas (Hrsg.): Bildverarbeitung für die Medizin 2013, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36480-8_59
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Bier13-CTC.pdf
Bocklet T., Riedhammer KT., Eysholdt U., Nöth E.:
AUTOMATIC PHONEME ANALYSIS IN CHILDREN WITH CLEFT LIP AND PALATE
Bocklet T., Steidl S., Nöth E., Skodda S.:
Automatic Evaluation of Parkinson's Speech - Acoustic, Prosodic and Voice Related Cues
INTERSPEECH 2013 - 14th Annual Conference of the International Speech Communication Association (ISCA) (Lyon, 25. August 2013 - 29. August 2013)
In: ISCA (Hrsg.): Proceedings of the 14th Annual Conference of the International Speech Communication Association (INTERSPEECH 2013) 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Bocklet13-AEO.pdf
Bourier F., Vukajlovic D., Brost A., Hornegger J., Strobel N., Kurzidim K.:
Pulmonary vein isolation supported by MRI-derived 3D-augmented biplane fluoroscopy: A feasibility study and a quantitative analysis of the accuracy of the technique
In: Journal of Cardiovascular Electrophysiology 24 (2013), S. 113-120
ISSN: 1045-3873
DOI: 10.1111/jce.12009
Brost A., Raab J., Kleinöder A., Kurzendorfer T., Bourier F., Koch M., Hoffmann M., Strobel N., Kurzidim K., Hornegger J.:
Medizinische Bildverarbeitung für die minimal-invasive Behandlung von Vorhofflimmern
In: Deutsche Zeitschrift für Klinische Forschung 17.0 (2013), S. 36-41
ISSN: 1616-0347
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Hornegger13-MBF.pdf
Budai A., Bock R., Maier A., Hornegger J., Michelson G.:
Robust Vessel Segmentation in Fundus Images
In: International Journal of Biomedical Imaging 2013 (2013)
ISSN: 1687-4188
DOI: 10.1155/2013/154860
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Budai13-RVS.pdf
Bögel M., Hofmann H., Hornegger J., Fahrig R., Britzen S., Maier A.:
Respiratory Motion Compensation Using Diaphragm Tracking for Cone-Beam C-Arm CT: A Simulation and a Phantom Study
In: International Journal of Biomedical Imaging 2013.0 (2013), S. 1-10
ISSN: 1687-4188
DOI: 10.1155/2013/520540
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Boegel13-RMC.pdf
Carvalho T., Riess C., Angelopoulou E., Pedrini H., Rocha A.:
Exposing Digital Image Forgeries by Illumination Color Classification
In: IEEE Transactions on Information Forensics and Security 8 (2013), S. 1182--1194
ISSN: 1556-6013
DOI: 10.1109/TIFS.2013.2265677
Christlein V., Riess C., Angelopoulou E., Evangelopoulos G., Kakadiaris I.:
The Impact of Specular Highlights on 3D-2D Face Recognition
Biometric and Surveillance Technology for Human and Activity Identification X (Baltimore, MD, 2. Mai 2013 - 2. Mai 2013)
In: SPIE (Hrsg.): Biometric and Surveillance Technology for Human and Activity Identification 2013
DOI: 10.1117/12.2019014
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Christlein13-TIO.pdf
Dennerlein F., Maier A.:
Approximate truncation robust computed tomography - ATRACT
In: Physics in Medicine and Biology 58.0 (2013), S. 6133-6148
ISSN: 0031-9155
DOI: 10.1088/0031-9155/58/17/6133
Eitzinger J., Hager G., Hofmann H., Hornegger J., Wellein G.:
Pushing the limits for medical image reconstruction on recent standard multicore processors
In: International Journal of High Performance Computing Applications 27 (2013), S. 162-177
ISSN: 1094-3420
DOI: 10.1177/1094342012442424
El-Rafei AMI., Engelhorn T., Wärntges S., Dörfler A., Hornegger J., Michelson G.:
Glaucoma classification based on visual pathway analysis using diffusion tensor imaging
In: Magnetic Resonance Imaging 31 (2013), S. 1081-1091
ISSN: 0730-725X
DOI: 10.1016/j.mri.2013.01.001
Forman C., Grimm R., Hutter J., Maier A., Hornegger J., Zenge MO.:
Free-Breathing Whole-Heart Coronary MRA: Motion Compensation Integrated into 3D Cartesian Compressed Sensing Reconstruction
Medical Image Computing and Computer-Assisted Intervention (MICCAI) (Nagoya, Japan, 22. September 2013 - 26. September 2013)
In: Mori K., Sakuma I., Sato Y., Barillot C., Navab N. (Hrsg.): MICCAI 2013, Part II, LNCS 8150, Berlin Heidelberg: 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Forman13-FWC.pdf
Forman C., Grimm R., Hutter J., Wasza J., Kraus M., Hornegger J., Zenge MO.:
Free-Breathing Whole-Heart Coronary MRI: An Image-Based Motion Compensation Integrated Into Compressed-Sensing Reconstruction
International Society for Magnetic Resonance in Medicine (ISMRM) (Salt Lake City, UT, USA)
In: Proceedings of the 21st Annual Meeting of ISMRM 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Forman13-FWC.pdf
Forman C., Piccini D., Hornegger J., Zenge MO.:
Novel Projection-Based Unsupervised Respiratory Motion Feedback for Free-Breathing Whole-Heart Coronary MR Imaging
International Society for Magnetic Resonance in Medicine (ISMRM) (Salt Lake City, UT, 20. April 2013 - 26. April 2013)
In: ISMRM (Hrsg.): Proceedings of the 21st Annual Meeting of ISMRM 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Forman13-NPU.pdf
Gloe T., Kirchner M., Riess C.:
How we learned to stop worrying about content and love the metadata
(2013)
Open Access: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.714.5583&rep=rep1&type=pdf
URL: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.714.5583&rep=rep1&type=pdf
(Working Paper)
Gradl S., Leutheuser H., Kugler P., Biermann T., Kreil S., Kornhuber J., Bergner M., Eskofier B.:
Somnography using unobtrusive motion sensors and Android-based mobile phones
35th Annual International Conference of the IEEE EMBS (Osaka, 3. Juli 2013 - 7. Juli 2013)
In: Engineering in Medicine and Biology Society (Hrsg.): IEEE EMBC 2013 2013
DOI: 10.1109/EMBC.2013.6609717
Grimm R., Bauer S., Kiefer B., Hornegger J., Block KT.:
Optimal Channel Selection for Respiratory Self-Gating Signals
ISMRM 21th Annual Meeting (Salt Lake City, UT, 20. April 2013 - 26. April 2013)
In: Gold Garry E. (Hrsg.): Proceedings of International Society for Magnetic Resonance in Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Grimm13-OCS.pdf
Grimm R., Forman C., Hutter J., Kiefer B., Hornegger J., Block KT.:
Fast Automatic Coil Selection for Radial Stack-of-stars GRE Imaging
ISMRM 21st Annual Meeting (Salt Lake City, UT, 20. April 2013 - 26. April 2013)
In: Gold Garry E. (Hrsg.): Proceedings of International Society for Magnetic Resonance in Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Grimm13-FAC.pdf
Grimm R., Fürst S., Dregely I., Forman C., Hutter J., Ziegler S., Nekolla SG., Kiefer B., Schwaiger M., Hornegger J., Block KT.:
Self-Gated Radial MRI for Respiratory Motion Compensation on Hybrid PET/MR Systems
MICCAI 2013 (Nagoya, Japan, 22. September 2013 - 26. September 2013)
In: Mori Kensaku, Sakuma Ichiro, Sato Yoshinobu, Barillot Christian, Navab Nassir (Hrsg.): Proceedings of the 16th International Conference on Medical Image Computing and Computer Assisted Intervention 2013
DOI: 10.1007/978-3-642-40760-4_3
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Grimm13-SRM.pdf
Grimm R., Li F., Forman C., Hutter J., Kiefer B., Hornegger J., Block KT.:
Automatic Bolus Analysis for DCE-MRI Using Radial Golden-Angle Stack-of-stars GRE Imaging
ISMRM 21st Annual Meeting (Salt Lake City, UT, 20. April 2013 - 26. April 2013)
In: Gold Garry E. (Hrsg.): International Society for Magnetic Resonance in Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Grimm13-ABA.pdf
Haase S., Bauer S., Wasza J., Kilgus T., Maier-Hein L., Schneider A., Kranzfelder M., Feußner H., Hornegger J.:
3-D Operation Situs Reconstruction with Time-of-Flight Satellite Cameras Using Photogeometric Data Fusion
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013, Lecture Notes in Computer Science (Nagoya, 22. September 2013 - 26. September 2013)
In: Mori Kensaku, Sakuma Ichiro, Sato Yoshinobu, Barillot Christian, Navab Nassir (Hrsg.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013, Lecture Notes in Computer Science 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Haase13-3OS.pdf
Haase S., Forman C., Kilgus T., Bammer R., Maier-Hein L., Hornegger J.:
ToF/RGB Sensor Fusion for 3-D Endoscopy
In: Current Medical Imaging Reviews 9.0 (2013), S. 113-119
ISSN: 1573-4056
DOI: 10.2174/1573405611309020006
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Haase13-TSF.pdf
Haase S., Köhler T., Kilgus T., Maier-Hein L., Hornegger J., Feußner H.:
Instrument Segmentation in Hybrid 3-D Endoscopy using Multi-Sensor Super-Resolution
CURAC 2013 (Innsbruck, 28. November 2013)
In: Freysinger Wolfgang (Hrsg.): Computer- und Roboter Assistierte Chirurgie 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Haase13-ISI.pdf
Haase S., Wasza J., Kilgus T., Hornegger J.:
Laparoscopic instrument localization using a 3-D Time-of-Flight/RGB endoscope
2013 IEEE Workshop on Applications of Computer Vision, WACV 2013 (Clearwater Beach, FL)
DOI: 10.1109/WACV.2013.6475053
Henker R., Scholz M., Gaffling S., Nagayoshi A., Hampel U., Garreis F., Hornegger J., Paulsen F.:
Morphological Features of the Porcine Lacrimal Gland and Its Compatibility for Human Lacrimal Gland Xenografting
In: PLoS ONE 8.0 (2013), S. e74046
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0074046
Hoch T., Kreitz S., Gaffling S., Pischetsrieder M., Heß A.:
Manganese-Enhanced Magnetic Resonance Imaging for Mapping of Whole Brain Activity Patterns Associated with the Intake of Snack Food in Ad Libitum Fed Rats
In: PLoS ONE 8 (2013)
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0055354
Hoffmann M., Bourier F., Strobel N., Hornegger J.:
Structure-Enhancing Visualization for Manual Registration in Fluoroscopy
Bildverarbeitung für die Medizin 2013 (Heidelberg, 3. März 2013)
In: Meinzer Hans-Peter, Deserno Thomas Martin, Handels Heinz, Tolxdorff Thomas (Hrsg.): Bildverarbeitung für die Medizin 2013, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36480-8_43
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Hoffmann13-SVF.pdf
Hoffmann M., Brost A., Jakob C., Koch M., Bourier F., Kurzidim K., Hornegger J., Strobel N.:
Reconstruction method for curvilinear structures from two views
Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling (Lake Buena Vista (Orlando Area), Florida, USA, 9. Februar 2013)
In: David R. Holmes, Ziv R. Yaniv (Hrsg.): Proc. SPIE 8671, Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling 2013
DOI: 10.1117/12.2006346
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Hoffmann13-RMF.pdf
Hutter J., Greiser A., Grimm R., Forman C., Hornegger J., Schmitt P.:
Highly undersampled time resolved phase-contrast MRA with flow-adapted compressed sensing reconstruction
ISMRM 2013 (Salt Lake City)
In: Proceedings of the 21st Annual meeting of the ISMRM 2013
Hutter J., Grimm R., Ciocan M., Hornegger J., Schmitt P.:
Iterative Multi-Slice Compressed Sensing Reconstruction for Peripheral MRA
ESMRMB 2013 (Toulouse)
In: Proceedings of the annual conference of the ESMRMB 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Hutter13-IMC.pdf
Hutter J., Grimm R., Forman C., Greiser A., Hornegger J., Schmitt P.:
Multi-Dimensional Flow-Adapted Compressed Sensing (MDFCS) for time-resolved velocity-encoded Phase Conrast MRA
10th IEEE International Symposium on Biomedical Imaging: From Nano to Macro (San Francisco, 7. April 2013 - 11. April 2013)
In: IEEE (Hrsg.): Proceedings of the 10th IEEE International Symposium on Biomedical Imaging 2013
Hutter J., Schmitt P., Gunhild A., Greiser A., Forman C., Grimm R., Hornegger J., Maier A.:
Low-rank and Sparse Matrix Decomposition for Compressed Sensing reconstruction of Magnetic Resonance 4D Phase Contrast blood flow imaging (LoSDeCoS 4D-PCI)
16th International Conference (MICCAI 2013), (Nagoya, Japan, 22. September 2013 - 26. September 2013)
In: MICCAI (Hrsg.): Proceedings of the Medical Image Computing and Computer-Assisted Intervention, New-York: 2013
Hönig FT., Sonmez R., Nöth E., Manser M.:
Unsupervised Segmentation and Classification of Orca Vocalizations using the Fundamental Frequency Variation Spectrum (abstract)
6th International Workshop on Detection, Classification, Localization, & Density Estimation of Marine Mammals using Passive Acoustics, Abstract book (St-Andrews, Schottland, 12. Juni 2013 - 15. Juni 2013)
In: Scottish Oceans Institute (Hrsg.): 6th International Workshop on Detection, Classification, Localization, & Density Estimation of Marine Mammals using Passive Acoustics 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Hoenig13-USA.pdf
Jakob C., Kugler P., Hebenstreit F., Reinfelder S., Jensen U., Schuldhaus D., Lochmann M., Eskofier B.:
Estimation of the Knee Flexion-Extension Angle During Dynamic Sport Motions Using Body-worn Inertial Sensors
8th International Conference on Body Area Networks (Boston, MA, USA, 30. September 2013 - 2. Oktober 2013)
In: IEEE (Hrsg.): BodyNets 2013 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Jakob13-EOT.pdf
Kajic V., Esmaeelpour M., Glittenberg C., Kraus M., Hornegger J., Othara R., Binder S., Fujimoto JG., Drexler W.:
Automated three-dimensional choroidal vessel segmentation of 3D 1060 nm OCT retinal data
In: Biomedical Optics Express 4.0 (2013), S. 134-150
ISSN: 2156-7085
DOI: 10.1364/BOE.4.000134
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Kajic13-ATC.pdf
Klucken J., Barth J., Kugler P., Schlachetzki J., Henze T., Marxreiter F., Kohl Z., Steidl R., Hornegger J., Eskofier B., Winkler J.:
Unbiased and Mobile Gait Analysis Detects Motor Impairment in Parkinson's Disease
In: PLoS ONE 8 (2013)
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0056956
Koch M., Bauer S., Hornegger J., Strobel N.:
Towards Deformable Shape Modeling of the Left Atrium Using Non-Rigid Coherent Point Drift Registration
Bildverarbeitung für die Medizin 2013 (Heidelberg, Germany, 3. März 2013)
In: Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (Hrsg.): Bildverarbeitung für die Medizin 2013, Berlin Heidelberg: 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Koch13-TDS.pdf
Koch M., Brost A., Hornegger J., Strobel N.:
Respiratory Motion Influence on Catheter Contact Force During Radio Frequency Ablation Procedures
SPIE Medical Imaging 2013 (Lake Buena Vista (Orlando Area), Florida, 9. Februar 2013)
In: David R. Holmes, Ziv R. Yaniv (Hrsg.): SPIE Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling 2013
DOI: 10.1117/12.2006369
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Koch13-RMI.pdf
Koch M., Kleinöder A., Bourier F., Hornegger J., Strobel N.:
Novel Method for Comparison of Pre-Planned Ablation Lines for Treatment of Atrial Fibrillation Using a Common Reference Model
International Symposium on Biomedical Imaging: From Nano to Macro (ISBI) (San Francisco, CA, USA, 7. April 2013)
In: IEEE (Hrsg.): Proceedings of 2013 10th IEEE International Symposium on Biomedical Imaging: From Nano to Macro 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Koch13-NMF.pdf
Kolar R., Tornow RP., Lämmer R., Odstrcilik J., Mayer MA., Gazarek J., Jan J., Kubena T., Cernosek P.:
Analysis of visual appearance of retinal nerve fibers in high resolution fundus images: a study on normal subjects
In: Computational and Mathematical Methods in Medicine 2013 (2013), S. 134543
ISSN: 1748-670X
DOI: 10.1155/2013/134543
Kugler P., Jaremenko C., Schlachetzki J., Winkler J., Klucken J., Eskofier B.:
Automatic Recognition of Parkinsons Disease Using Surface Electromyography During Standardized Gait Tests
35th Annual International Conference of the IEEE EMBS (Osaka, Japan, 3. Juli 2013 - 7. Juli 2013)
In: IEEE Engineering in Medicine and Biology Society (Hrsg.): Engineering in Medicine and Biology Society (EMBC), 2013 35th Annual International Conference of the IEEE 2013
DOI: 10.1109/EMBC.2013.6610865
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Kugler13-ARO.pdf
Kurzendorfer T., Brost A., Jakob C., Mewes P., Bourier F., Koch M., Kurzidim K., Hornegger J., Strobel N.:
Cryo-balloon catheter localization in fluoroscopic images
SPIE Medical Imaging 2013 (Lake Buena Vista, Florida, 9. Februar 2013)
In: David R. Holmes, Ziv R. Yaniv (Hrsg.): SPIE Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Kurzendorfer13-CBC.pdf
Käppler S., Wu W., Chen T., Koch M., Kiraly AP., Strobel N., Hornegger J.:
Semi-Automatic Catheter Model Generation using Biplane X-Ray Images
International Symposium on Biomedical Imaging: From Nano to Macro (ISBI) (San Francisco, CA, 7. April 2013)
In: IEEE (Hrsg.): Proceedings of 2013 10th IEEE International Symposium on Biomedical Imaging: From Nano to Macro 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Kaeppler13-SCM.pdf
Köhler T., Budai A., Kraus M., Odstrcilik J., Michelson G., Hornegger J.:
Automatic No-Reference Quality Assessment for Retinal Fundus Images Using Vessel Segmentation
International Symposium on Computer-Based Medical Systems (Porto, Portugal)
In: IEEE (Hrsg.): 2013 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) 2013
DOI: 10.1109/CBMS.2013.6627771
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Koehler13-ANQ.pdf
Köhler T., Haase S., Bauer S., Wasza J., Kilgus T., Maier-Hein L., Feußner H., Hornegger J.:
ToF Meets RGB: Novel Multi-Sensor Super-Resolution for Hybrid 3-D Endoscopy
International Conference on Medical Image Computing and Computer-Assisted Intervention (Nagoya, Japan, 22. September 2013 - 26. September 2013)
In: Mori Kensaku, Sakuma Ichiro, Sato Yoshinobu, Barillot Christian, Navab Nassir (Hrsg.): Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013, Lecture Notes in Computer Science, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-40811-3_18
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/K?hler13-TMR.pdf
Leutheuser H., Gabsteiger F., Hebenstreit F., Reis P., Lochmann M., Eskofier B.:
Comparison of the AMICA and the InfoMax Algorithm for the Reduction of Electromyogenic Artifacts in EEG Data
35th Annual International Conference of the IEEE EMBS (Osaka, 3. Juli 2013 - 7. Juli 2013)
In: Engineering in Medicine and Biology Society (Hrsg.): IEEE EMBC 2013 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Leutheuser13-COT.pdf
Leutheuser H., Schuldhaus D., Eskofier B.:
Hierarchical, Multi-Sensor Based Classification of Daily Life Activities: Comparison with State-of-the-Art Algorithms Using a Benchmark Dataset
In: Plos One 8.0 (2013), S. e75196
DOI: 10.1371/journal.pone.0075196
Liu JJ., Grulkowski I., Kraus M., Potsaid B., Lu CD., Baumann B., Duker JS., Hornegger J., Fujimoto JG.:
In vivo imaging of the rodent eye with swept source/Fourier domain OCT
In: Biomedical Optics Express 4 (2013), S. 351-363
ISSN: 2156-7085
DOI: 10.1364/BOE.4.000351
Liu JJ., Grulkowski I., Potsaid B., Jayaraman V., Cable AE., Kraus M., Hornegger J., Duker JS., Fujimoto JG.:
4D dynamic imaging of the eye using ultrahigh speed SS-OCT
Ophthalmic Technologies XXIII (San Francisco, 2. Februar 2013)
In: SPIE (Hrsg.): Proc. SPIE 8567 2013
DOI: 10.1117/12.2004369
Magaraggia J., Egli A., Kleinszig G., Graumann R., Angelopoulou E., Hornegger J.:
Calibration of a Camera-Based Guidance Solution for Orthopedic and Trauma Surgery
Bildverarbeitung für die Medizin 2013 (Heidelberg, Germany, 3. März 2013 - 5. März 2013)
In: Bildverarbeitung für die Medizin 2013 2013
DOI: 10.1007/978-3-642-36480-8_7
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Magaraggia13-COA.pdf
Magaraggia J., Kleinszig G., Graumann R., Angelopoulou E., Hornegger J.:
A Video Guided Solution for Screw Insertion in Orthopedic Plate Fixation
SPIE Medical Imaging 2013 (Lake Buena Vista (Orlando Area), Florida, USA, 12. Februar 2013 - 14. Februar 2013)
In: SPIE Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling 2013
DOI: 10.1117/12.2007718
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Magaraggia13-AVG.pdf
Maier A., Hofmann H., Berger M., Fischer P., Schwemmer C., Wu H., Müller K., Hornegger J., Choi JH., Riess C., Keil A., Fahrig R.:
CONRAD - A software framework for cone-beam imaging in radiology
In: Medical Physics 40 (2013), S. 111914
ISSN: 0094-2405
DOI: 10.1118/1.4824926
URL: https://aapm.onlinelibrary.wiley.com/doi/full/10.1118/1.4824926
Maier A., Jiang Z., Jordan JM., Riess C., Hofmann H., Hornegger J.:
Atlas-Based Linear Volume-of-Interest (ABL-VOI) Image Correction
Medical Imaging 2013: Physics of Medical Imaging (Lake Buena Vista, FL)
In: SPIE (Hrsg.): Medical Imaging 2013: Physics of Medical Imaging 2013
DOI: 10.1117/12.2006843
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Maier13-ALV.pdf
Maier J., Reinfelder S., Barth J., Klucken J., Eskofier B.:
Automatic detection of inertial sensor orientation for movement analysis in Parkinsons disease
BSA Conference 2013 - Biosignal Analysis (Rio de Janeiro, Brazil)
In: BSA Conference 2013 - Biosignal Analysis 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Maier13-ADO.pdf
Manhart M., Aichert A., Kowarschik M., Deuerling-Zheng Y., Struffert T., Dörfler A., Maier A., Hornegger J.:
Guided Noise Reduction with Streak Removal for High Speed Flat Detector CT Perfusion
IEEE Nuclear Science Symposium, Medical Imaging Conference (Seoul, Korea, 27. Oktober 2013 - 2. November 2013)
In: Proceedings NSS/MIC 2013 2013
DOI: 10.1109/NSSMIC.2013.6829278
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Manhart13-GNR.pdf
Manhart M., Fieselmann A., Deuerling-Zheng Y., Maier A., Kowarschik M.:
Dynamic Reconstruction with Statistical Ray Weighting for C-Arm CT Perfusion Imaging
12th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Lake Tahoe, CA, USA, 18. Juni 2013)
In: Leahy Richard, Qi Jinyi (Hrsg.): Proc. 12th Fully 3D 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Manhart13-DRW.pdf
Manhart M., Kowarschik M., Fieselmann A., Deuerling-Zheng Y., Royalty K., Maier A., Hornegger J.:
Dynamic Iterative Reconstruction for Interventional 4-D C-Arm CT Perfusion Imaging
In: IEEE Transactions on Medical Imaging 32.0 (2013), S. 1336-1348
ISSN: 0278-0062
DOI: 10.1109/TMI.2013.2257178
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Manhart13-DIR.pdf
Mewes P., Foertsch S., Juloski AL., Angelopoulou E., Gölder S., Guldi DM., Hornegger J., Messmann H.:
Chromoendoscopy in magnetically guided capsule endoscopy
In: Biomedical Engineering Online 12 (2013), Art.Nr.: 52
ISSN: 1475-925X
DOI: 10.1186/1475-925X-12-52
Meyer B., Brost A., Kraitchman D., Gilson WD., Strobel N., Hornegger J., Lewin J., Wacker F.:
Percutaneous punctures with MR imaging guidance: Comparison between MR imaging-enhanced fluoroscopic guidance and real-time MR imaging guidance
In: Radiology 266 (2013), S. 912-919
ISSN: 0033-8419
DOI: 10.1148/radiol.12120117
Meyer M., Riess C., Angelopoulou E., Evangelopoulos G., Kakadiaris I.:
Color Constancy in 3D-2D Face Recognition
Biometric and Surveillance Technology for Human and Activity Identification X (Baltimore, MD, 2. Mai 2013 - 2. Mai 2013)
In: SPIE (Hrsg.): Biometric and Surveillance Technology for Human and Activity Identification 2013
DOI: 10.1117/12.2018758
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Meyer13-CCI.pdf
Michelson G., Engelhorn T., Wärntges S., El-Rafei AMI., Hornegger J., Dörfler A.:
DTI parameters of axonal integrity and demyelination of the optic radiation correlate with glaucoma indices
In: Graefes Archive For Clinical and Experimental Ophthalmology 251 (2013), S. 243-253
ISSN: 0721-832X
DOI: 10.1007/s00417-011-1887-2
Mualla F., Schöll S., Sommerfeldt B., Hornegger J.:
Using the Monogenic Signal for Cell-Background Classification in Bright-Field Microscope Images
Bildverarbeitung für die Medizin 2013 (Heidelberg, 3. März 2013)
In: Meinzer Hans-Peter, Deserno Thomas Martin (Hrsg.): Proceedings des Workshops Bildverarbeitung für die Medizin 2013, Heidelberg: 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Mualla13-UTM.pdf
Mualla F., Schöll S., Sommerfeldt B., Maier A., Hornegger J.:
Automatic Cell Detection in Bright-Field Microscope Images Using SIFT, Random Forests, and Hierarchical Clustering
In: IEEE Transactions on Medical Imaging 32.0 (2013), S. 2274-2286
ISSN: 0278-0062
DOI: 10.1109/TMI.2013.2280380
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Mualla13-ACD.pdf
Müller K., Maier A., Fischer P., Bier B., Lauritsch G., Schwemmer C., Fahrig R., Hornegger J.:
Left Ventricular Heart Phantom for Wall Motion Analysis
IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC) 2013 (Seoul, South Korea, 27. Oktober 2013 - 2. November 2013)
In: 2013 IEEE Nuclear Science Symposium and Medical Imaging Conference Record (NSS/MIC) 2013
DOI: 10.1109/NSSMIC.2013.6829255
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Mueller13-LVH.pdf
Müller K., Schwemmer C., Hornegger J., Zheng Y., Wang Y., Lauritsch G., Rohkohl C., Maier A., Schultz C., Fahrig R.:
Evaluation of interpolation methods for surface-based motion compensated tomographic reconstruction for cardiac angiographic C-arm data
In: Medical Physics 40 (2013), S. 031107
ISSN: 0094-2405
DOI: 10.1118/1.4789593
Müller K., Schwemmer C., Lauritsch G., Rohkohl C., Maier A., Heidbüchel H., De Buck S., Nuyens D., Kyriakou Y., Köhler C., Fahrig R., Hornegger J.:
Image Artifact Influence on Motion Compensated Tomographic Reconstruction in Cardiac C-arm CT
Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Fully3D) (Lake Tahoe, CA, USA, 16. Juni 2013 - 21. Juni 2013)
In: Fully3D committee (Hrsg.): Proceedings of the 12th Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Mueller13-IAI.pdf
Nadler Z., Wang B., Wollstein G., Nevins J., Ishikawa H., Kagemann L., Sigal I., Ferguson D., Hammer D., Grulkowski I., Liu JJ., Kraus M., Lu CD., Hornegger J., Fujimoto JG., Schuman J.:
Automated lamina cribrosa microstructural segmentation in optical coherence tomography scans of healthy and glaucomatous eyes
In: Biomedical Optics Express 4 (2013), S. 25962608
ISSN: 2156-7085
DOI: 10.1364/BOE.4.002596
Neumann D., Grbic S., John M., Navab N., Hornegger J., Ionasec R.:
Robust Model-based 3D/3D Fusion using Sparse Matching for Minimally Invasive Surgery
Proceedings of 16th International Conference on Medical Image Computing and Computer-Assisted Intervention (Nagoya, Japan, 22. September 2013 - 26. September 2013)
In: Mori Kensaku, Sakuma Ichiro, Sato Yoshinobu, Barillot Christian, Navab Nassir (Hrsg.): MICCAI 2013, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-40811-3_22
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Neumann13-RM3.pdf
Nießner M., Kuhnert N., Selgrad K., Stamminger M., Michelson G.:
Real-time Simulation of Human Vision using Temporal Compositing with CUDA on the GPU
Proceedings 25th Workshop on Parallel Systems and Algorithms (PARS 2013) (Erlangen, Germany)
In: Proceedings 25th Workshop on Parallel Systems and Algorithms (PARS 2013) 2013
Odstrcilik J., Kolar R., Budai A., Hornegger J., Jan J., Gazarek J., Kubena T., Cernosek P., Svoboda O., Angelopoulou E.:
Retinal vessel segmentation by improved matched filtering: evaluation on a new high-resolution fundus image database
In: IET Image Processing 7 (2013), S. 373-383
ISSN: 1751-9659
DOI: 10.1049/iet-ipr.2012.0455
Osman A.:
Automated Evaluation of Three Dimensional Ultrasonic Datasets (Dissertation, 2013)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/3478
Paulus J., Hornegger J., Schmidt M., Eskofier B., Michelson G.:
An evaluation system for stereopsis of beach volleyball players measuring perception time as a function of disparity within a virtual environment
In: Journal of Vision 13 (2013), S. 1171
ISSN: 1534-7362
DOI: 10.1167/13.9.1171
Paulus Jan, Michelson Georg, Barkowsky Marcus, Hornegger Joachim, Eskofier Björn, Schmidt Michael:
Measurement of individual changes in the performance of human stereoscopic vision for disparities at the limits of the zone of comfortable viewing
3DV 2013 International Conference on 3D Vision (Seattle, Washington, USA, 29. Juni 2013 - 1. Juli 2013)
In: 2013 International Conference on 3D Vision - 3DV 2013 2013
DOI: 10.1109/3DV.2013.48
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Paulus13-MOI.pdf
Raab J., Schäfer H., Brost A., Stamminger M., Pfister M.:
Non-photorealistic rendering for minimally invasive procedures
SPIE Medical Imaging 2013 (Lake Buena Vista, Florida, 9. Februar 2013)
In: David R. Holmes, Ziv R. Yaniv (Hrsg.): SPIE Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling 2013
DOI: 10.1117/12.2001385
Riedhammer KT., Gropp M., Bocklet T., Hönig FT., Nöth E., Steidl S.:
LMELectures: a Multimedia Corpus of Acedemic Spoken English
SLAM 2013 - First Workshop on Speech, Language and Audio in Multimedia (Marseille, 22. August 2013 - 23. August 2013)
In: ISCA SIG on Speech and Language in Multimedia IEEE SIG on Audio and Speech Processing in Multimedia (Hrsg.): Proceedings of the First Workshop on Speech, Language and Audio in Multimedia 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Riedhammer13-LAM.pdf
Riess C.:
Physics-based and Statistical Features for Image Forensics - Physikalische und statistische Merkmale in der Bildforensik (Dissertation, 2013)
URL: http://www.opus.ub.uni-erlangen.de/opus/volltexte/2013/4645/
Riess C., Berger M., Wu H., Manhart M., Fahrig R., Maier A.:
TV or not TV? That is the Question
Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Lake Tahoe)
In: Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Riess13-TON.pdf
Riess C., Pfaller S., Bernecker D., Angelopoulou E.:
Towards the Estimation of Non-Uniform Illumination in Real-World Scenes
19. Workshop Farbbildverarbeitung (Berlin)
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Riess13-TTE.pdf
Rothgang E., Gilson WD., Wacker F., Hornegger J., Lorenz CH., Weiss CR.:
Rapid freehand MR-guided percutaneous needle interventions: An image-based approach to improve workflow and feasibility
In: Journal of Magnetic Resonance Imaging 37 (2013), S. 1202-1212
ISSN: 1053-1807
DOI: 10.1002/jmri.23894
Paulus J., Michelson G., Barkowsky M., Hornegger J., Eskofier B., Schmidt M.:
Measurement of Individual Changes in the Performance of Human Stereoscopic Vision for Disparities at the Limits of the Zone of Comfortable Viewing
In: Proceedings of the IEEE (2013), S. 310--317
ISSN: 0018-9219
DOI: 10.1109/3DV.2013.48
Schmitt K., Schöndube H., Stiersdorfer K., Hornegger J., Noo F.:
Challenges posed by statistical weights and data redundancies in iterative X-ray CT reconstruction
Fully Three-Dimensional image Reconstruction in Radiology and Nuclear Medicine (Fully3D) (Lake Tahoe, CA, 16. Juni 2013 - 21. Juni 2013)
In: Leahy Richard, Qi Jinyi (Hrsg.): Proceedings of the 12th Fully Three-Dimensional image Reconstruction in Radiology and Nuclear Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Schmitt13-CPB.pdf
Schmitt K., Schöndube H., Stiersdorfer K., Hornegger J., Noo F.:
Comparative evaluation of linear interpolation models for iterative reconstruction in X-ray CT
Medical Imaging 2013: Physics of Medical Imaging (Lake Buena Vista, FL)
DOI: 10.1117/12.2008175
Schuldhaus D., Dorn S., Leutheuser H., Tallner A., Klucken J., Eskofier B.:
An Adaptable Inertial Sensor Fusion-Based Approach for Energy Expenditure Estimation.
The 15th International Conference on Biomedical Engineering (ICBME 2013) (University Town, Singapore, 4. Dezember 2013 - 7. Dezember 2013)
In: Goh James (Hrsg.): The 15th International Conference on Biomedical Engineering, Heidelberg: 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2014/Schuldhaus14-AAI.pdf
Schuldhaus D., Leutheuser H., Eskofier B.:
Classification of Daily Life Activities by Decision Level Fusion of Inertial Sensor Data
8th International Conference on Body Area Networks (BODYNETS 2013) (Boston, 30. September 2013 - 2. Oktober 2013)
In: ACM Digital Library (Hrsg.): 8th International Conference on Body Area Networks 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Schuldhaus13-COD.pdf
Schuller B., Steidl S., Batliner A.:
Introduction to the Special Issue on Paralinguistics in Naturalistic Speech and Language (Editorial)
In: Computer Speech and Language 27 (2013), S. 1-3
ISSN: 0885-2308
DOI: 10.1016/j.csl.2012.06.002
Schuller B., Steidl S., Batliner A., Burkhardt F., Devillers L., Müller C., Narayanan S.:
Paralinguistics in speech and language - State-of-the-art and the challenge
In: Computer Speech and Language 27 (2013), S. 4-39
ISSN: 0885-2308
DOI: 10.1016/j.csl.2012.02.005
Schuller B., Steidl S., Batliner A., Vinciarelli A., Scherer K., Ringeval F., Chetouani M., Weninger F., Eyben F., Marchi E., Martillaro M., Salamin H., Polychroniou A., Valente F., Kim S.:
The INTERSPEECH 2013 Computational Paralinguistics Challenge: Social Signals, Conflict, Emotion, Autism
INTERSPEECH 2013 - 14th Annual Conference of the International Speech Communication Association (ISCA) (Lyon, France, 25. August 2013 - 29. August 2013)
In: ISCA (Hrsg.): Proceedings of the 14th Annual Conference of the International Speech Communication Association (INTERSPEECH 2013) 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Schuller13-TI2.pdf
Schwemmer C., Rohkohl C., Lauritsch G., Müller K., Hornegger J.:
Opening Windows - Increasing Window Size in Motion-Compensated ECG-gated Cardiac Vasculature Reconstruction
Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Fully3D) (Lake Tahoe, CA, 16. Juni 2013 - 21. Juni 2013)
In: Leahy Richard, Qi Jinyi (Hrsg.): Proceedings of the 12th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Schwemmer13-OW-.pdf
Schwemmer C., Rohkohl C., Lauritsch G., Müller K., Hornegger J.:
Residual Motion Compensation in ECG-Gated Interventional Cardiac Vasculature Reconstruction
In: Physics in Medicine and Biology 58.0 (2013), S. 3717-3737
ISSN: 0031-9155
DOI: 10.1088/0031-9155/58/11/3717
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Schwemmer13-RMC.pdf
Seeger C., Brost A., Dobre M., Fischbein N., Han Z., Maclaren J., Vos S., Hornegger J., Bammer R.:
Fully Automatic Maximum Intensity Projections of Regions of Interest in Magnetic Resonance Angiograms
ISMRM 2013 (Salt Lake City, UT, 20. April 2013 - 26. April 2013)
In: ISMRM (Hrsg.): Proceedings of the 21st Annual meeting of the ISMRM 2013
Setyawan I., Timotius I.:
Content-Dependent Spatio-Temporal Video Watermarking using 3-Dimensional Discrete Cosine Transform
The 5th International Conference on Information Technology and Electrical Engineering (ICITEE 2013) (Yogyakarta)
In: The 5th International Conference on Information Technology and Electrical Engineering (ICITEE 2013) 2013
DOI: 10.1109/ICITEED.2013.6676215
URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6676215
Sickel K.:
Computerized Automatic Modeling of Medical Prostheses (Abschlussarbeit, 2013)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/3378
Tian M., Yang Q., Maier A., Schasiepen I., Maass N., Elter M.:
An automatic histogram-based initializing algorithm for K-means clustering in CT
Bildverarbeitung für die Medizin 2013 (Heidelberg, Germany, 3. März 2013)
In: Meinzer Hans-Peter, Deserno Thomas Martin, Handels Heinz, Tolxdorff Thomas (Hrsg.): Proceedings des Workshops Bildverarbeitung für die Medizin 2013 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Tian13-AAH.pdf
Timotius I., Setyawan I.:
Using Estimated Arithmetic Means of Accuracies to Select Features for Face--based Gender Classification
The 5th International Conference on Information Technology and Electrical Engineering (ICITEE 2013) (Yogyakarta)
In: The 5th International Conference on Information Technology and Electrical Engineering (ICITEE 2013) 2013
DOI: 10.1109/ICITEED.2013.6676246
URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6676246
Traxdorf M., Gradl S., Kugler P., Leutheuser H., Lauten J., Eskofier B., Angerer F., Iro H.:
Schlafstadienbestimmung mit Hilfe bewegungsbasierter Sensortechnologie
84. Jahresversammlung der Deutschen Gesellschaft für Hals-Nasen-Ohren-Heilkunde, Kopf- und Hals-Chirurgie (Nürnberg, 8. Mai 2013 - 12. Mai 2013)
In: Deutsche Gesellschaft für Hals-Nasen-Ohren-Heilkunde Kopf- und Hals-Chirurgie (Hrsg.): Proceedings of the 84th Annual Meeting of the German Society of Oto-Rhino-Laryngology, Head and Neck Surgery, Düsseldorf: 2013
DOI: 10.3205/13hnod723
Tsai TH., Potsaid B., Tao YK., Jayaraman V., Jiang J., Heim PJS., Kraus M., Zhou C., Hornegger J., Mashimo H., Cable AE., Fujimoto JG.:
Ultrahigh speed endoscopic optical coherence tomography using micromotor imaging catheter and VCSEL technology
In: Biomedical Optics Express 4 (2013), S. 1119-1132
ISSN: 2156-7085
DOI: 10.1364/BOE.4.001119
Tsai TH., Tao YK., Potsaid B., Jayaraman V., Kraus M., Heim PJS., Hornegger J., Mashimo H., Cable AE., Fujimoto JG.:
Ultrahigh speed endoscopic optical coherence tomography using micro-motor imaging catheter and VCSEL technology
Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XVII (San Francisco, CA)
DOI: 10.1117/12.2006952
Waldmann D., Butz B., Bauer S., Englert J., Jobst J., Ullmann K., Fromm F., Ammon MM., Enzelberger-Heim M., Hirsch A., Maier S., Schmuki P., Seyller T., Spiecker E., Weber HB., Spiecker E.:
Robust graphene membranes in a silicon carbide frame
In: ACS nano 7 (2013), S. 4441-4448
ISSN: 1936-0851
DOI: 10.1021/nn401037c
Wang B., Nevins JE., Nadler Z., Wollstein G., Ishikawa H., Bilonick RA., Kagemann L., Sigal IA., Grulkowski I., Liu JJ., Kraus M., Lu CD., Hornegger J., Fujimoto JG., Schuman JS.:
In Vivo Lamina Cribrosa Micro-Architecture in Healthy and Glaucomatous Eyes as Assessed by Optical Coherence Tomography
In: Investigative Ophthalmology & Visual Science 54 (2013), S. 8270-8274
ISSN: 0146-0404
DOI: 10.1167/iovs.13-13109
Wang J., Borsdorf A., Endres J., Hornegger J.:
Depth-Aware Template Tracking for Robust Patient Motion Compensation for Interventional 2-D/3-D Image Fusion
IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC) 2013 (Seoul, South Korea, 27. Oktober 2013 - 2. November 2013)
In: 2013 IEEE Nuclear Science Symposium and Medical Imaging Conference Record (NSS/MIC) 2013
DOI: 10.1109/NSSMIC.2013.6829056
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Wang13-DTT.pdf
Wang J., Borsdorf A., Hornegger J.:
Depth-Layer Based Patient Motion Compensation for the Overlay of 3D Volumes onto X-Ray Sequences
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Wang13-DBP.pdf
Wang J., Riess C., Borsdorf A., Heigl B., Hornegger J.:
Sparse Depth Sampling for Interventional 2-D/3-D Overlay: Theoretical Error Analysis and Enhanced Motion Estimation
Computer Analysis of Images and Patterns (York, 27. August 2013 - 29. August 2013)
In: Proceedings of the 15th International Conference on Computer Analysis of Images and Patterns - Part I 2013
DOI: 10.1007/978-3-642-40261-6_10
Wang J., Riess C., Borsdorf A., Heigl B., Hornegger J.:
Sparse Depth Sampling for Interventional 2-D/3-D Overlay: Theoretical Error Analysis and Enhanced Motion Estimation
15th International Conference on Computer Analysis of Images and Patterns (York, UK, 27. August 2013 - 29. August 2013)
In: Wilson Richard, Hancock Edwin, Bors Adrian, Smith William (Hrsg.): Computer Analysis of Images and Patterns, York, UK: 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Wang13-SDS.pdf
Wasza J., Bauer S., Hornegger J.:
Real-Time Respiratory Motion Analysis Using Manifold Ray Casting of Volumetrically Fused Multi-view Range Imaging
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013 (Nagoya, Japan, 24. September 2013 - 26. September 2013)
In: Mori Kensaku, Sakuma Ichiro (Hrsg.): MICCAI 2013, Part II, LNCS 8150 (16th International Conference on Medical Image Computing and Computer Assisted Intervention), Berlin: 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Wasza13-RRM.pdf
Wetzl J., Taubmann O., Haase S., Köhler T., Kraus M., Hornegger J.:
GPU Accelerated Time-of-Flight Super-Resolution for Image-Guided Surgery
Bildverarbeitung für die Medizin (Heidelberg, 4. März 2013)
In: Thomas Tolxdorff, Thomas Martin Deserno (Hrsg.): Bildverarbeitung für die Medizin 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Wetzl13-GAT.pdf
Wu H., Maier A., Hornegger J.:
Iterative CT Reconstruction Using Curvelet-Based Regularization
Bildverarbeitung für die Medizin 2013 (Heidelberg, 4. März 2013)
In: Meinzer Hans-Peter, Deserno Thomas, Handels Heinz, Tolxdorff Thomas (Hrsg.): Proceedings des Workshops Bildverarbeitung für die Medizin 2013 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Wu13-ICR.pdf
Xia Y., Berger M., Riess C., Hornegger J., Maier A.:
Dose Reduction Achieved by Dynamically Collimating the Redundant Rays in Fan-beam and Cone-beam CT
IEEE Nuclear Science Symposium and Medical Imaging Conference (Seoul, 27. Oktober 2013 - 2. November 2013)
In: Proceedings of the IEEE NSS/MIC 2013 2013
DOI: 10.1109/NSSMIC.2013.6829341
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Xia13-DRA.pdf
Xia Y., Maier A., Dennerlein F., Hornegger J.:
Scaling Calibration in the ATRACT Algorithm
Bildverarbeitung für die Medizin 2013 (Heidelberg, Germany, 3. März 2013 - 5. März 2013)
In: Meinzer Hans-Peter, Deserno Thomas Martin, Handels Heinz, Tolxdorff Thomas (Hrsg.): Proceedings Bildverarbeitung für die Medizin 2013 2013
DOI: 10.1007/978-3-642-36480-8
Xia Y., Maier A., Dennerlein F., Hornegger J.:
Truncation Correction using a 3D Filter for Cone-beam CT
Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Lake Tahoe, California, USA, 16. Juni 2013 - 20. Juni 2013)
In: Fully3D (Hrsg.): Fully3D 2013 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Xia13-TCU.pdf
Xia Y., Maier A., Hofmann H., Dennerlein F., Müller K., Hornegger J.:
Reconstruction from truncated projections in cone-beam CT using an efficient 1D filtering
Medical Imaging 2013: Physics of Medical Imaging (Lake Buena Vista, FL)
DOI: 10.1117/12.2007484
Yang Q., Elter M., Schasiepen I., Maass N., Hornegger J.:
Fast iterative beam hardening correction based on frequency splitting in computed tomography
Medical Imaging 2013: Physics of Medical Imaging (Lake Buena Vista, FL)
DOI: 10.1117/12.2007808
Yang Q., Maass N., Tian M., Elter M., Schasiepen I., Maier A., Hornegger J.:
Multi-Material Beam Hardening Correction (MMBHC) in Computed Tomography
ully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Fully3D) (Lake Tahoe, CA, 16. Juni 2013 - 21. Juni 2013)
In: Leahy Richard, Qi Jingyi (Hrsg.): Proceedings of the 12th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Yang13-MBH.pdf
Yang Q., Maier A., Maass N., Hornegger J.:
Edge-Preserving Bilateral Filtering for Images Containing Dense Objects in CT
IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC) 2013 (Seoul, South Korea, 27. Oktober 2013 - 2. November 2013)
In: 2013 IEEE Nuclear Science Symposium and Medical Imaging Conference Record (NSS/MIC) 2013
DOI: 10.1109/NSSMIC.2013.6829358
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Yang13-EBF.pdf
Yu Z.:
C-arm Computed Tomography with Extended Axial Field-of-View (Dissertation, 2013)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/4133
Yu Z., Noo F., Lauritsch G., Hornegger J.:
Extended Volume Image Reconstruction Using the Ellipse-Line-Ellipse Trajectory for a C-arm System
The 12th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Lake Tohoe, California, USA)
In: Proceedings of The 12th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine 2013
URL: https://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Yu13-EVI.pdf

Baumgärtel P., Endler G., Lenz R.:
A Benchmark for Multidimensional Statistical Data
ADBIS 2013 Conference (Genoa, Italy, 1. September 2013 - 4. September 2013)
In: Advances in Databases and Information Systems, Berlin: 2013
DOI: 10.1007/978-3-642-40683-6_27
URL: http://www6.informatik.uni-erlangen.de/publications/public/2013/adbis2013_baumgaertel_Bench.pdf
Endler G., Baumgärtel P., Lenz R.:
Pay-as-you-go data quality improvement for medical centers
eHealth2013 (Wien, 23. Mai 2013 - 24. Mai 2013)
In: Ammenwerth E, Hörbst A, Hayn D, Schreier G (Hrsg.): Proceedings of the eHealth2013 2013
Open Access: http://www.ehealth20xx.at/wp-content/uploads/scientific-papers/2013/endler.pdf
URL: http://www.ehealth20xx.at/wp-content/uploads/scientific-papers/2013/endler.pdf
Lauterwald F., Pollner TN., Meyer-Wegener K.:
Bestimmung der semantischen Eigenschaften von Datenstromsystemen durch Black-Box-Tests
DSEP@BTW 2013 (Magdeburg, 12. März 2013 - 12. März 2013)
In: Saake G, Henrich A, Lehner W, Neumann T, Köppen V (Hrsg.): Datenbanksysteme für Business, Technologie und Web (BTW) 2013 - Workshopband, Bonn: 2013
URL: http://www6.informatik.uni-erlangen.de/publications/public/2013/btw2013_lauterwald.pdf
Neumann C., Lenz R.:
Distributed Ad Hoc Cooperation in Healthcare
BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012 Tallinn, Estonia, September 2012 (Tallinn, 3. September 2012 - 3. September 2012)
In: Process Support and Knowledge Representation in Healthcare, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-36438-9_8
Wahl AM.:
Automatisierung der dienstgütebezogenen Konfiguration einer Publish-Subscribe Middleware (Masterarbeit, 2013)

Awad A., Bazan P., German R.:
Profit Enhancement Through Optimized Operation of Photovoltaic Systems with Elastic Demand
IEEE PES Asia-Pacific Power and Energy Engineering Conference 2013 (Kowloon, 8. Dezember 2013 - 11. Dezember 2013)
In: IEEE PES Asia-Pacific Power and Energy Engineering Conference 2013 2013
DOI: 10.1109/APPEEC.2013.6837147
Bazan P., German R.:
Hybride Simulation eines Hauses mit Photovoltaikanlage und Batteriespeicher
28. Symposium Photovoltaische Solarenergie (PVSE 2013) (Bad Staffelstein, 6. März 2013 - 8. März 2013)
In: 28. Symposium Photovoltaische Solarenergie (PVSE 2013) 2013
Djanatliev A., German R.:
Evaluating Healthcare Technologies by Hybrid Simulation Modeling with Affected Agent Crowds
9th IEEE International Conference on Automation Science and Engineering (Madison, Wisconsin, 17. August 2013 - 21. August 2013)
In: Program of the 9th IEEE International Conference on Automation Science and Engineering 2013
URL: https://ras.papercept.net/conferences/conferences/CASE13/program/CASE13_ContentListWeb_4.html
Djanatliev A., German R.:
Large Scale Healthcare Modeling by Hybrid Simulation Techniques using AnyLogic
International ICST Conference on Simulation Tools and Techniques (Cannes, 5. März 2013 - 7. März 2013)
In: Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques 2013
DOI: 10.4108/icst.simutools.2013.251705
URL: http://dl.acm.org/citation.cfm?id=2512734.2512769
Djanatliev A., German R.:
Prospective Healthcare Decision-Making by Combined System Dynamics, Discrete-Event and Agent-Based Simulation
Winter Simulation Conference 2013 (Washington, D.C., 8. Dezember 2013 - 11. Dezember 2013)
In: R. Pasupathy, S.-H. Kim, A. Tolk, R. Hill, M. E. Kuhl, (Hrsg.): Proceedings of the 2013 Winter Simulation Conference, Piscataway, NJ: 2013
DOI: 10.1109/WSC.2013.6721426
URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6721426&isnumber=6721384
Hassmann K., Pruckner M., German R.:
Ein Energiesystemmodell für Bayern - Ratgeber und Werkzeug zur Steuerung der Energiewende
In: BWK Das Energie Fachmagazin 1/2-2013 (2013), S. 62-69
ISSN: 1618-193X
Klehmet U., Hielscher KS.:
Different Scenarios of Concatenation at Aggregate Scheduling of Multiple Nodes
The Ninth International Conference on Networking and Services (Lisbon, Portugal)
In: ICNS 2013: The Ninth International Conference on Networking and Services 2013
URL: http://www7.informatik.uni-erlangen.de/~klehmet/publications/Papers/ICNS2013.pdf
Kriza C., Wahlster P., Djanatliev A., German R., Gantner-Bär M., Hofmann B., Reinhardt E., Sedlmayr M., Kolominsky-Rabas P.:
Early technology foresight for medical product development through simulation: Prospective Health Technology Assessment (ProHTA)
HTAi 10th Annual Meeting (Seoul)
In: Proceedings of the HTAi 10th Annual Meeting 2013
Meier F., Niederländer C., Djanatliev A., Gantner-Bär M., Höllthaler J., Voigt W., Schöffski O., Kolominsky-Rabas P., Emmert M.:
Health Economic Evaluation of a Contemplementary Biomarker for Hypothetical Prostate Cancer Screening in Germany
In: Value in Health 16 (2013), S. A406
ISSN: 1098-3015
DOI: 10.1016/j.jval.2013.08.480
Niederländer C., Kriza C., Wahlster P., Djanatliev A., Kolominsky-Rabas P.:
Early technology foresight for the development of biomarkers for prostate cancer screening: Prospective Health Technology Assessment (ProHTA)
The European Cancer Congress 2013 (ECCO 2013) (Amsterdam)
In: The European Cancer Congress 2013 2013
Pruckner M., German R.:
A Hybrid Simulation Model for Large-Scaled Electricity Generation Systems
WinterSim 2013 (Washington DC, USA, 8. Dezember 2013 - 11. Dezember 2013)
In: Proceedings of the 2013 Winter Simulation Conference 2013
DOI: 10.1109/WSC.2013.6721568
Pruckner M., German R.:
A Simulation Model to Analyze the Residual Load During the Extension of Highly Fluctuating Renewables in Bavaria, Germany
POWERENG 2013 (Istanbul, Turkey, 13. Mai 2013 - 17. Mai 2013)
In: Proceedings of the 4th International Conference on Power Engineering, Energy and Electrical Drives 2013
DOI: 10.1109/PowerEng.2013.6635666
Schneider V., German R.:
Integration of Test-Driven Agile Simulation Approach in Service-Oriented Tool Environment
46th Annual Simulation Symposium (ANSS '13) (San Diego (CA), 7. April 2013 - 10. April 2013)
In: Proceedings of the 46th Annual Simulation Symposium (ANSS '13) 2013
URL: http://dl.acm.org/citation.cfm?id=2499604.2499615

Adámek J., Milius S., Moss L., Sousa L.:
Well-pointed Coalgebras
In: Logical Methods in Computer Science 9 (2013), S. 51
ISSN: 1860-5974
DOI: 10.2168/LMCS-9(3:2)2013
URL: http://www.lmcs-online.org/ojs/viewarticle.php?id=1220&layout=abstract
Adámek J., Milius S., Velebil J.:
How Iterative Reflections of Monads are Constructed
In: Information and Computation 225 (2013), S. 83--118
ISSN: 0890-5401
Bonsangue M., Milius S., Silva A.:
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
In: ACM Transactions on Computational Logic 14 (2013), S. 1-52
ISSN: 1529-3785
DOI: 10.1145/2422085.2422092
Bowler N., Goncharov S., Levy P., Schröder L.:
Exploring the Boundaries of Monad Tensorability on Set
In: Logical Methods in Computer Science 9 (2013), S. 1-18
ISSN: 1860-5974
DOI: 10.2168/LMCS-9(3:22)2013
Goncharov S.:
Trace Semantics via Generic Observations
5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Warsaw, 3. September 2013 - 6. September 2013)
In: Proc. 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Berlin/Heidelberg: 2013
DOI: 10.1007/978-3-642-40206-7_13
Goncharov S., Schröder L.:
A coinductive calculus for asynchronous side-effecting processes
In: Information and Computation 231 (2013), S. 204-232
ISSN: 0890-5401
DOI: 10.1016/j.ic.2013.08.012
Goncharov S., Schröder L.:
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013 (New Orleans, LA, 25. Juni 2013 - 28. Juni 2013)
In: Proc. 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, Los Alamitos: 2013
DOI: 10.1109/LICS.2013.33
Gorin D., Schröder L.:
Simulations and Bisimulations For Coalgebraic Modal Logics
5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 (Warsaw, 3. September 2013 - 6. September 2013)
In: 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, Berlin: 2013
DOI: 10.1007/978-3-642-40206-7_19
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-40206-7_19
Gorin D., Schröder L., Carreiro F.:
Coalgebraic Announcement Logics
40th International Colloquium on Automata, Languages, and Programming, ICALP 2013 (Riga, 8. Juli 2013 - 12. Juli 2013)
In: Proc. 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, Part II, Berlin: 2013
DOI: 10.1007/978-3-642-39212-2_12
Gorin D., Schröder L., Wißmann T.:
Reasoning with Bounded Self-reference Using Logical Interpreters
26th International Workshop on Description Logics, DL 2013 (Ulm, 23. Juli 2013 - 26. Juli 2013)
In: Proc. 26th International Workshop on Description Logics, DL 2013, Aachen: 2013
Open Access: http://ceur-ws.org/Vol-1014/paper_75.pdf
Heckel R., Milius S.:
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings)
Springer, 2013
(Lecture Notes Comput.~Sci., Bd.8089)
Heckel R., Milius S.:
Preface to Proceedings of CALCO 2013
5th International Conference, CALCO 2013 (Warschau)
In: Algebra and Coalgebra in Computer Science,, Berlin/Heidelberg: 2013
URL: https://www8.cs.fau.de/~milius/publications/papers.html
Hertzberg C., Wagner R., Frese U., Schröder L.:
Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds
In: Information Fusion 14 (2013), S. 57-77
ISSN: 1566-2535
DOI: 10.1016/j.inffus.2011.08.003
Kulacka A., Pattinson D., Schröder L.:
Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC
23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing, 3. August 2013 - 9. August 2013)
In: Proc. 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Palo Alto: 2013
Open Access: http://ijcai.org/Proceedings/13/Papers/147.pdf
Litak TM., Pattinson D., Sano K.:
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011 (Kutaisi, 26. September 2011 - 30. September 2011)
In: Chapter in Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011, Berlin/Heidelberg: 2013
DOI: 10.1007/978-3-642-36976-6_16
Milius S., Bonsangue M., Myers R., Rot J.:
Rational Operational Models
In: Proc. of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX, Berlin München: 2013
DOI: 10.1016/j.entcs.2013.09.017
URL: https://www8.cs.fau.de/~milius/publications/papers.html
Milius S., Litak TM.:
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
In: Proc. Fixed Points in Computer Science, Cornell: 2013
DOI: 10.4204/EPTCS.126.6
URL: https://www8.cs.fau.de/~milius/publications/files/ml_fics13.pdf
Milius S., Moss L., Schwencke D.:
Abstract GSOS rules and a Modular Treatment of Recursive Definitions
In: Logical Methods in Computer Science 9 (2013), S. 1-52
ISSN: 1860-5974
DOI: 10.2168/LMCS-9(3:28)2013
URL: https://www8.cs.fau.de/~milius/publications/papers.html
Mossakowski T., Roggenbach M., Schröder L.:
Preface
In: Electronic Communications of the EASST 62 (2013)
ISSN: 1863-2122
Open Access: http://journal.ub.tu-berlin.de/eceasst/article/view/874/860
URL: http://journal.ub.tu-berlin.de/eceasst/article/view/874/860
Myers R., Urbat H.:
A characterisation of NL/poly via nondeterministic finite automata
15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 (London, ON)
DOI: 10.1007/978-3-642-39310-5_19
Schröder L.:
Preface to CALCO-Tools
5th International Conference, CALCO 2013 (Warschau)
In: Algebra and Coalgebra in Computer Science, Berlin/Heidelberg: 2013
DOI: 10.1007/978-3-642-40206-7
URL: http://link.springer.com/chapter/10.1007%2F978-3-642-40206-7_23

Bergen T., Hastreiter P., Münzenmayer C., Buchfelder M., Wittenberg T.:
Image stitching of sphenoid sinuses from monocular endoscopic views
12. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboter Assistierte Chirurgie (CURAC) (Innsbruck, 28. November 2013 - 30. November 2013)
In: Tagungsband 12. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboter Assistierte Chirurgie (CURAC) 2013
Open Access: https://www.curac.org/images/stories/Jahrestagung2013/Tagungsband/Proceedings%20CURAC%202013.pdf
Boß M., Bauer F., Stamminger M., Zollhöfer M., Süßmuth J.:
Visualization and Deformation Techniques for Entertainment and Training in Cultural Heritage
In: International Symposium on Image and Signal Processing and Analysis, ISPA, Los Alamitos, CA, USA: IEEE Computer Society, 2013, S. 570-575
ISBN: 9781479931255
DOI: 10.1109/ISPA.2013.6703805
Brost A., Raab J., Kleinöder A., Kurzendorfer T., Bourier F., Koch M., Hoffmann M., Strobel N., Kurzidim K., Hornegger J.:
Medizinische Bildverarbeitung für die minimal-invasive Behandlung von Vorhofflimmern
In: Deutsche Zeitschrift für Klinische Forschung 17.0 (2013), S. 36-41
ISSN: 1616-0347
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Hornegger13-MBF.pdf
Helten T., Baak A., Bharaj G., Müller M., Seidel HP., Theobalt C.:
Personalization and Evaluation of a Real-time Depth-based Full Body Tracker
In: Proceedings of the Joint 3DIM/3DPVT Conference, Seatle, Canada: 2013
Izadi S., Zollhöfer M., Nießner M., Stamminger M.:
Real-time 3D Reconstruction at Scale using Voxel Hashing
In: Acm Transactions on Graphics 32 (2013), S. 169:1-11
ISSN: 0730-0301
DOI: 10.1145/2508363.2508374
Kretschmer J., Godenschwager C., Preim B., Stamminger M.:
Interactive Patient-specific Vascular Modeling with Sweep Surfaces
In: IEEE Transactions on Visualization and Computer Graphics 19 (2013), S. 2828-2837
ISSN: 1077-2626
DOI: 10.1109/TVCG.2013.169
URL: http://dl.acm.org/citation.cfm?id=2553709
Kretschmer J., Tietjen C., Soza G., Stamminger M.:
Sketch-based Planning of Liver Resections
In: International Journal of Computer Assisted Radiology and Surgery 8 (2013), S. 141-142
ISSN: 1861-6410
DOI: 10.1007/s11548-013-0862-2
Nießner M., Kuhnert N., Selgrad K., Stamminger M., Michelson G.:
Real-time Simulation of Human Vision using Temporal Compositing with CUDA on the GPU
Proceedings 25th Workshop on Parallel Systems and Algorithms (PARS 2013) (Erlangen, Germany)
In: Proceedings 25th Workshop on Parallel Systems and Algorithms (PARS 2013) 2013
Raab J., Schäfer H., Brost A., Stamminger M., Pfister M.:
Non-photorealistic rendering for minimally invasive procedures
SPIE Medical Imaging 2013 (Lake Buena Vista, Florida, 9. Februar 2013)
In: David R. Holmes, Ziv R. Yaniv (Hrsg.): SPIE Medical Imaging 2013: Image-Guided Procedures, Robotic Interventions, and Modeling 2013
DOI: 10.1117/12.2001385
Schäfer Henry, Keinert Benjamin, Stamminger Marc:
Real-time Local Displacement using Dynamic GPU Memory Management
High Performance Graphics (Anaheim, California, USA, 19. Juli 2013 - 21. Juli 2013)
In: HPG '13:Proceedings of the ACM SIGGRAPH Symposium on High Performance Graphics 2013
DOI: 10.1145/2492045.2492052
Schäfer H., Süßmuth J., Prus M., Meyer Q., Stamminger M.:
Multi-Resolution Attributes for Hardware Tessellated Objects
In: IEEE Transactions on Visualization and Computer Graphics 19 (2013), S. 1488-1498
ISSN: 1077-2626
DOI: 10.1109/TVCG.2013.44
URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6470610
Siegl C., Meyer Q., Sußner G., Stamminger M.:
Solving Aliasing from Shading with Selective Shader Supersampling
In: Computers & Graphics (2013), S. 12-20
ISSN: 0097-8493
DOI: 10.1016/j.cag.2013.08.002
Weber C., Kaplanyan A., Stamminger M., Dachsbacher C.:
Interactive Direct Volume Rendering with Many-light Methods and Transmittance Caching
Vision, Modeling, and Visualization (Lugano)
In: Vision, Modeling, and Visualization 2013
URL: http://diglib.eg.org/EG/DL/PE/VMV/VMV13/PDF/195-202.pdf
Zagel C., Süßmuth J.:
Nutzenpotenziale maßgetreuer 3D Avatare aus Low-cost Bodyscannern
In: HMD : Praxis der Wirtschaftsinformatik 50 (2013), S. 48-57
ISSN: 1436-3011
DOI: 10.1007/BF03342068
Zagel C., Süßmuth J., Bodendorf F.:
Automatische Rekonstruktion eines 3D Körpermodells aus Kinect Sensordaten
WI 2013 (Leipzig)
In: Wirtschaftsinformatik Proceedings 2013 2013
URL: http://aisel.aisnet.org/wi2013/35
Zollhöfer M., Süßmuth J., Bauer F., Greiner G., Boß M.:
Towards an Objective Geometrical Description of Antique Busts
Colour and Space in Cultural Heritage (Mainz, 27. März 2013 - 27. März 2013)
URL: http://www.cosch.info/documents/14078/51859/WG+5_Zollh%C3%B6fer_GeoDesc.pdf/da67483d-fb90-48f4-82a4-8e79647d9066

Bauer M., Kuschel C., Ritter D., Sembritzki K.:
Comparison of PGAS Languages on a Linked Cell Algorithm
25. PARS-Workshop (Erlangen)
In: PARS Mitteilungen, Erlangen: 2013
URL: https://www10.informatik.uni-erlangen.de/Publications/Papers/2013/Bauer_PARS.pdf
Bogner S., Rüde U.:
Simulation of floating bodies with lattice Boltzmann
In: Computers & Mathematics with Applications 65 (2013), S. 901-913
ISSN: 0898-1221
DOI: 10.1016/j.camwa.2012.09.012
Gmeiner B.:
Design and Analysis of Hierarchical Hybrid Multigrid Methods for Peta-Scale Systems and Beyond (Dissertation, 2013)
URL: https://www10.cs.fau.de/publications/dissertations/Diss_2013-Gmeiner.pdf
Gmeiner B., Köstler H., Rüde U.:
Wie viel Unbekannte hat das größte Gleichungssystem, das man heute lösen kann?
In: GAMM-Mitteilungen 1 (2013), S. 18-23
ISSN: 0936-7195
URL: http://www.gamm-ev.de/pdf_file/GAMM_1_2013_web.pdf
Godenschwager C., Schornbaum F., Bauer M., Köstler H., Rüde U.:
A Framework for Hybrid Parallel Flow Simulations with a Trillion Cells in Complex Geometries
SC13: International Conference for High Performance Computing, Networking, Storage and Analysis (Denver, 17. November 2013 - 22. November 2013)
In: Proceedings of SC13: International Conference for High Performance Computing, Networking, Storage and Analysis 2013
DOI: 10.1145/2503210.2503273
URL: https://www10.informatik.uni-erlangen.de/Publications/Papers/2013/Godenschwager_SC13.pdf
Hertel K., Hüpkes J., Pflaum C.:
An image processing approach to approximating interface textures of microcrystalline silicon layers grown on existing aluminum-doped zinc oxide textures
In: Optics Express 21 (2013), S. A977--A990
ISSN: 1094-4087
DOI: 10.1364/OE.21.00A977
URL: http://www.opticsinfobase.org/oe/viewmedia.cfm?uri=oe-21-S6-A977&seq=0
Kretschmer J., Godenschwager C., Preim B., Stamminger M.:
Interactive Patient-specific Vascular Modeling with Sweep Surfaces
In: IEEE Transactions on Visualization and Computer Graphics 19 (2013), S. 2828-2837
ISSN: 1077-2626
DOI: 10.1109/TVCG.2013.169
URL: http://dl.acm.org/citation.cfm?id=2553709
Kuckuk S., Köstler H.:
A Framework for Interactive Physical Simulations on Remote HPC Clusters
CS-2013-06 (2013), S. 1-10
ISSN: 2191-5008
Open Access: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/5024
URL: http://opus4.kobv.de/opus4-fau/files/5024/Kuckuk_2013_VIPER.pdf
(Techreport)
Kuckuk S., Preclik T., Köstler H.:
Interactive particle dynamics using OpenCL and Kinect
In: International Journal of Parallel, Emergent and Distributed Systems 28 (2013), S. 518-536
ISSN: 1744-5760
DOI: 10.1080/17445760.2012.745671
URL: http://www.tandfonline.com/doi/pdf/10.1080/17445760.2012.745671
Köstler H., Gmeiner B.:
A Multi-objective Genetic Algorithm for Build Order Optimization in StarCraft II
In: Künstliche Intelligenz 27 (2013), S. 221-223
ISSN: 0933-1875
DOI: 10.1007/s13218-013-0263-2
Köstler H., Ritter D., Feichtinger C.:
A Geometric Multigrid Solver on GPU Clusters
In: GPU Solutions to Multi-scale Problems in Science and Engineering, Berlin Heidelberg: Springer, 2013, S. 407-422 (Lecture Notes in Earth System Sciences)
ISBN: 978-3-642-16404-0
DOI: 10.1007/978-3-642-16405-7_26
URL: http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-16404-0
Köstler H., Rüde U.:
The CSE Software Challenge - Covering the Complete Stack
In: it - Information Technology 55 (2013), S. 91-96
ISSN: 1611-2776
URL: http://www.oldenbourg-link.com/toc/itit/55/3?ai=s1&ui=t4i&af=H
Köstler H., Stürmer M., Pohl T.:
Performance engineering to achieve real-time high dynamic range imaging
In: Journal of Real-Time Image Processing (2013), S. 1-13
ISSN: 1861-8200
DOI: 10.1007/s11554-012-0312-3
URL: http://link.springer.com/accesspage/article/10.1007/s11554-012-0312-3?coverImageUrl=/static-content/0.6416/covers/journals/916/11554.jpg
Manhart M., Fieselmann A., Deuerling-Zheng Y., Maier A., Kowarschik M.:
Dynamic Reconstruction with Statistical Ray Weighting for C-Arm CT Perfusion Imaging
12th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine (Lake Tahoe, CA, USA, 18. Juni 2013)
In: Leahy Richard, Qi Jinyi (Hrsg.): Proc. 12th Fully 3D 2013
URL: http://www5.informatik.uni-erlangen.de/Forschung/Publikationen/2013/Manhart13-DRW.pdf
Markl M., Ammer R., Ljungblad U., Rüde U., Körner C.:
Electron beam absorption algorithms for electron beam melting processes simulated by a three-dimensional thermal free surface lattice Boltzmann method in a distributed and parallel environment
In: Procedia Computer Science 18 (2013), S. 2127-2136
ISSN: 1877-0509
DOI: 10.1016/j.procs.2013.05.383
URL: http://www.sciencedirect.com/science/article/pii/S1877050913005267
Scharpff T., Iglberger K., Hager G., Rüde U.:
Model-guided Performance Analysis of the Sparse Matrix-Matrix Multiplication
International Conference on High Performance Computing & Simulation (HPCS 2013) (Helsinki, Finnland, 1. Juli 2013 - 5. Juli 2013)
In: HPCS2013 Conference Proceedings (Preprint bei arXiv) 2013
DOI: 10.1109/HPCSim.2013.6641452
URL: http://arxiv.org/abs/1303.1651
Talai A., Steinhäußer F., Gmeiner B., Bittner A., Rüde U., Schmid U., Weigel R., Kölpin A.:
Electromagnetic Analysis of Fringed Microstrip Lines on Porosified LTCC
International Conference on Electromagnetics in Advanced Applications (ICEAA) (Torino, 9. September 2013 - 13. September 2013)
In: Electromagnetics in Advanced Applications (ICEAA), 2013 International Conference on 2013
DOI: 10.1109/ICEAA.2013.6632433
URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6632433&isnumber=6632166
Talai A., Weigel R., Kölpin A., Gmeiner B., Rüde U., Steinhäußer F., Bittner A., Schmid U.:
Electromagnetic field analysis with advanced structural modeling of microstrips on porosified LTCC
European Microwave Conference (Nürnberg, 7. Oktober 2013 - 10. Oktober 2013)
In: Microwave Conference (EUMC), 2013 European, Nürnberg: 2013
Wagner A., Bleiler C., Stadelmann V:, Windolf M., Gueorguiev-Rüegg B., Köstler Harald, Boger A., Röhrle O., Ehlers W.:
Porous media simulation of bone cement spreading during vertebroplasty
In: Proceedings in Applied Mathematics and Mechanics 13 (2013), S. 67-68
ISSN: 1617-7061
URL: http://www.researchgate.net/profile/Harald_Koestler/publication/259541044_Porous-media_simulation_of_bone-cement_spreading_during_vertebroplasty/links/542d602e0cf277d58e8cc1e3.pdf

Lill R., Saglietti F.:
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets
SAFECOMP Workshop on Dependable Embedded and Cyberphysical Systems (DECS 2013) (Toulouse (F))
In: SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security 2013
Open Access: https://hal.archives-ouvertes.fr/hal-00848597/document
Lill R., Saglietti F.:
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets
Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) (Toulouse (Frankreich))
In: Matthieu Roy (Hrsg.): SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security 2013
Open Access: https://hal.archives-ouvertes.fr/hal-00848597
Meitner M., Saglietti F.:
Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software
ARCS Workshop on Dependability and Fault Tolerance (Prag (CZ))
In: 26th International Conference on Architecture of Computing Systems 2013 (ARCS 2013), Workshop Proceedings 2013

Aliee H., Glaß M., Reimann F., Teich J.:
Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults
Design, Automation and Test in Europe (DATE) (Grenoble, 18. März 2013 - 22. März 2013)
In: Proc. Design, Automation and Test in Europe, New York, NY, USA: 2013
DOI: 10.7873/DATE.2013.329
Andres B., Gebser M., Schaub T., Haubelt C., Reimann F., Glaß M.:
Symbolic system synthesis using answer set programming
12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 (Corunna, 15. September 2013 - 19. September 2013)
In: Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) 2013
DOI: 10.1007/978-3-642-40564-8_9
Andres B., Schaub T., Gebser M., Haubelt C., Reimann F., Glaß M.:
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Rostock, 12. März 2013 - 14. März 2013)
In: Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2013
Angermeier J.:
Concepts and Algorithms to Increase the Efficiency and Reliability of Reconfigurable Computer (Dissertation, 2013)
Biglari M., Qasemi E., Pourmohseni B.:
Maestro: A High Performance AES Encryption/Decryption System
International Symposium on Computer Architecture and Digital Systems (CADS) (Tehran, 30. Oktober 2013 - 31. Oktober 2013)
In: Proceedings of the 17th CSI International Symposium on Computer Architecture and Digital Systems (CADS) 2013
DOI: 10.1109/CADS.2013.6714255
URL: https://ieeexplore.ieee.org/document/6714255/
Boppu S., Hannig F., Teich J.:
Loop Program Mapping and Compact Code Generation for Programmable Hardware Accelerators
24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP) (Washington, DC, 5. Juni 2013 - 7. Juni 2013)
In: Proc. 24th International Conference on Application-Specific Systems, Architectures and Processors, New York, NY, USA: 2013
DOI: 10.1109/ASAP.2013.6567544
Boppu S., Lari V., Hannig F., Teich J.:
Transactor-based Prototyping of Heterogeneous Multiprocessor System-On-Chip Architectures
Synopsys Users Group Conference (SNUG) (Munich, 14. Mai 2013 - 14. Mai 2013)
In: Proc. Synopsys Users Group Conference 2013
Dennl C., Ziener D., Teich J.:
Acceleration of SQL Restrictions and Aggregations through FPGA-based Dynamic Partial Reconfiguration
IEEE International Field-Programmable Custom Computing Machines Symposium (FCCM) (Seattle, 28. April 2013 - 30. April 2013)
In: Proc. IEEE International Field-Programmable Custom Computing Machines Symposium 2013
DOI: 10.1109/FCCM.2013.38
Falk J., Haubelt C., Teich J.:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In: huvra S. Bhattacharyya and Ed F. Deprettere and Rainer Leupers and Jarmo Takala (Hrsg.): Handbook of Signal Processing Systems, 2013, S. 975-2013
DOI: 10.1007/978-1-4614-6859-2_30
Falk J., Haubelt C., Zebelein C., Teich J.:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In: Bhattacharyya S., Deprettere E., Leupers R., Takala J. (Hrsg.): Handbook of Signal Processing Systems, New York, NY: Springer, 2013
ISBN: 978-1-4614-6858-5
DOI: 10.1007/978-1-4614-6859-2_30
Falk J., Zebelein C., Haubelt C., Teich J.:
A Rule-Based Quasi-Static Scheduling Approach for Static Islands in Dynamic Dataflow Graphs
In: ACM Transactions on Embedded Computing Systems, New York, NY: ACM, 2013, S. 74:1-74:31
DOI: 10.1145/2442116.2442124
Falk J., Zebelein C., Haubelt C., Teich J.:
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs
In: ACM Transactions on Embedded Computing Systems 12 (2013), Art.Nr.: 74
ISSN: 1539-9087
DOI: 10.1145/2442116.2442124
Gladigau J.:
Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling (Dissertation, 2013)
Glock S., Rosales R., Reutelhuber F., Glaß M., Teich J., Fischer G., Weigel R., Ußmüller T.:
Scenario-Based Energy Estimation of Heterogeneous Integrated Systems at System Level
43rd European Microwave Conference (EuMC) (Nuremberg, 7. Oktober 2013 - 10. Oktober 2013)
In: Proc. 43rd European Microwave Conference 2013
Graf S., Glaß M., Teich J.:
Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level Modeling
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Warnemünde, 12. März 2013 - 14. März 2013)
In: Tagungsunterlagen Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Rostock: 2013
Graf S., Glaß M., Wintermann D., Teich J., Lauer C.:
IVaM: Implicit Variant Modeling and Management for Automotive Embedded Systems
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (Montreal, QC, 29. September 2013 - 4. Oktober 2013)
In: Proc. International Conference on Hardware/Software Codesign and System Synthesis, New York, NY, USA: 2013
DOI: 10.1109/CODES-ISSS.2013.6658982
Hannig F., Schmid M., Lari V., Boppu S., Teich J.:
System Integration of Tightly-Coupled Processor Arrays using Reconfigurable Buffer Structures
ACM International Conference on Computing Frontiers (CF) (Ischia, 14. Mai 2013 - 16. Mai 2013)
In: Proc. ACM International Conference on Computing Frontiers, New York, NY, USA: 2013
DOI: 10.1145/2482767.2482770
Heisswolf J., Weichslgartner A., Zaib A., König R., Wild T., Herkersdorf A., Teich J., Becker J.:
Hardware Supported Adaptive Data Collection for Networks on Chip
IEEE 27th International Parallel and Distributed Processing Symposium Workshops PhD Forum (IPDPSW) (Boston, Massachusetts, 20. Mai 2013 - 24. Mai 2013)
In: Proc. IEEE 27th International Parallel and Distributed Processing Symposium Workshops PhD Forum, Red Hook, NY, USA: 2013
DOI: 10.1109/IPDPSW.2013.124
Heisswolf J., Zaib A., Weichslgartner A., König R., Wild T., Teich J., Herkersdorf A., Becker J.:
Virtual Networks - Distributed Communication Resource Management
In: ACM Transactions on Reconfigurable Technology and Systems 6 (2013), S. 8:1-8:14
ISSN: 1936-7406
DOI: 10.1145/2492186
Henkel J., Narayanan V., Parameswaran S., Teich J.:
Run-time adaption for highly-complex multi-core systems
11th ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2013 (Montreal, QC, 29. September 2013 - 4. Oktober 2013)
DOI: 10.1109/CODES-ISSS.2013.6659000
Herkersdorf A., Engel M., Glaß M., Henkel J., Kleeberger VB., Kochte MA., Kühn JM., Nassif SR., Rauchfuss H., Rosenstiel W., Schlichtmann U., Shafique M., Tahoori MB., Teich J., Wehn N., Weis C., Wunderlich HJ.:
Cross-Layer Dependability Modeling and Abstraction in System on Chip
9th Workshop on Silicon Errors in Logic - System Effects (SELSE) (Palo Alto, CA, 26. März 2013 - 27. März 2013)
In: Proc. 9th Workshop on Silicon Errors in Logic - System Effects, München: 2013
URL: http://www.selse.org
Kern A.:
Ethernet and IP for Automotive E/E-Architectures - Technology, Analysis, Migration Concepts and Infrastructure (Dissertation, 2013)
Membarth R.:
Code Generation for GPU Accelerators from a Domain-Specific Language for Medical Imaging (Dissertation, 2013)
Mostaghim S., Teich J.:
Strategies for finding good local guides in multi-objective particle swarm optimization (MOPSO)
2003 IEEE Swarm Intelligence Symposium, SIS 2003
DOI: 10.1109/SIS.2003.1202243
Mühlenthaler M., Wanka R.:
A Decomposition of the Max-min Fair Curriculum-based Course Timetabling Problem: The Impact of Solving Subproblems to Optimality
6th Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA) (Gent)
In: Proc. 6th Multidisciplinary International Scheduling Conference: Theory and Applications 2013
URL: http://www12.informatik.uni-erlangen.de/people/rwanka/publications/MW13.php
Pourmohseni B., Eshghi M.:
Reliable Energy-Efficient Dynamic TDMA MAC Protocol for Wireless Body Area Networks
In: International journal of application or innovation in engineering & management (2013)
ISSN: 2319-4847
Reimann F., Glaß M., Teich J.:
Migration Strategies for Ethernet-based E/E Architectures
Embedded World Conference (Nuremberg, 26. Februar 2013 - 28. Februar 2013)
In: Proc. Embedded World Conference, Nuremberg, Germany: 2013
Reimann F., Glaß M., Teich J., Abelein U.:
Szenarienbasierte Integration von Diagnosefunktionalität in E/E Architekturen
Automotive meets Electronics (AmE) (Dortmund, 19. Februar 2013 - 20. Februar 2013)
In: Proc. Automotive meets Electronics, GMM Fachbericht 75, Berlin, Germany: 2013
Reimann F., Graf S., Streit F., Glaß M., Teich J.:
Timing Analysis of Ethernet AVB-based Automotive E/E Architectures
IEEE International Conference on Emerging Technology & Factory Automation (ETFA) (Cagliari, 10. September 2013 - 13. September 2013)
In: Proc. IEEE International Conference on Emerging Technology & Factory Automation, Red Hook, NY, USA: 2013
DOI: 10.1109/ETFA.2013.6648024
URL: http://www.etfa2013.org
Roloff S., Weichslgartner A., Heißwolf J., Hannig F., Teich J.:
NoC Simulation in Heterogeneous Architectures for PGAS Programming Model
16th International Workshop on Software and Compilers for Embedded Systems (M-SCOPES) (St. Goar, 19. Juni 2013 - 21. Juni 2013)
In: Proc. 16th International Workshop on Software and Compilers for Embedded Systems, New York, NY, USA: 2013
DOI: 10.1145/2463596.2463606
Schmid M., Blocherer M., Hannig F., Teich J.:
Real-Time Range Image Preprocessing on FPGAs
International Conference on Reconfigurable Computing and FPGAs (ReConFig) (Cancun, 9. Dezember 2013 - 11. Dezember 2013)
In: Proc. International Conference on Reconfigurable Computing and FPGAs 2013
DOI: 10.1109/ReConFig.2013.6732325
Schmitt M., Wanka R.:
Exploiting Independent Subformulas: A Faster Approximation Scheme for #k-SAT
In: Information Processing Letters 113 (2013), S. 337-344
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2013.02.013
Schmitt M., Wanka R.:
Particles Prefer Walking Along the Axes: Experimental Insights into the Behavior of a Particle Swarm
Genetic and Evolutionary Computation Conference (GECCO) (Amsterdam, 6. Juli 2013 - 10. Juli 2013)
In: Companion of Proc. 15th Genetic and Evolutionary Computation Conference 2013
DOI: 10.1145/2464576.2464583
Schmitt M., Wanka R.:
Particle Swarm Optimization Almost Surely Finds Local Optima
Genetic and Evolutionary Computation Conference (GECCO) (Amsterdam)
In: Proc. 15th Genetic and Evolutionary Computation Conference 2013
DOI: 10.1145/2463372.2463563
Sousa É., Tanase AP., Hannig F., Teich J.:
Accuracy and Performance Analysis of Harris Corner Computation on Tightly-Coupled Processor Arrays
2013 Conference on Design and Architectures for Signal and Image Processing (DASIP) (Cagliari, 8. Oktober 2013 - 10. Oktober 2013)
In: Proc. 2013 Conference on Design and Architectures for Signal and Image Processing, New York, NY, USA: 2013
Sousa É., Tanase AP., Hannig F., Teich J.:
A Prototype of an Adaptive Computer Vision Algorithm on MPSoC Architecture
2013 Conference on Design and Architectures for Signal and Image Processing (DASIP) (Cagliari, 8. Oktober 2013 - 10. Oktober 2013)
In: Proc. 2013 Conference on Design and Architectures for Signal and Image Processing, New York, NY, USA: 2013
Sousa É., Tanase AP., Lari V., Hannig F., Teich J., Paul J., Stechele W., Kröhnert M., Asfour T.:
Acceleration of Optical Flow Computations on Tightly-Coupled Processor Arrays
25th Workshop on Parallel Systems and Algorithms (PARS) (Erlangen)
In: Proc. 25th Workshop on Parallel Systems and Algorithms, Berlin, Germany: 2013
Tanase AP., Lari V., Hannig F., Teich J.:
Exploitation of Quality/Throughput Tradeoffs in Image Processing through Invasive Computing
International Conference on Parallel Computing (ParCo) (Munich, 10. September 2013 - 13. September 2013)
In: Proc. International Conference on Parallel Computing 2013
Teich J., Schröder-Preikschat W., Herkersdorf A.:
Invasive Computing - Common Terms and Granularity of Invasion
Cornell: Cornell University Library, 2013
(Dagstuhl Preprint Serie)
URL: http://arxiv.org/pdf/1304.6067v1.pdf
Teich J., Tanase AP., Hannig F.:
Symbolic Parallelization of Loop Programs for Massively Parallel Processor Arrays
24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP) (Washington, DC, 5. Juni 2013 - 7. Juni 2013)
In: Proc. 24th International Conference on Application-Specific Systems, Architectures and Processors, New York, NY, USA: 2013
DOI: 10.1109/ASAP.2013.6567543
Wildermann S., Teich J.:
Decomposing Run-time Resource Management in Heterogeneous Reconfigurable Systems
Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS) (Porto)
In: Proc. Workshop on Self-Awareness in Reconfigurable Computing Systems 2013
Wildermann S., Ziermann T., Teich J.:
Game-Theoretic Analysis of Decentralized Core Allocation Schemes on Many-core Systems
Design, Automation and Test in Europe (DATE) (Grenoble, 18. März 2013 - 22. März 2013)
In: Proc. Design, Automation and Test in Europe, New York, NY, USA: 2013
DOI: 10.7873/DATE.2013.305
Xu Y., Wang B., Hasholzner R., Rosales R., Teich J.:
On robust task-accurate performance estimation
50th Annual Design Automation Conference, DAC 2013 (Austin, TX, 2. Juni 2013 - 6. Juni 2013)
In: Proceedings of the 50th Design Automation Conference (DAC 2013) 2013
DOI: 10.1145/2463209.2488945
Xu Y., Wang B., Rosales R., Hasholzner R., Teich J.:
On confident task-accurate performance estimation
26th International Conference on Architecture of Computing Systems, ARCS 2013 (Prague)
In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS) 2013
DOI: 10.1007/978-3-642-36424-2_3
Zaib A., Heisswolf J., Weichslgartner A., Wild T., Teich J., Becker J., Herkersdorf A.:
AUTO-GS: Self-optimization of NoC Traffic Through Hardware Managed Virtual Connections
16th Euromicro Conference on Digital System Design (Cantabria, 4. September 2013 - 6. September 2013)
In: Proc. 16th Euromicro Conference on Digital System Design 2013
DOI: 10.1109/DSD.2013.87
Zebelein C., Haubelt C., Falk J., Schwarzer T., Teich J.:
Representing mapping and scheduling decisions within dataflow graphs
2013 16th Forum on Specification and Design Languages, FDL 2013 (Paris, 24. September 2013 - 26. September 2013)
In: Proceedings of Forum on Specification & Design Languages (FDL 2013) 2013
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=84891286674&origin=inward
Zebelein C., Haubelt C., Falk J., Teich J.:
Model-Based Representation of Schedules for Dataflow Graphs
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013) (Rostock, 12. März 2013 - 14. März 2013)
In: Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013) 2013
Zhang L., Glaß M., Ballmann N., Teich J.:
Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation
Forum on Specification & Design Languages (FDL) (Paris, 24. September 2013 - 26. September 2013)
In: Proc. Forum on Specification & Design Languages, New York, NY, USA: 2013
Ziermann T., Salcic Z., Teich J.:
HW/SW Tradeoffs for Dynamic Message Scheduling in Controller Area Network (CAN)
26th International Conference on Architecture of Computing Systems (ARCS) (Prague, 19. Februar 2013 - 22. Februar 2013)
In: Proc. 26th International Conference on Architecture of Computing Systems, New York, NY, USA: 2013
DOI: 10.1007/978-3-642-36424-2_14
Ziermann T., Wildermann S., Teich J.:
Self-organizing Core Allocation
Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS) (Erlangen, 11. April 2013 - 12. April 2013)
In: Proc. Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware 2013

Es wurden leider keine Publikationen gefunden.

Berges M., Hubwieser P.:
Concept Specification Maps: Displaying Content Structures
In: Proceedings of the 18th ACM conference on Innovation and technology in computer science education, New York, USA: 2013
DOI: 10.1145/2462476.2462503
Caspersen ME., Knobelsdorf M., Romeike R.:
Proceedings of the 8th Workshop in Primary and Secondary Computing Education
New York, NY, USA: ACM, 2013
ISBN: 978-1-4503-2455-7
Göttel T., Romeike R.:
Agiler Projektunterricht in der Schulinformatik
INFOS 2013 (Kiel)
In: 15. GI Fachtagung Informatik und Schule, Praxisband, Kiel: 2013
Götz C., Brinda T.:
Sind soziale Netzwerke geeignet, um darin für Informatikstudiengänge zu werben?
In: HDI 2012 - "Informatik für eine nachhaltige Zukunft", Hamburg, 5. Fachtagung Hochschuldidaktik der Informatik: Universitätsverlag Potsdam, 2013, S. 137-148
ISBN: 978-3-86956-220-9
URL: http://www.hdi2012.uni-hamburg.de/de/HDI2012-Preprint-A.pdf
Götz C., Hubwieser P.:
Belebt die Einführung des Schulfachs Informatik die Nachfrage nach einem Informatikstudium?
In: Informatik erweitert Horizonte, 15. GI-Fachtagung "Informatik und Schule" (INFOS 2013), Bonn: Köllen, 2013, S. 147-156 (GI Edition Proceedings Band 219, Bd.219)
ISBN: 978-3-88579-613-8
URL: http://cs.emis.de/LNI/Proceedings/Proceedings219/P-219.pdf#page=148
Hubwieser P., Berges M., Magenheim J., Schaper N., Bröker K., Margaritis M., Schubert S., Ohrndorf L.:
Pedagogical Content Knowledge for Computer Science in German Teacher Education Curricula
In: Proceedings of the 8th Workshop in Primary and Secondary Computing Education, New York: 2013
DOI: 10.1145/2532748.2532753
URL: http://doi.acm.org/10.1145/2532748.2532753
Przybylla M., Romeike R.:
Physical Computing im Informatikunterricht
15. GI-Fachtagung Informatik und Schule (Kiel)
In: INFOS 2013: Informatik erweitert Horizonte, Bonn: 2013
Przybylla M., Romeike R.:
Physical Computing mit "My Interactive Garden"
INFOS 2013 (Kiel)
In: 15. GI Fachtagung Informatik und Schule. Praxisband, Kiel: 2013
Romeike R.:
Smart und Reich durch App-Entwicklung. Programmieren in der Sekundarstufe mit App Inventor für Android Smartphones
INFOS 2013 (Kiel)
In: 15. GI Fachtagung Informatik und Schule. Praxisband, Kiel: 2013
Romeike R., Göttel T.:
Agile Projects in High School Computing Education - Emphasizing a Learners Perspective
The 7th Workshop in Primary and Secondary Computing Education WiPSCE 2012 (Hamburg)
In: Grand Challenges in Primary and Secondary Computing Education, New York: 2013
DOI: 10.1145/2481449.2481461
Ruf A., Berges M., Hubwieser P.:
Types of Assignments for Novice Programmers
In: Proceedings of the 8th Workshop in Primary and Secondary Computing Education, New York: 2013
DOI: 10.1145/2532748.2532777
Schaper N., Magenheim J., Schubert S., Hubwieser P., Bender E., Margaritis M., Ohrndorf L., Berges M.:
Competences for Teaching Computer Science
2013
(KoKoHs Working Papers, Bd.No. 3)
Ufert A., Grillenberger A., Brinda T.:
eledSQL Entwicklung und Erprobung einer webbasierten Lernumgebung für Datenbanken und SQL
URL: https://computingeducation.de/pub/2013_Ufert-Grillenberger-Brinda_DeLFI2013.pdf

Eitzinger J., Hager G., Hofmann H., Hornegger J., Wellein G.:
Pushing the limits for medical image reconstruction on recent standard multicore processors
In: International Journal of High Performance Computing Applications 27 (2013), S. 162-177
ISSN: 1094-3420
DOI: 10.1177/1094342012442424
Pieper A., Schubert G., Wellein G., Fehske H.:
Effects of disorder and contacts on transport through graphene nanoribbons
In: Physical Review B 88 (2013), S. 195409
ISSN: 1098-0121
DOI: 10.1103/PhysRevB.88.195409
Shahzad F., Wittmann M., Kreutzer M., Zeiser T., Hager G., Wellein G.:
A survey of checkpoint/restart techniques on distributed memory systems
In: Parallel Processing Letters 23 (2013), S. 1340011-1340030
ISSN: 0129-6264
DOI: 10.1142/S0129626413400112
URL: http://www.worldscientific.com/doi/abs/10.1142/S0129626413400112
Shahzad F., Wittmann M., Kreutzer M., Zeiser T., Hager G., Wellein G.:
PGAS implementation of SpMVM and LBM with GPI
The 7th International Conference on PGAS Programming Models (Edinburgh, Scotland, UK)
In: Proceedings of the 7th International Conference on PGAS Programming Models, Edinburgh: 2013
Shahzad F., Wittmann M., Zeiser T., Hager G., Wellein G.:
An Evaluation of Different I/O Techniques for Checkpoint/Restart
2013 IEEE 27th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (Boston, MA, USA, 20. Mai 2013 - 24. Mai 2013)
In: Parallel and Distributed Processing Symposium Workshops PhD Forum (IPDPSW), 2013 IEEE 27th International, n.a.: 2013
DOI: 10.1109/IPDPSW.2013.145
Wittmann M., Hager G., Wellein G., Zeiser T., Krammer B.:
MPC and CoArray Fortran: Alternatives to classic MPI implementations on the examples of scalable lattice boltzmann flow solvers
15th Results and Review Workshop on High Performance Computing in Science and Engineering, HLRS 2012 (Stuttgart)
DOI: 10.1007/978-3-642-33374-3_27
Wittmann M., Zeiser T., Hager G., Wellein G.:
Comparison of Different Propagation Steps for Lattice Boltzmann Methods
In: Computers & Mathematics with Applications 65 (2013), S. 924-935
ISSN: 0898-1221
DOI: 10.1016/j.camwa.2012.05.002
URL: http://www.sciencedirect.com/science/article/pii/S0898122112003835

Es wurden leider keine Publikationen gefunden.

Capraro M.:
Towards a Representative and Diverse Analysis of Issue-Tracker Related Code and Process Metrics (Masterarbeit, 2013)
Dohrn H., Riehle D.:
Design and Implementation of Wiki Content Transformations and Refactorings
WikiSym + OpenSym 2013 (Hongkong, 5. August 2013 - 7. August 2013)
In: Proceedings of the 9th International Symposium on Open Collaboration, USA: 2013
DOI: 10.1145/2491055.2491057
URL: http://dirkriehle.com/wp-content/uploads/2013/06/wiki-transformations-final.pdf
Hofmann G., Riehle D., Kolassa C., Mauerer W.:
A Dual Model of Open Source License Growth
OSS 2013 (Slovenia)
In: Proceedings of the 9th International Conference on Open Source Systems, Berlin: 2013
URL: http://dirkriehle.com/wp-content/uploads/2013/04/oss2013.hofmann.pdf
Kolassa C., Riehle D., Salim MA.:
A Model of the Commit Size Distribution of Open Source
SOFSEM 2013 (Spindleruv Mlyn, 26. Januar 2013 - 31. Januar 2013)
In: Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science (LNCS 7741), Berlin: 2013
DOI: 10.1007/978-3-642-35843-2_6
URL: http://dirkriehle.com/wp-content/uploads/2012/10/Paper-LNCS-SOFSEM-2013-Fixed.pdf
Kolassa C., Riehle D., Salim MA.:
The Empirical Commit Frequency Distribution of Open Source Projects
WikiSym + OpenSym 2013 (Hongkong, 5. August 2013 - 7. August 2013)
In: Proceedings of the 9th International Symposium on Open Collaboration, Nirgendwo: 2013
DOI: 10.1145/2491055.2491073
URL: http://dirkriehle.com/wp-content/uploads/2013/06/OpenSym2013.pdf
Ma X., Zhou M., Riehle D.:
How Commercial Involvement Affects Open Source Projects: Three Case Studies on Issue Reporting
In: Science China-Information Sciences 56 (2013), S. 1-11
ISSN: 1674-733X
DOI: 10.1007/s11432-013-4914-6
URL: http://dirkriehle.com/wp-content/uploads/2013/06/Final_SCIS-2013-0168.pdf
Riehle D.:
Proceedings of the 9th International Symposium on Open Collaboration
New York: ACM, 2013
Riehle D.:
The Unstoppable Rise of Open Source (Special Issue)
Deutschland: Oldenbourg Verlag, 2013
Riehle D., Weikert F.:
A Model of Commercial Open Source Software Product Features
ICSOB 2013 (Potsdam, 11. Juni 2013 - 14. Juni 2013)
In: Proceedings of the 4th International Conference on Software Business, Berlin: 2013
DOI: 10.1007/978-3-642-39336-5
URL: http://dirkriehle.com/wp-content/uploads/2013/04/ICSOB2013_017.pdf

Lehrstuhl für Informatik 1 (IT-Sicherheitsinfrastrukturen)

Lehrstuhl für Informatik 2 (Programmiersysteme)

Lehrstuhl für Informatik 3 (Rechnerarchitektur)

Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Lehrstuhl für Informatik 5 (Mustererkennung)

Lehrstuhl für Informatik 6 (Datenmanagement)

Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Lehrstuhl für Informatik 9 (Graphische Datenverarbeitung)

Lehrstuhl für Informatik 10 (Systemsimulation)

Lehrstuhl für Informatik 11 (Software-Engineering)

Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Professur (Medizininformatik - Forschungsgruppe M)

Professur für Didaktik der Informatik

Professur für Höchstleistungsrechnen

Professur für Informatik (Visualisierung)

Professur für Open Source Software