| Related sites for http://www.risc.uni-linz.ac.at/people/schreine/ |
| Perl_Paraphernalia By Mark-Jason Dominus, author of the Higher Order Perl book. Hints, articles, Perl modules, programs. | | Metamorphosis_Design_Studio Custom and free website templates and custom design services. Free downloads of fonts library, photos, and JavaScripts. | | Network_Consultancy_and_Training Providing Cisco training, Cisco certification, CCNA, CCNP, CCDA and CCDP in the UK. | | Orion Imitating a "planisphere", this is a very popular aid to viewing the sky at night. | | RFC_2637 Point-to-Point Tunneling Protocol. K. Hamzeh, G. Pall, W. Verthein, J. Taarud, W. Little, G. Zorn. July 1999. | | Synkron Scandinavian vendor with partners in Norway, Sweden, Germany, Switzerland and Denmark. The Synkron system is aimed at the mid-market. | | Dial-in_Access_Policy Sample policy controlling the use of dial-in connection to corporate networks. | | z/OS_UNIX_System_Services_Tools_and_Toys Performance tools, ported tools, z/OS UNIX tools and code samples from IBM and other vendors. | | JDollars A Java class library for credit card transaction processing. [Open source, BSD License] | | Lucene_Search_Engine Jakarta Lucene is a full-featured text search engine written entirely in Java, and it is an open source project available for free download from Apache Jakarta. The current goals of the project are pr | | Object_Technology_Discontinues_ENVY/Developer Press release that ENVY/Developer lives on in IBM VisualAge Smalltalk. (June 1, 2001) | | Third_Brigade_Host_Intrusion_Prevention_Systems Host Intrusion Prevention Systems (HIPS) that stop mass attacks and targeted attacks before they impact hosts, applications and data. | | SMSep_Software SMS Communicator mobile telephone messenger to send short messages using cell phone connected to the PC. Product specifications, screenshots, and download. | | Mac_ReviewCast Podcasts which review various Apple hardware and software products. | | SAJA_-_Secure_AJAX_for_PHP A lightweight AJAX framework for PHP allowing encrypted data to be trasmitted over non-encrypted channels. | | Computer_Graphics_Laboratory_at_UCSD Conducts research in Appearance Modeling, Simulating and Rendering Natural Phenomena, Global Illumination | | eDocPublishing_com CD/DVD duplication systems, manual and automatic. Duplication and replication services, catalog and CD-ROM publishing. File conversion and document imaging available. | | Kellyn_Design_Group Offers design services for small-to-medium sized commercial and non-profit organizations. | | Lakeside_Web_Productions,_LLC Offering design, programming, development, and hosting services, including flash presentations. | | ISS Internet Scanner Tool. Performs scheduled and selective probes of communication services, operating systems, applications and routers to uncover and report systems vulnerabilities that might be open t |
|
Wolfgang Schreiner.maketitle { align : center }div.abstract { margin-left: 20%; margin-right: 10%; }h3.abstract { align : center }div.verse, div.quote, div.quotation { margin-left : 10%; margin-right : 10%;}dt {font-weight: bold}Wolfgang Schreiner  A.Univ.Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Research Institute for Symbolic Computation (RISC) Johannes Kepler University A-4040 Linz, Austria, Europe Tel: +43 732 2468 9963 Fax: +43 732 2468 9930 Email: Wolfgang.Schreiner@risc.uni-linz.ac.at Web: http://www.risc.uni-linz.ac.at/people/schreine [Business Page at RISC] [Home Page at CBL/KWM]       Curriculum Vitae (PDF)Book SectionsJournal PublicationsRefereed PublicationsNon-refereed PublicationsTechnical ReportsTalksResearchAreasFormal Methods Parallel and Distributed ComputingProjectsDK W1214 Project "Formally Specified Computer AlgebraSoftware" (2008-2010) The goal of this project is the development of a formal framework andcorresponding tools for the formal specification of computer algebra software.The RISC ProofNavigator(2005-) This is an attempt towards an interactive proof assistant as a firstcomponent of a future environment for formal system and program reasoning.Austrian Grid 2 Project "Distributed Supercomputing in theGrid" (2007-2009)The goal of this project is the development of a programming interfacefor running distributed applications on grid infrastructures.EU Project EGEE-II(2006-2008)The goal of the RISC participation in this project is to port the gridversion of the SEE++ software for virtual eye surgery to the EGEE-II middleware.The RISC SlideShow A small tool for generatingHTML-based presentations from templates (developed for producing trainingmaterial in this project).MathBroker II: Brokering Distributed MathematicalServices (2005-2007)The goal of this project is to continue and extend the results of the previousMathBroker project on brokering mathematical services in the net.Austrian Grid Project SEE-Grid(2004-2006)The goal of this project is the development of a grid version of the softwareSEE++ for virtual eye surgery.Brokering Distributed Mathematical Services (2001-2003)The goal of this project is the development of a framework for brokering mathematical services that are distributed among networked servers. The foundation of this framework isa language for describing the mathematical problems solved by the services.Distributed Maple (1998-)Distributed Maple is a system for writing parallel programs in the computeralgebra system Maple based on a communication and scheduling mechanismimplemented in Java.Integrating Temporal Specifications as RuntimeAssertions into Parallel Debugging Tools(2001-2002) This project pursues the integration of formal methods with tools for thedebugging of parallel message passing programs. The idea is to generate fromtemporal logic specifications executable assertions that can be checked in thevarious states of parallel program execution.Distributed Constraint Solving for Functional Logic Programming (1997-1999)I am the technical leader of a research project on the development of adistributed constraint solving system based on a functional logic language.DAJ -- Distributed Algorithms in Java (1997) DAJ is a toolkit for designing, implementing, testing, simulating, andvisualizing distributed algorithms in Java.High-Performance Generic Programming (1996-1998)I direct a research project on the development of a genericcompilation system based on a higher-order functor language that can beretargetted to multiple core languages. COOPERATE (1998)In the frame of the COOPERATE initiative, we are developing a component of asoftware system for the support of distributed meetings.The RT++ Thread Package (1996) This is a C++ package that provides higher-order threadsin a type-safe framework with garbage collection.The pD Compiler (1993-1994)In my Ph.D. thesis I developed a compiler for asmall para-functional programming language thatused a new technique to generate parallelism from annotated functionalprograms. The target code is efficient PACLIB C code with explicit taskcreation and synchronization constructs.The PACLIB Runtime Kernel (1992-1993)Hoon Hong and I developed a parallelvariant of the runtime kernel of the computer algebra library SACLIB. Theparallel kernel supports on shared memorymultiprocessors tasks as first order objects with garbage-collection,non-determinism, and lazy task creation.Adam & Eve - An Abstract Dataflow Machine and ItsProgramming Language (1989-1990) This was the title of my diplomathesis where I developed on a multi-transputer system aparallel simulator for a new kind of dataflow architecture,TeachingCourses at the Johannes Kepler University LinzComputability and Complexity(WS 2008,WS 2007,WS 2006).Formal Methods in Software Development(WS 2008, WS 2007, SS 2007, SS 2006, SS 2005).Computer-based Working Environments(WS 2008).Project Seminar Formal Methods in Computer Science (WS 2008,SS 2008,WS 2007,SS 2007,WS 2006,SS 2006,WS 2005,SS 2005,WS 2004).Computersysteme (SS 2008, SS 2007,SS 2006, SS 2005, SS 2004, SS 2003, SS 2002).Introduction to Parallel and Distributed Computing(SS2008, WS2005, WS2003, WS2000, SS99, WS97,WS96, WS95, SS 94, SS 93, WS 92)Formal Specification of Abstract DataTypes (SS 2008,WS 2005,WS 2002,WS 2000,WS 98). Algebraic and Discrete Methods in Biology (SS 2008,SS 2007).Formal Semantics of Programming Languages(WS 2006,WS 2004,SS 2001,SS 99,WS 97/98, WS 95/96, SS 91).Formal Models for Parallel and Distributed Systems (WS 2006,SS 2001,WS 99,SS 98, SS96).Algorithms for Distributed Systems (WS 2004,WS 2001,SS 2000,WS 98/99).Project Seminar Parallel and Distributed Software and Algorithms(WS 2003, SS 2003, WS 2002,SS 2002,WS 2001,SS 2001,WS 2000, SS 2000, WS 99, SS 99,WS 98, SS 98)Formal Semantics of Type and Module Systems (SS 2000,SS 98, SS96) Formal Foundations of Computer Science 1(WS 99)Programming ProjectsComputation of Voronoi Diagrams(SS 99)A Manager for Distributed MathematicaComputations (SS 98)Parallel Programming Laboratory (SS 97, SS 95, SS 92)Compilation of Functional Languages for ParallelExecution (SS 97, WS 93, WS 91)Parallel Languages and Programming Models(WS96)Parallel Functional and Logic Programming (SS 93, WS 91)Parallel Architectures for Declarative Languages (WS 90)Courses at the Upper Austria University of Applied Sciences at HagenbergComputer Science1 (Degree Programme"Communication, Knowledge, Media" respectively "Engineering for Computer-basedLearning", Hagenberg University of Applied Sciences, WS 2008, WS 2007, WS 2006, WS 2005, WS 2003, WS 2002, WS 2001).Computer Science2 (Degree Programme"Communication, Knowledge, Media" respectively "Engineering for Computer-basedLearning", Hagenberg University of Applied Sciences, SS 2008, SS 2007, SS 2006, SS 2005, SS 2004, SS 2003, SS 2002).Mathematics 1 (Formal ProblemSolving)(Degree Programme "Engineering for Computer-basedLearning", Hagenberg University of Applied Sciences, WS 2004, WS 2003, WS 2002, WS 2001).Seminar "Scientific Writing" (Degree Programme "Engineering for Computer-basedLearning", Hagenberg University of Applied Sciences, SS 2004).Mathematics 2 (Formal Problem Solving) (Formal Problem Solving)(Degree Programme "Engineering for Computer-basedLearning", Hagenberg University of Applied Sciences, SS 20004, SS 2003, SS 2002).Networks 1(Degree Programme "Engineering for Computer-basedLearning", Hagenberg University of Applied Sciences, WS 2003, WS 2002, WS2001).Networks 2 (Degree Programme "Engineering for Computer-basedLearning", Hagenberg University of Applied Sciences, SS 2002).Distributed Computing(Degree Programme "Software Engineering",Hagenberg University of Applied Sciences, SS 2000).Other CoursesFormal Methods forDistributed Systems (University ofDebrecen, Debrecen, Hungary, September 2007).Supervised StudentsImre Matko (ISI-Hagenberg Master's Thesis)Kenji Miyamoto (ISI-Hagenberg Master's Thesis)Johannes Watzl (Masterthesis)Markus Stadlbauer (Masterthesis) Florian Prieler (FH diploma thesis)Kathrin Furtlehner (FH diploma thesis)Roswitha Wallner (FH diploma thesis)Bettina Wansch (FH diploma thesis)David Schwingenschlögl (FH diploma thesis)David Wojak (FH diploma thesis)Rebhi Baraka (PhD thesis).David Hauger (FH diploma thesis)Mirjam Köck (FH diploma thesis)Günter Krausgruber (FH diploma thesis)Robert Berndorfer(FH diploma thesis)Kathrin Meyer (FH diploma thesis)Daniel Huemer (FH diploma thesis)Karoly Bosa (PhD Thesis).Gerald Eckerstorfer (FH DiplomaThesis)Susanne Fest (FH Diploma Thesis)Christian Mittermaier (Diploma Thesis).Mircea Marin (ResearchProject and PhD. thesis).Werner Landerl (ResearchProject and Diploma Thesis).Peter Kulczycki(FHS Praxis Semester, Diploma Thesis).Wolfgang Stöcher (DiplomaThesis and Research Project).AlexanderDvorsky (FHS PraxisSemester).Wolfgang SchreinerLast modified: September 1, 2008 |
|
