Computer Science
Home

Computer Science Colloquium

Current Talks

Previous Talks

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