1
0
0
News
zeit.de: Wissenschaftlicher Mitarbeiter (m ZEIT ONLINE Stellenmarkt
— Dr. Janis Voigtländer, Universität Duisburg- Essen, Fakultät für Ingenieurwissenschaften, Fachgebiet Formale Methoden der Informatik, ... › jobs › wissenschaftlicher-mitarbeite...
10. International Workshop on Termination — HTWK Fachgruppe...
portal.imn.htwk-leipzig.de
10. International Workshop on Termination . Leipzig, Germany, June , Datum: : :00: Ort: ... Janis Voigtländer, TU Dresden;
Programme_QAPL
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
Netzwerk-Profile
Personensuche
www.uni-due.de
Veranstaltungen von Prof. Dr. Janis Voigtländer. Aktuelle Veranstaltungen. Praxisprojekt "Webprogrammierung mit Yesod und DSLs" ...
Es fehlt: Carpe diem GmbH Café Bistro"
Private Homepages
Fortgeschrittene Funktionale Programmierung
www.janis-voigtlaender.eu
Free Theorems in the Presence of seq, article by Patricia Johann and Janis Voigtländer (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar).
Janis Voigtländer - Projektgruppe Angewandte Funktionale...
www.janis-voigtlaender.eu
Projektgruppe Angewandte Funktionale Programmierung, Wintersemester Voraussetzungen: Inhaltlich vorausgesetzt wird der Haskell-Teil der ...
XML and Semi-structured Data
www.janis-voigtlaender.eu
XML and Semi-structured Data (Seminar), Winter Term Prof. Dr. Heiko Vogler / Dr. Janis Voigtländer / M.Sc. Torsten Stüber. Organization. October 12th ...
Janis Voigtländer - Deskriptive Programmierung, Sommersemester 2014
www.janis-voigtlaender.eu
Deskriptive Programmierung, Sommersemester Jun.-Prof. Dr. Janis Voigtländer Einträge im Vorlesungsverzeichnis: Vorlesung; Übung; Achtung: Vorlesungs- und
Herkunft
Janis Voigtländer - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Janis Voigtländer has 1 student and 1 descendant. We welcome any additional information. If you have additional ...
Bücher
Functional and Constraint Logic Programming: 20th International...
books.google.de
... Chitil Rachid Echahed Santiago Escobar Moreno Falaschi Sebastian Fischer Michael Hanus Julio Mari ̃no y Carballo Janis Voigtländer Additional Reviewers ...
Dependable Software Systems Engineering - Google Books
books.google.de
Janis Voigtländer. Tree transducer composition as program transformation. PhD thesis, Dresden Univ. of Technology, Janis Voigtländer and Armin ...
Dokumente zum Namen
Taming Selective Strictness pdfkeywords - EMIS
subs.emis.de
von D Seidel · Zitiert von: 7 — Daniel Seidel∗ and Janis Voigtländer. Technische Universität Dresden, Dresden, Germany. &#.tu-dresden.de. › LNI › gi-proc
V orankündigung - Rosa-Luxemburg-Stiftung
www.rosalux.de
GELT und der Informatikstudent JANIS VOIGTLÄNDER von der TU. Dresden, der Promotionsstipendiat MATTHIAS REINECKE, der in. › Utopie_kreativ › 117_rls
Wissenschaftliche Veröffentlichungen
DFG - GEPRIS - Professor Dr. Janis Voigtländer
gepris.dfg.de
Professor Dr. Janis Voigtländer, Institut für InformatikBonn
Deaccumulation Techniques for Improving Provability *
verify.rwth-aachen.de
.tu-dresden.de (Janis Voigtländer). 1 The research of this author was supported by the “Deutsche Forschungsgemein-. schaft” under grant GI ...
Programmkomitee - Universität Leipzig
www.bioinf.uni-leipzig.de
Henning Thielemann - Univ. Halle. * Janis Voigtländer - Univ. Bonn. * Johannes Waldmann - HTWK Leipzig (Co-Vorsitzender). Programmkomitee. › conference-registration
Veröffentlichungen allgemein
Mathematics of Program Construction | SpringerLink
link.springer.com
von R Hinze · · Zitiert von: 3 — 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, Proceedings · Ralf Hinze · Janis Voigtländer. › book
Inform - Fachschaft Informatik
www.fachschaft.info
Prof Janis Voigtländer (Programmiersprachen). Geschäftszimmer: Frau M. Liebegut ( ). Sekretariat: Frau M. Doelp ( ). Abteilung IV. › › inform94
MITTEILUNGSHEFT - eLeMeNTe e.V.
www.elemente.org
Preise an Janis Voigtländer, Jana Hintze, Patrick Reichert, Christian Rösch und Stephan Diestelhorst. Aufgaben der Bundesrunde. › heft_2016_oeffentlich
Parametricity for Haskell with Imprecise Error Semantics |...
link.springer.com
Error raising, propagation, and handling in Haskell can be imprecise in the sense that a language implementation’s choice of local evaluation order, and...
Artikel & Meinungen
Google Groups: Sonderkolloquium: Beseitigung von Zwischenergebnissen in ...
: Inf. Janis Voigtländer Technische Universität Dresden über das Thema: Beseitigung von Zwischenergebnissen in Funktionalen Programmen Termin : Dienstag, ...
Twitter-Nachrichten: Jan Christiansen on Twitter: "Promotionsstelle im Bereich ...
— Promotionsstelle im Bereich Programmiersprachen beim ausgezeichneten Kollegen Janis Voigtländer in Duisburg ... › plancalculus › status
Wikipedia: Bidirectionalization - Wikipedia
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, and Meng Wang. . International Conference on Functional Programming
Re: HCAR entry for Debian
lists.debian.org
... Cc: .org; Subject: Re: HCAR entry for Debian; From: Janis Voigtländer &-bonn.de>; Date: Fri, ...
Sonstiges
Janis Voigtländer - Google Scholar
scholar.google.de
Associate Professor Formal Methods in Computer Science, University of Duisburg-Essen - อ้างอิงโดย 895 รายการ - Programming Languages - Functional...
Janis Voigtländer - Google 学术搜索
scholar.google.nl
Associate Professor Formal Methods in Computer Science, University of Duisburg-Essen - 引用次数：865 次 - Programming Languages - Program Transformation -...
Janis Voigtländer - Google Scholar -sitaatit
scholar.google.fi
Janis Voigtländer. Assistant Professor of Computer Science, University of Bonn · Programming Languages, Program Transformation, Functional Programming.
||: iba Consulting Gesellschaft - intelligent business...
iba-cg.de
Algebraische Dynamische Programmierung. Janis Voigtländer Universität Bonn Janis Voigtländer - Univ. Bonn, Johannes Waldmann - HTWK Leipzig.
ATPS 2013: 6. Arbeitstagung Programmiersprachen
www.complang.tuwien.ac.at
Janis Voigtländer. Institut für Computersprachen TU Wien / E A Wien, Österreich.
Deskriptive Programmierung Jun.-Prof. Dr. Janis Voigtländer - PDF ...
docplayer.org
› Deskriptive-program...
Janis Voigtländer - Cites de Google Acadèmic
scholar.google.es
Índexs de cites, Totes, Des de Cites, 583, Índex h, 14, 11. Índex i10, 21,
Modellierung. Prof. Janis Voigtländer Folienversion: , 09:50:
docplayer.org
› Modellierung-prof-j...
Janis Voigtländer (jvoigtlaender) - Libraries.io
libraries.io
https://libraries.io/github/jvoigtlaender
Im Cache
Repositories created and contributed to by Janis Voigtländer (jvoigtlaender)
Janis Voigtländer
easychair.org
Janis Voigtländer. Organization: University of Bonn. Web site: http://www.iai.uni-bonn.de/~jv/. Pages in this Program. WPTE Call for Papers · WPTE Program ...
WS Algorithmisches Denken und imperative Programmierung...
docplayer.org
WS / Algorithmisches Denken und imperative Programmierung Dozent(en): Prof. Dr. Janis Voigtländer Wie regelmäßig hast du die Vorlesung besucht How regularly have ...
Formalizing Semantic Bidirectionalization with Dependent Types
www.andres-loeh.de
Formalizing Semantic Bidirectionalization with Dependent Types Helmut Grohne, Andres Löh, Janis Voigtländer Bidirectionalization is the task of automatically ...
HOL - ML - Haskell
www21.in.tum.de
HOL - ML - Haskell. Home; Team; Research; Students; Teaching; Seminar; Courses; Internal; Aims In John P. Gallagher and Janis Voigtländer, editors, ...
au:Voigtlander_J in:cs - SciRate Search
scirate.com
The Workshops on (Constraint) Logic Programming (WLP) are the annual meeting of the German Society of Logic Programming (Gesellschaft für Logische ...
Lecture Notes in Informatics
subs.emis.de
Daniel Seidel and Janis Voigtländer. Abstract. Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, ...
Homepage of Andres Löh
www.andres-loeh.de
Helmut Grohne, Andres Löh, Janis Voigtländer Formalizing Semantic Bidirectionalization with Dependent Types BX Sean Leather, ...
Verwandte Suchanfragen zu Janis Voigtländer
| Helmut Grohne Sebastian Fischer Meng Wang | Johannes Waldmann Walter Dosch Heiko Vogler | Jürgen Giesl Johann Alex Alex Simpson |
Person "Voigtländer" (4) Vorname "Janis" (2255) Name "Voigtländer" (508) |
sortiert nach Relevanz / Datum