|
Wed 22.09.2021, 14:00
|
|
Dr. Álvaro Alhambra : Quantum states at equilibrium: thermal states, tensor networks and area laws
|
|
Tue 10.08.2021, 14:00
|
|
Matthias C. Caro, MSc : Generalization bounds for variational quantum machine learning
|
|
Fri 04.06.2021, 10:00
|
|
Paul K. Fährmann, MSc : Training Quantum Embedding Kernels on Near-Term Quantum Computers
|
|
Thu 18.03.2021, 10:00
|
|
Dr. Mirjam Weilenmann : Quantum physics needs complex numbers
|
|
Tue 22.10.2019, 10:15
|
|
Prof. Gustavo Rossi : Incorporating Usability into Agile approaches in Web Applications
|
|
Tue 01.10.2019, 14:00
|
|
Günther Raidl : Joint research seminar Decision Diagrams in Combinatorial Optimization
|
|
Tue 17.09.2019, 14:00
|
|
Prof. Dr. Michael O'Boyle : Using Constraints and Synthesis to Match Heterogeneous Hardware to Software
|
|
Fri 13.09.2019, 13:00
|
|
Prof. Dr. Giovanni De Micheli : Nano-system Design: Technology and tools
|
|
Wed 14.08.2019, 10:15
|
|
Prof. Dr. Michael Grossniklaus : Citius, Altius, Fortius: Advances in Query Processing
|
|
Wed 19.06.2019, 16:00
|
|
Prof. Noeska Smit : Medical Visualization: Visualizing the Invisible
|
|
Wed 22.05.2019, 10:00
|
|
Prof. Daisuke Iwai : Computational Projection Mapping
|
|
Thu 16.05.2019, 11:00
|
|
Ass.-Prof. Dr. Mirela Alistar : Mobile Microfluidics
|
|
Wed 10.04.2019, 12:30
|
|
Dr. Roman Pflugfelder : Introducing Visual Object Tracking From Classical Views to Machine Learning
|
|
Wed 27.02.2019, 11:00
|
|
Prof. Dr. Christoph Lüth : Self-verifying Systems: Challenges and Perspectives
|
|
Mon 28.01.2019, 13:00
|
|
Prof. Dr.-Ing. Ulf Schlichtmann : Advancing the use of Microfluidic Biochips by Electronic Design Automation
|
|
Wed 23.01.2019, 10:00
|
|
Florian Sattler : Analysing the Performance Evolution of Run-Time Configurable Systems
|
|
Tue 08.01.2019, 14:00
|
|
Miriah Meyer : Research Through Visualization Design Study
|
|
Thu 06.12.2018, 15:00
|
|
Cristian Cadar : Dynamic Symbolic Execution for Software Analysis
|
|
Mon 12.11.2018, 17:15
|
|
Radu Grosu : Towards Explainable RNNs: Modeling, Learning and Verification
|
|
Fri 09.11.2018, 13:30
|
|
Prof. Markku Sakkinen : Cyclomatic Complexity - the most overrated Software metric? - and related ideas
|
|
Tue 06.11.2018, 14:00
|
|
Luca Pulina : Formal Methods and Cyber-Physical Systems: Research Activities and Funded Projects at the IDEA Lab
|
|
Mon 15.10.2018, 12:00
|
|
Alan Mishchenko : Integrating an AIG Package, Simulator and SAT Solver
|
|
Tue 09.10.2018, 14:00
|
|
Dr. Daniel Tille : Functional Safety - A brief overview from DFT point of view
|
|
Wed 26.09.2018, 10:15
|
|
Prof. Dr. Hamid Sarbazi-Azad : An Efficient Scheme for Prolonging the Lifetime of Phase-Change Memories
|
|
Tue 10.07.2018, 15:00
|
|
Prof. Dr. Sebastian Fischmeister : The Convergence of Safety and Security for Safety-critical Systems
|
|
Tue 05.06.2018, 13:00
|
|
Wolfgang Aigner : Visual Analytics as a Design Science Discipline
|
|
Mon 28.05.2018, 17:15
|
|
Warren A. Hunt Jr : Specification and Verification of x86 Machine-Level Code
|
|
Mon 14.05.2018, 09:15
|
|
Dr. Mirela Alistar : Personal Biochips
|
|
Mon 07.05.2018, 15:30
|
|
Florian Gilcher : Secure Coding with Rust
|
|
Tue 24.04.2018, 10:15
|
|
Nawfal Al-Zubaidi R-Smith MSc : Methods of Numerical Inversion of Laplace Transforms for Electrical Engineering and their Applications
|
|
Thu 29.03.2018, 10:15
|
|
Dr. Mukesh Mohania : Blockchain-based Data Management, Analytics and Applications
|
|
Mon 26.02.2018, 10:00
|
|
Ass.-Prof. Dr. Philip Brisk : Design Software for Microfluidics: Integrating Fluid Modeling with Design Objectives
|
|
Fri 23.02.2018, 10:00
|
|
Ass.-Prof. Dr. Ansuman Banerjee : Formal methods for ranking verification counterexamples through assumption mining
|
|
Fri 26.01.2018, 11:00
|
|
Dirk Draheim : Generalized Jeffrey Conditionalization - a Frequentist Semantics of Partial Conditionalization
|
|
Thu 25.01.2018, 10:30
|
|
Wolfgang Waltenberger : On Particle Physics, Information, and Machines That Learn
|
|
Thu 18.01.2018, 10:15
|
|
Radu Mardare : Quantitative Equational Reasoning
|
|
Wed 13.12.2017, 15:30
|
|
Przemyslaw Musialski : Shape Optimization for Consumer-Level Digital Fabrication
|
|
Wed 13.12.2017, 08:30
|
|
Dr. Markus Funk : AR, VR, Drones - Augmented Reality, Virtual Reality and Unmanned Aerial Vehicles
|
|
Mon 11.12.2017, 12:30
|
|
Yuecel Karabulut : The Art and Science of Building Customer Trust in the Cloud
|
|
Wed 29.11.2017, 10:15
|
|
Prof. Matthias Harders : Haptic Mixed Reality - Exploring Applications in Surgical Simulation
|
|
Fri 17.11.2017, 13:00
|
|
: Privatsphäre und Internet
|
|
Tue 07.11.2017, 08:30
|
|
Dr. Pablo González de Aledo : Simulation and Verification of non-functional properties
|
|
Mon 02.10.2017, 10:15
|
|
Gerton Lunter : Machine learning for inference of human demography and biology
|
|
Tue 26.09.2017, 10:00
|
|
Prof. Indranil Sen Gupta : Logic synthesis on memristor crossbar
|
|
Mon 25.09.2017, 16:00
|
|
Simon Dixon : Music Similarity and Cover Song Identification: The Case of Jazz
|
|
Mon 18.09.2017, 10:30
|
|
Dr. Vander Alves : Software Product Lines: Reliability and Beyond
|
|
Mon 11.09.2017, 10:00
|
|
Felix Schwägerl MSc : Version Control and Product Lines in Model-Driven Software Engineering
|
|
Wed 06.09.2017, 13:45
|
|
Eita Nakamura : Statistical Performance Model with Explicit Voice Structure and Symbolic Music Alignment
|
|
Fri 01.09.2017, 10:00
|
|
Dr. CHEN LI : An Approach to Transforming UML Model to Layered Queueing Networks Model for Performance Analysis of Real-Time Distributed Systems
|
|
Tue 08.08.2017, 16:00
|
|
Prof. Krishnendu Chakrabarty : Quo Vadis Microfluidic Biochips? Bridging the Gap between Microfluidics and Microbiology
|
|
Tue 16.05.2017, 10:15
|
|
Ass.-Prof. Dr. Philip Brisk : Microfluidics and Biological Instrument Design as a Computing Discipline: An Overview
|
|
Tue 02.05.2017, 10:15
|
|
Dr. Hoi-Kwan Lau : What is actually needed to quantum-compute with harmonic oscillators?
|
|
Tue 21.03.2017, 16:00
|
|
Prof. Dr. Petr Tuma : Examining Java Performance With Standard Benchmarks
|
|
Mon 06.03.2017, 13:00
|
|
Clifford Wolf : Formal Verification of Verilog HDL with Yosys-SMTBMC and SymbiYosys
|
|
Wed 01.03.2017, 13:00
|
|
Sebastian Gabmeyer : Symbolic Verification of Graph Transformation Systems with Hardware Model Checkers
|
|
Thu 15.12.2016, 16:15
|
|
Dr. Geoffroy Peeters (IRCAM) : Recent researches at IRCAM related to the recognition of rhythm, vocal imitations and music structure
|
|
Wed 14.12.2016, 13:45
|
|
Meinard Müller : Musically Informed Audio Decomposition
|
|
Wed 14.12.2016, 13:15
|
|
Dipl.-Ing. Christian Blümm : Maximizing OFDM Performance Through Real Time Adaptivity ? An FPGA Implementation For Aeronautical Communication
|
|
Thu 10.11.2016, 14:00
|
|
Prof. Dr. Walter Binder : Workload Discovery and Benchmark Synthesis from Public Code Repositories
|
|
Tue 08.11.2016, 16:00
|
|
Prof. Dr. Jörn Kohlhammer : Applying Visual Analytics to Real-World Problems
|
|
Mon 19.09.2016, 10:00
|
|
Dr. Robert Meolic : Implementation Aspects of a BDD Package Supporting General Decision Diagrams
|
|
Mon 22.08.2016, 15:30
|
|
Victor Greiff : Deciphering the rules of antibody repertoire complexity using a systems biology approach
|
|
Mon 11.07.2016, 10:00
|
|
Prof. Tsung-Yi Ho : The Coming of Age of Microfluidics: EDA Solutions for Enabling Biochemistry on a Chip
|
|
Mon 04.07.2016, 10:00
|
|
Adam C Whiteside : Classic Problems to Make Quantum Computing a Reality
|
|
Wed 22.06.2016, 17:15
|
|
Dr. Marijn Heule : Everything's Bigger in Texas: The Largest Math Proof Ever
|
|
Tue 14.06.2016, 16:30
|
|
Prof. Dr. Thomas Pock : Learning better models for computer vision
|
|
Fri 03.06.2016, 15:00
|
|
Joachim Biskup : Publishing Inference-Proof Relational Data: Design, Implementation, Optimization and Experiments
|
|
Mon 30.05.2016, 15:45
|
|
John Prager : IBM Watson: Building a Question-Answering system to Beat Humans on TV
|
|
Thu 19.05.2016, 18:00
|
|
Prof. Dr. Johannes Huber : Polar Coded Modulation: A Tutorial
|
|
Tue 17.05.2016, 16:00
|
|
Dr. Laurence Tratt : VM composition and VM warmup
|
|
Tue 10.05.2016, 16:30
|
|
Susanne Fischer : Spatial clustering of rabies virus genomes using affinity propagation clustering
|
|
Tue 26.04.2016, 10:15
|
|
Prof. Susmita Sur-Kolay : Lithography Hurdles in Physical Design Automation
|
|
Wed 16.03.2016, 08:30
|
|
Priyank Kalla : Word-Level Abstractions from Digital Circuits using Algebraic Geometry and Symbolic Computation
|
|
Tue 08.03.2016, 17:00
|
|
Wolfgang Gatterbauer : Approximate Lifted Inference with Probabilistic Databases
|
|
Thu 21.01.2016, 14:00
|
|
Catia Trubiani : Software Performance Antipatterns to reduce Traceability Uncertainty
|
|
Mon 18.01.2016, 14:30
|
|
Prof. Dr. Bernhard Rinner : Privacy-Protecting and Self-Aware Smart Cameras
|
|
Tue 15.12.2015, 16:00
|
|
Prof. Dr. Tobias Schreck : Visual-Interactive Search and Analysis of Patterns in Complex Data
|
|
Fri 20.11.2015, 10:15
|
|
Ian Marsh : Big data processing with applications in Telecommunications
|
|
Fri 13.11.2015, 13:00
|
|
Dr. Mikhail Barash : On a New Model to Specify Programming Languages
|
|
Fri 30.10.2015, 11:00
|
|
Gabriele Scheler : Principles of Intracellular Signaling
|
|
Tue 30.06.2015, 16:00
|
|
Bernd Bickel : Computational Challenges in Designing Virtual Models for Fabrication
|
|
Thu 25.06.2015, 18:00
|
|
Prof. Johannes B. Huber : Wohltemperiert in guter Stimmung - Grundlagen zu Mathematik und Musik
|
|
Thu 11.06.2015, 17:15
|
|
Klaus Seyerlehner : Computational Engineering and the Metals Business - Are you clogged?
|
|
Thu 28.05.2015, 17:15
|
|
Thomas Ponweiser : Optimization of Scientific Applications in High Performance Computing
|
|
Thu 21.05.2015, 17:15
|
|
Robert Elsässer : Randomized Algorithms for Information Dissemination and Renaming Processes
|
|
Tue 12.05.2015, 13:00
|
|
Regina Hebig : Evolution of Model-Driven Engineering - Three Perspectives
|
|
Fri 08.05.2015, 13:00
|
|
Professor Anind K. Dey : A Framework to Support Opportunistic Groups in Context Aware and Internet of Things Applications
|
|
Thu 07.05.2015, 17:15
|
|
Djork-Arné Clevert : Rectified Factor Networks
|
|
Tue 05.05.2015, 16:00
|
|
Prof. Dr. Vincent Lepetit : Image Features for Robust Registration
|
|
Fri 24.04.2015, 12:00
|
|
Prof. Matthias Kranz : Experimental Evaluation of User Interfaces for Visual Indoor Navigation
|
|
Thu 23.04.2015, 17:15
|
|
Thomas Unterthiner : Toxicity Prediction using Deep Learning
|
|
Thu 26.03.2015, 17:15
|
|
Thomas Kaltofen : Computer-based Simulation of Strabismus Surgeries and Interactive Eye Motility Diagnosis
|
|
Thu 19.03.2015, 17:15
|
|
Christoph Kirsch : From Multicore-Scalable Data Structures to Multicore-Scalable Memory Management
|
|
Wed 18.03.2015, 10:30
|
|
Ákos Maróy : Head Orientation Tracking in an Aircraft Cockpit Environment
|
|
Thu 12.03.2015, 17:15
|
|
Dirk Beyer : Software Verification and Verifiable Witnesses: Report on SV-COMP 2015
|
|
Wed 17.12.2014, 14:00
|
|
Sebastian Fischmeister : DataMill: Rigorous Empirical Performance Evaluation Made Easy
|
|
Fri 05.12.2014, 13:30
|
|
Prof. Dr. Tomas Bures : Software Aspects of Smart Cyber-Physical Systems
|
|
Thu 27.11.2014, 17:00
|
|
Ass.-Prof. Dr. Sam Guinea and Prof. Dr. Luciano Baresi : EcoWare: Past, Present, and Future
|
|
Thu 13.11.2014, 13:00
|
|
LiGuo Huang : Learning from Software Process Repository
|
|
Thu 30.10.2014, 16:00
|
|
Jessica Davies : Solving Max-SAT by Decoupling Optimization and Satisfaction
|
|
Thu 26.06.2014, 10:15
|
|
Oscar Romero, PhD : Semantic Aware Business Intelligence
|
|
Thu 05.06.2014, 17:15
|
|
Alexander Haas : The free lunch is really over: über (unerwartete) Probleme bei SW-Parallelisierungsprojekten in der Praxis
|
|
Thu 22.05.2014, 17:15
|
|
Roland Winkler : Anforderungen und Entwicklung grafischer 2D / 3D Benutzerschnittstellen im Automotive Bereich
|
|
Thu 22.05.2014, 15:30
|
|
Prof. Dr. Luciano Serafini : Contextualized Knowledge Repository: Theory and Practice
|
|
Thu 15.05.2014, 17:15
|
|
Peter Stadelmeyer : Multidisziplinäre Strukturoptimierung aus Softwarearchitektursicht - Algorithmen und Technologielebenszyklen
|
|
Thu 08.05.2014, 17:15
|
|
Christian Eitzinger : Computational Engineering and Machine Learning for Robotic Inspection Systems
|
|
Fri 25.04.2014, 16:00
|
|
Andreas Bender : Using Bioactivity Databases and Computer Algorithms for Target Deconvolution and Compound Design
|
|
Thu 20.03.2014, 05:15
|
|
Christian Federspiel and Christoph Steindl : HPC for Industry and Space
|
|
Thu 13.03.2014, 08:30
|
|
Mo Movahed, Fahim Rahim, Hans-Jörg Peter : Atrenta - Early Design Closure using Formal Methods
|
|
Tue 11.02.2014, 14:30
|
|
Anind K. Dey : Smartphones as a Resource for Understanding People
|
|
Mon 27.01.2014, 13:45
|
|
Stefan ILLWITZER : Business Intelligence / Performance Management / Business Analytics - Verständnis, Marktübersicht und Einblicke
|
|
Thu 23.01.2014, 16:15
|
|
Prof. Dr. Michael Franz : The Multicompiler: Software Defenses Using Compiler Techniques
|
|
Mon 20.01.2014, 10:15
|
|
Georg Fischer : Barrierefreie und mobile Gesundheitsassistenzsysteme an der Schnittstelle zwischen Lifestyle und Medizintechnik Barrier free and mobile e Health systems at the border between lifestyle and medical technology
|
|
Tue 10.12.2013, 16:00
|
|
Anselm Grundhöfer : Augmenting Physical Avatars Using Projector-Based Illumination
|
|
Tue 10.12.2013, 10:15
|
|
Manuel Wimmer : Model-Driven Software Evolution
|
|
Thu 17.10.2013, 15:30
|
|
Prof. Dr. Dirk Riehle : Open Source in Universitätsprojekten
|
|
Wed 09.10.2013, 14:00
|
|
Andrei Voronkov : Solving Systems of Linear Inequalities by Bound Propagation
|
|
Tue 10.09.2013, 10:00
|
|
Cyrille Artho und Takashi Kitamura : Modbat: A Model-based API Tester for Event-driven Systems und Test-Case Design by Feature Trees
|
|
Wed 17.07.2013, 16:00
|
|
Prof. Dr. John Gough : Reconceptualising Bottom-Up Tree Rewriting
|
|
Fri 12.07.2013, 09:00
|
|
Professor Eve Mitleton-Kelly : Using the Logic of Complexity Theory to Address Apparently Intractable Problems
|
|
Tue 18.06.2013, 20:00
|
|
Henry Fuchs : Dreams, Illusions and Promise of Telepresence
|
|
Thu 06.06.2013, 15:30
|
|
Dr. Manfred A. Jeusfeld : Fixing MOF and RDF - A View from the ConceptBase Data Model
|
|
Tue 21.05.2013, 10:00
|
|
Donald Knuth : Experiences with SAT
|
|
Thu 16.05.2013, 15:30
|
|
Dr. Qing Wang : A Theoretical Framework for Knowledge- Based Entity Resolution
|
|
Thu 16.05.2013, 13:45
|
|
Dr. Anna Fensel : Enabling Participation: Semantic Services Design, Deployment, and Valorization
|
|
Mon 29.04.2013, 17:00
|
|
Dr. Thorsten Berger : Variability Modeling in the Real - An Empirical Journey from Software Product Lines to Software Ecosystems
|
|
Mon 22.04.2013, 15:00
|
|
Prof. Dr.-Ing. Ina Schaefer : Delta-orientierte Entwicklung, Analyse und Test von Softwareproduktlinien
|
|
Tue 11.12.2012, 14:30
|
|
Eduard Gröller : Variability in Visualization
|
|
Fri 30.11.2012, 13:45
|
|
Priv. Doz. Dr. Dirk Draheim : On the Pragmatics and a Constraint-based Semantics of Multilevel Modeling
|
|
Tue 13.11.2012, 14:30
|
|
Joaquim Jorge : Touching more than two dimensions: augmenting surfaces with sound
|
|
Mon 29.10.2012, 16:00
|
|
Prof. Alexander Felfernig : Intelligent Techniques for the Engineering of Constraint-based Systems
|
|
Mon 08.10.2012, 16:30
|
|
Dr. Stefan Brunthaler : NAMASTE: Adaptive Optimizations in Interpreters
|
|
Fri 22.06.2012, 14:00
|
|
Univ.-Prof. Dr.-Ing. habil. Falko Dressler : Industrial Wireless Networks - Robust and Interference-Aware Real-Time Communication
|
|
Thu 24.05.2012, 15:30
|
|
Univ.-Doz. Dr. Ernest Wallmüller : Softwarequalität - Schlagwort oder Realität ? Ist die SOFTWARE-Krise überwunden oder wird sie immer wieder neu erfunden?
|
|
Thu 26.04.2012, 17:15
|
|
Prof. Joachim Posegga : Next Generation Smartphone Security
|
|
Wed 25.04.2012, 16:15
|
|
Dr. Gerolf Hoflehner : HW/SW Co-design: Past, Present and Potential
|
|
Thu 09.02.2012, 10:00
|
|
Hans-Jörg Schulz : New Perspectives on Tree Visualization
|
|
Wed 14.12.2011, 15:30
|
|
Hui Ma : A Geometrically Enhanced Conceptual Model and Query Language
|
|
Wed 23.11.2011, 17:30
|
|
Dr. Kurt Hickisch : Sicherheit beginnt bereits bei der "Außenhaut"
|
|
Wed 16.11.2011, 13:45
|
|
Prof. Sang-Mook Lee : Meeresbiologie und Assistierende Technologien
|
|
Thu 29.09.2011, 16:15
|
|
Marcus Lagergren : Design Rationales in the JRockit JVM
|
|
Wed 21.09.2011, 13:30
|
|
Prof. Dr. Alfonso Pierantonio : Managing the Evolution of FOSS with Model-Driven Techniques
|
|
Thu 16.06.2011, 15:30
|
|
Mag. Olaf Hahn : "Wissen ist Macht" - Lernende Computersysteme - die nächste große Herausforderung bzw. ein bewegender Durchbruch
|
|
Thu 09.06.2011, 20:00
|
|
Maurizio Seracini : A FUTURE FOR THE PAST: Engineering Sciences to Safeguard and Rediscover Cultural Heritage
|
|
Thu 09.06.2011, 15:30
|
|
Prof. Dr. Rolf Pfeifer : Soft Robotics - Self-organization, embodiment and biological inspiration
|
|
Thu 26.05.2011, 16:15
|
|
Dr. Niranjan Suri : An Overview of Agile Computing and Process Integrated Mechanisms
|
|
Thu 19.05.2011, 16:30
|
|
Prof. Dr. Britta Schinzel : Ethische Fragen der Informatik unter Berücksichtigung feministischer Positionen
|
|
Fri 06.05.2011, 10:15
|
|
Jun.-Prof. Dr. Hannes Frey : Scalable Routing Algorithms for Large Scale Wireless Networks
|
|
Wed 13.04.2011, 17:15
|
|
Prof. Dr. Michael Franz : Recent Advances in Compiler Research - Firefox's TraceMonkey and Beyond
|
|
Fri 01.04.2011, 09:00
|
|
Egon Boerger : A Subject-Oriented Interpreter Model for S-BPM
|
|
Wed 19.01.2011, 17:15
|
|
Prof. Dr. Martin Glinz : Quality Requirements - A New Look at an Old Problem
|
|
Wed 12.01.2011, 17:15
|
|
Dr. Andrew Straw : Combining Virtual Reality and Genetics to Understand the Fruit Fly Brain
|
|
Wed 12.01.2011, 14:30
|
|
Dr.-Eng. Geoffroy Peeters : Research and Applications related to Audio and Music Content Indexing at Ircam
|
|
Thu 25.11.2010, 13:45
|
|
DI Dr. Sebastian Schneider : Ausgewählte Themen des Europäischen und US-Patentrechts
|
|
Tue 23.11.2010, 13:45
|
|
DI Tobias Jeske : A Compiler for Optimised Zero-Knowledge Proofs of Knowledge
|
|
Tue 12.10.2010, 16:15
|
|
Dr. Robert Griesemer : It's so much nicer to program in Go --- A guided tour
|
|
Wed 28.07.2010, 15:00
|
|
Vijay Ganesh (MIT, USA) : Solvers for Software Reliability and Security
|
|
Tue 13.07.2010, 11:00
|
|
Prof. Judith Donath : Data Portraits
|
|
Mon 21.06.2010, 16:00
|
|
Prof. Mark Billinghurst, HIT Lab NZ : Designing Augmented Reality Experiences
|
|
Tue 08.06.2010, 16:15
|
|
Prof. Dr. Wolf Zimmermann : Robuste Komponentensysteme durch Protokollprüfung
|
|
Wed 26.05.2010, 13:00
|
|
Dr. Daniela Damian : Collaborative software development and social networks in action: A framework and experiences from studies of collaboration and project outcomes in global software teams
|
|
Fri 18.12.2009, 12:00
|
|
Prof. Dr. Dieter Gollmann : Standards und Sicherheitsspezifikationen
|
|
Thu 17.12.2009, 16:15
|
|
Jaroslav Tulach : Paradoxes of API Design
|
|
Thu 26.11.2009, 16:15
|
|
Dipl.-Math. Gerolf Hoflehner : Register Allocation for the Intel(R) Itanium(R) Processor
|
|
Thu 26.11.2009, 09:00
|
|
Daniel Kroening : Model Checking C++ Programs that use the STL
|
|
Mon 23.11.2009, 10:15
|
|
Dr. Manuel Corpas : Bioinformatics Tools for Visualization and Analysis of DECIPHER data
|
|
Wed 18.11.2009, 13:45
|
|
Prof. Dr. Klaus-Dieter Schewe : Konzeptionelle Modellierung von Clouds
|
|
Wed 21.10.2009, 16:15
|
|
Ken Butts : The Impact of Cyber-Physical Systems on the Automotive Industry
|
|
Fri 02.10.2009, 10:30
|
|
DI Christa Schwanninger : Von der Plattform zur Produktlinie
|
|
Thu 18.06.2009, 16:15
|
|
Dr. Stefan Stanczyk : ON EQUIVALENCE OF THEORETICAL DATABASE MODELS
|
|
Fri 12.12.2008, 13:15
|
|
Dr. Jan Kofron : TBP: Code-Oriented Component Behavior Specification
|
|
Fri 13.06.2008, 11:00
|
|
J. Sztrik, Full Professor : HETEROGENEOUS FINITE-SOURCE RETRIAL QUEUEING SYSTEMS
|
|
Mon 05.05.2008, 16:30
|
|
Thomas Hagauer : High Performance Computing @ BMW
|
|
Mon 21.04.2008, 16:15
|
|
Professor Dr. Harald C. Gall : Software Evolution Analysis and Visualization
|
|
Fri 04.04.2008, 10:15
|
|
Leonardo de Moura, Nikolaj Bjorner : Satisfiability Modulo Theories @ Microsoft
|
|
Mon 31.03.2008, 10:15
|
|
Dr. Erwin Laure, CERN : EGEE: Providing a Production Grid Infrastructure for Collaborative Science
|
|
Mon 17.03.2008, 16:15
|
|
Prof. Dr. Michael Franz : Leveraging Parallel Hardware to Eradicate Worms, Viruses and Common Programming Errors
|
|
Thu 13.03.2008, 16:15
|
|
Dr. Gerhard Weiß : Autonome Informationsverarbeitungssysteme
|
|
Mon 25.02.2008, 10:15
|
|
Dr. Andrew Hamilton-Wright - http://www.cis.uoguelph.ca/~andrew/ : Rule Discovery and Interpretation for Clinical Disease Characterization
|
|
Tue 29.01.2008, 15:00
|
|
Dr. Marc Langheinrich : Werden wir in Zukunft noch eine Privatsphäre haben? Über den Datenschutz im Ubiquitous Computing
|
|
Wed 16.01.2008, 12:00
|
|
Dr. Harald Kornmayer : g-Eclipse - Easy Access to the Grid
|
|
Thu 10.01.2008, 16:15
|
|
Dr. Wieland Schwinger : Employing Models for the Systematic Development of Web Applications - From Wishful Thinking to Viable Engineering
|
|
Thu 22.11.2007, 16:15
|
|
Ismail Khalil Ibrahim : Models for Norm-Based Agent Interaction in Ubiquitous Environments
|
|
Tue 13.11.2007, 19:00
|
|
Podiumsdiskussion (s. z. Person) : Requirements Engineering: Die Wurzel aller Übel oder der Grundstein für Qualitätssoftware?
|
|
Tue 30.10.2007, 10:15
|
|
Dr. Oswaldo Trelles : High performance computing applied to life sciences
|
|
Fri 28.09.2007, 15:30
|
|
Univ.-Prof. Dr. Heinz Zemanek, Univ.-Prof. Dr. Gerhard Chroust, Univ.-Prof. Dr. : Erlebte Meilensteine der Informatik - 4 Generationen berichten
|
|
Fri 29.06.2007, 10:15
|
|
ao.Univ.-Prof. Dr. Andreas Uhl : Distributed Multimedia
|
|
Thu 28.06.2007, 15:30
|
|
Dipl.-Inf. Felix Loesch : Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations
|
|
Tue 19.06.2007, 16:15
|
|
Dr. Walter Duerr : Product and Quality Assurance at Austrian Aerospace
|
|
Tue 17.04.2007, 15:30
|
|
Dr. Josef Templ : TDL - A Component Model for Determinstic Real-time Systems
|
|
Fri 09.03.2007, 09:30
|
|
Prof. Dr. Tom Gross : Kooperative Informationsumgebungen: Konzepte und Werkzeuge zur Selbstorganisation im sozialen Kontext
|
|
Fri 09.02.2007, 13:45
|
|
Prof. Dr. Markku Sakkinen : Promises, Problems and Side Effects of Reverse Inheritance
|
|
Fri 26.01.2007, 13:45
|
|
Jaroslav Tulach, David Kaspar, Petr Hrebejk : The NetBeans Rich Client Platform
|
|
Thu 11.01.2007, 16:15
|
|
Ass. Prof., Dr. Petr Doucek : Information Security Management Selected Problems
|
|
Thu 11.01.2007, 14:30
|
|
Dr. Rudolf Volkmer-Engert : Biophysik und Peptidarrays - eine Hochzeit und deren Folge für Coiled-Coil Assoziationen: Fragen an die Bioinformatik
|
|
Tue 09.01.2007, 17:15
|
|
Ralf Ratering : Grid Programming Environment (GPE) - An Intel Open Source Solution Grid as Infrastructure for Distributed Enterprise IT Resources
|
|
Mon 18.12.2006, 16:00
|
|
Professor Dr. Xavier Franch : On the Use of i* for Driving COTS Component Selection
|
|
Tue 12.12.2006, 15:30
|
|
Donny Kurniawan : Worqbench: An Integrated Framework for e-Science Application Development
|
|
Mon 04.12.2006, 16:30
|
|
Dipl.-Ing. Sonja Koppensteiner : Planung nach PMBoK
|
|
Wed 22.11.2006, 15:30
|
|
Andre Merzky : Understanding the Visualization Pipeline
|
|
Tue 21.11.2006, 14:00
|
|
Univ.-Prof. Dipl.-Ing. Dr. techn. Gert Pfurtscheller : Direkte Hirn-Computer Kommunikation: Brain-Computer Interface (BCI)
|
|
Tue 24.10.2006, 11:00
|
|
Professor Dr. Neil A. Maiden : Discovering Services from Requirements: The SeCSE Way
|
|
Tue 03.10.2006, 16:15
|
|
Prof. Dr. Colin Atkinson : Towards a Unified Environment for Model, Ontology and Service Engineering
|
|
Mon 28.08.2006, 11:00
|
|
Hubert Renauld : Rules, rather than genes
|
|
Mon 15.05.2006, 15:30
|
|
Professor Athula Ginige : CBEADS: A Framework for developing evolutionary Web Applications
|
|
Tue 18.04.2006, 16:15
|
|
Stephen L. Scott, Christian Engelmann : Advancing Reliability, Availability and Serviceability for High-Performance Computing
|
|
Thu 06.04.2006, 17:15
|
|
Steffen Grünewälder : Convergence Results in Reinforcement Learning
|
|
Thu 30.03.2006, 16:15
|
|
Prof. Dr. Michael Franz : Cool Stuff With Virtual Machines: Making Java Much Faster and More Secure (Vortrag auf Deutsch, Folien auf Englisch)
|
|
Thu 16.03.2006, 16:15
|
|
Prof. Dr. Josef Hochreiter : Bioinformatik - Was ist das, wer braucht das?
|
|
Thu 19.01.2006, 16:15
|
|
Dr. Michael Haller : Mixed Reality Schnittstellen
|
|
Wed 18.01.2006, 17:15
|
|
Ph.D. Laurent Lefevre : High Performance Programmable Network Support for Grid Infrastructures
|
|
Tue 10.01.2006, 17:30
|
|
Dr. Hagen Klauk : Organic Thin Film Transistors for Integrated Circuits
|
|
Mon 19.12.2005, 11:00
|
|
Dr. Martin Schulz : Leading the Way to Ultrascale Computing: The BG/L System Software Environment
|
|
Thu 24.11.2005, 16:15
|
|
Mag. Dr. Michael Sonntag : Einzel-Agenten oder Multi-Agenten-Systeme? Strukturelle Überlegungen, Verbindung beider Ansätze und rechtliche Konsequenzen
|
|
Thu 24.11.2005, 09:00
|
|
Grigori Evreinov, Ph.D. : Advanced Interaction Design: Principles and Techniques for People with Disabilities
|
|
Thu 10.11.2005, 16:15
|
|
Dr. Stephan Dreiseitl : Automatisierte Melanomerkennung: State of the art
|
|
Wed 12.10.2005, 16:00
|
|
Prof. Dr. Stefan Kramer : Towards an Integrated Analysis of Small Molecule and Gene Expression Data
|
|
Tue 11.10.2005, 16:30
|
|
Joachim Biercamp, Michael Böttinger : Höchstleistungsrechnen, Datenhaltung und Visualisierung in der Klima und Erdsystemforschung
|
|
Thu 07.07.2005, 16:00
|
|
Dr. Christoph Steindl, IT-Architekt : Agile Softwareentwicklung
|
|
Thu 30.06.2005, 15:15
|
|
Simon Dixon : New Time Warping Algorithms for Tracking and Aligning Musical Performances
|
|
Thu 09.06.2005, 16:15
|
|
Dipl.-Ing. Sonja Koppensteiner : The Significance of the Right Timing of Project Reviews in Software Development Projects
|
|
Fri 22.04.2005, 10:30
|
|
Prof. Dr. Zhi-Gong Wang : IC Design for Optic-fiber and Wireless Communication
|
|
Mon 24.01.2005, 14:00
|
|
Dr. Thomas Zettler : Modern System on Chip Design
|
|
Mon 22.11.2004, 14:00
|
|
Dr. Erich Gamma : Eclipse Evolving towards a General Component Platform
|
|
Mon 27.09.2004, 16:15
|
|
Dr. Masakazu Suzuki : An integrated OCR software for mathematical documents - Infty -
|
|
Thu 23.09.2004, 16:15
|
|
Dr. Dominique Archambault : Multimodal Computer Games for severely visually impaired children
|
|
Wed 22.09.2004, 16:15
|
|
Dr. Donal Fitzpatrick : Integrating Access Technology into Mainstream Computing
|
|
Thu 24.06.2004, 16:15
|
|
DI Andreas Schabus : Writing Secure Code - Fundamentals, Security ist auch eine Developerthematik
|
|
Thu 17.06.2004, 15:30
|
|
Dr. Thomas Zettler : Modern System on Chip Design
|
|
Wed 16.06.2004, 13:00
|
|
Dr. Timm Ostermann - : Habilitationskolloquium Fachgebiet
|
|
Tue 08.06.2004, 16:15
|
|
Prof. Reind van de Riet (emeritus Professor, Editor for Europe: Data & Knowledge : Guaranteeing Security and Privacy in Cyberspace With the DKE Refereeing Process as Application
|
|
Thu 27.05.2004, 14:00
|
|
Dr. Roger Tagg : SOFTWARE AGENTS TO SUPPORT ADMINISTRATION IN ASYNCHRONOUS TEAM ENVIRONMENTS
|
|
Tue 18.05.2004, 18:00
|
|
Prof. William F. Hunt, Jr. : „ An Alternate PM Fine Standard. – History and New Trends in Establishing Standards in Air Pollution in the United States“
|
|
Fri 14.05.2004, 13:00
|
|
Dr. Dave Detlefs : Garbage-First Garbage Collection
|
|
Wed 12.05.2004, 08:30
|
|
Dr. Vincent Hager, Senior Consultant CRM Solutions : Active Data Warehousing
|
|
Mon 10.05.2004, 17:15
|
|
Dr. Elena Somova : Virtual Learning Environment The Plovdiv Electronical University
|
|
Mon 26.04.2004, 15:30
|
|
Prof. Yoshihide Horiuchi, Ph. D., horiuchi@u-shizuoka-ken.ac.jp : Transcultural Communications in IFSR/ISI Conversations, Systems Design and Business Practice
|
|
Thu 01.04.2004, 15:30
|
|
Em. Univ.-Prof. Dr Arno Schulz, Em. Univ.-Prof. Dr. Bruno Buchberger, Univ.-Prof : PL/I und IBM /360 ? eine Retrospektive anläßlich des 80. Geburtstags von Prof. Dr. A. Schulz
|
|
Thu 25.03.2004, 16:15
|
|
Dipl.-Math. Gerolf Hoflehner : Ein Überblick über den Intel(R) Itanium(R) Codegenerator
|
|
Thu 20.11.2003, 16:30
|
|
Dr. Hermann von Issendorff : Schaltungsentwurf und -Layout mit Aktonalgebra
|
|
Thu 30.10.2003, 15:15
|
|
Prokurist Ewald Baumann : Verdammt zum Erfolg Die POST AG in Österreich und Osteuropa
|
|
Mon 15.04.2002, 10:15
|
|
Dipl.-Ing. Sonja Hof : Sicherheitsanforderungen und -konzepte für e-Business und e-Government
|
|
Thu 21.03.2002, 17:15
|
|
Univ. Prof. Dr. Friedemann MATTERN : Der Trend zur Informatisierung und Vernetzung aller Dinge - Pervasive und Ubiquitous Computing
|
|
Thu 21.03.2002, 16:00
|
|
Ingo Rammer : .NET-Remoting - Verteilte Anwendungen auf Basis des .NET-Frameworks
|
|
Mon 11.03.2002, 15:30
|
|
Mag. Harald Bangerl : Komponentenbasierte Geschäftsmodelle im eBusiness: Die Methode Focal Point®
|
|
Thu 24.01.2002, 16:00
|
|
Willy Weisz : Mit Globus ins Grid
|
|
Tue 11.12.2001, 16:15
|
|
Dr. Martin Schulz : SMiLE: Cluster Computing mit SCI von der Hardware bis zur Anwendung
|
|
Fri 16.11.2001, 10:15
|
|
Assoc. Prof. Dr. Jim Warren : How Much Structure? - The Problem of Chronic Disease Management Decision Support
|
|
Mon 05.11.2001, 16:00
|
|
Rafal Lukawiecki : Behind .NET [dotNet]
|
