1
0
0
News
Programme - etaps 2020etaps.org › index.php › workshops
etaps.org
A note on typed behavioural differential equations; Baltasar Trancón Y Widemann and Markus Lepper. Foundations of total functional data-flow programming, ...
Sun April 6th - ETAPS 2021etaps.org › programme
etaps.org
· ETAPS Programme Sunday April 6th · Baltasar Trancón Y Widemann and Michael Hauhs. Algebraic-coalgebraic recursion theory of history- ...
Netzwerk-Profile
LinkedIn: Baltasar Trancón Widemann - Junior Professor - TU Ilmenau | LinkedIn
Sehen Sie sich das Profil von Baltasar Trancón Widemann auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 4 Jobs sind im Profil von Baltasar ...
Baltasar Trancón Y Widemann - Berlin (Carl-Friedrich von Siemens...
www.stayfriends.de
Baltasar Trancón Y Widemann ist Mitglied bei StayFriends und hat bis diese Schule besucht: Carl-Friedrich von Siemens Gymnasium.
Bücher
Auflistung nach Autor "Widemann, Baltasar Trancón Y." - Digitale...
dl.gi.de
Auflistung nach Autor "Widemann, Baltasar Trancón Y." 0-9, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z. Alle; 0-9 · A · B · C · D · E · F · G ...
Diminuendo al bottom—Clarifying the semantics of PLOS ONEjournals.plos.org › plosone › article › authors › jour...
journals.plos.org
· Baltasar Trancón y Widemann. Roles Methodology, Validation, Writing – review & editing. Affiliation Semantics GmbH, Berlin, Germany ...
Strikte Verfahren zyklischer Berechnung - Baltasar Trancón y Widemann...
books.google.de
Strikte Verfahren zyklischer Berechnung. By Baltasar Trancón y Widemann. About this book · Get Textbooks on Google Play. Rent and save from the world's ...
Dokumente zum Namen
[ ] Improving the Performance of the Paisley...
arxiv.org
Title:Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. Authors:Baltasar Trancón y ...
Vorwort zur 7. Arbeitstagung Programmiersprachen (ATPS ...ceur-ws.org › Vol › paper41
ceur-ws.org
Baltasar Trancón Widemann. TU Ilmenau, Deutschland . Die Arbeitstagung Programmiersprachen dient dem Austausch ...
[ ] Scientific Modelling with Coalgebra-Algebra Homomorphisms
arxiv.org
From: Baltasar Trancón y Widemann [view email] [v1] Wed, 24 Jun :56:44 GMT (92kb,D). Which authors of this paper are endorsers?
[ v1] Foundations of Total Functional Data-Flow Programming
arxiv.org
... Data-Flow Programming. Authors:Baltasar Trancón y Widemann (Ilmenau University of Technology), Markus Lepper (<semantics/> GmbH).
Wissenschaftliche Veröffentlichungen
DFG - GEPRIS - Professor Dr. Baltasar Trancón y Widemanngepris.dfg.de/gepris/person
gepris.dfg.de
Professor Dr. Baltasar Trancón y Widemann, Fakultät für Informatik und Automatisierung, Postfach , Ilmenau.
dblp: Baltasar Trancón y Widemann
dblp.org
List of computer science publications by Baltasar Trancón y Widemann
All Publications — University of Koblenz · Landau
www.uni-koblenz-landau.de
All Publications Thorsten; Widemann, Baltasar Trancón: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, ...
Veröffentlichungen allgemein
User:Baltasar Trancón Widemann - OeisWiki
oeis.org
User:Baltasar Trancón Widemann. From OeisWiki. Jump to: navigation, search. Currently assistant professor for programming languages, Ilmenau University of ...
Sonstiges
Baltasar Trancón Widemann - Junior Professor - TU Ilmenau ...www.linkedin.com › pub › baltasar...
www.linkedin.com
View Baltasar Trancón Widemann's profile on LinkedIn, the world's largest professional community. Baltasar has 4 jobs listed on their profile. See the complete ...
Baltasar Trancón y Widemann - Google Scholarscholar.google.com › citations
scholar.google.com
aicas GmbH - 295-mal zitiert - Programming Languages - Compilers - Coalgebra - Modelling - Philosophy of Science
Baltasar Trancón y Widemann - Google Scholar
scholar.google.ru
Nordakademie, Elmshorn - อ้างอิงโดย 337 รายการ - Programming Languages - Compilers - Coalgebra - Modelling - Philosophy of Science
Baltasar Trancón y Widemann - Študovňa Google
scholar.google.de
Nordakademie, Elmshorn - Citované v 331 - Programming Languages - Compilers - Coalgebra - Modelling - Philosophy of Science
ACG - Baltasar Trancon y Widemann (University of Bayreuth)
event.cwi.nl
By Michael Hauhs (University of Bayreuth) Baltasar Trancon y Widemann (University of Bayreuth). In presentations. Agent-based models ...
CEUR-WS.org/Vol Software Engineering Workshops 2015
ceur-ws.org
Software Engineering Workshops Clemens Grelck, Baltasar Trancón Widemann; Malleable Invasive Applications Sebastian Buchwald, Manuel Mohr, ...
CO Meeting Organizer EGU2011
meetingorganizer.copernicus.org
Christina Bogner, Baltasar Trancón y Widemann, and Michael Hauhs: XY557. EGU Drop-size distribution of rainfall events in Coimbra, Portugal
Joost Winter - Citations Google Scholarscholar.google.fr › citations
scholar.google.fr
Baltasar Trancón y Widemannaicas GmbHAdresse e-mail validée de trancon.de. Helle Hvid HansenDelft University of TechnologyAdresse e-mail validée de ...
Joost Winter - Google Acadêmico
scholar.google.nl
University of Warsaw - Citado por 131 - coalgebra - bialgebra - automata theory - category theory - functional programming
Carl Friedrich Bolz-Tereick
cfbolz.de
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming Baltasar Trancón y ... Dynamic Languages Carl Friedrich Bolz ...
Markus Lepper, Baltasar Trancón y Widemann - JurPCwww.jurpc.de › jurpc › show
www.jurpc.de
In zivilen freiheitlichen Gesellschaften müssen Gesetzestexte, Urteile, Kommentare, Ausführungsbestimmungen etc. für verschieden.
Lecture Notes in Informatics
subs.emis.de
Baltasar Trancón Y. Widemann, Markus Lepper Paisley: A pattern matching library for arbitrary object models Pages: Full Text; Marvin Grieger, Stefan Sauer
8. Arbeitstagung programmiersprachen (ATPS 2015) - Digitale...
dl.gi.de
Widemann, Baltasar Trancón [DBLP]. Vollständige Referenz; BibTeX. Grelck, C. & Widemann, B. T., (2015). 8. Arbeitstagung programmiersprachen (ATPS 2015) ...
20. Kolloquium Programmiersprachen und Grundlagen der Programmierung...
www.hb.dhbw-stuttgart.de
Willkommen zur KPS 2019
CMCS Coalgebrawww.coalg.org › cmcs14 › accepted_papers
www.coalg.org
Baltasar Trancón Y Widemann and Michael Hauhs. Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.
(PDF) Automized Generation of Typed Syntax Trees via XML ...www.academia.edu › Automized_Generation_of_Typed_...
www.academia.edu
Automatic Construction of XML-Based Tools Seen as Meta-Programming. By Baltasar Trancon Widemann. XML-based Intermediate Representation (XIR).
||: iba Consulting Gesellschaft - intelligent business...
iba-cg.de
Baltasar Trancón y Widemann, Universität Bayreuth 17 o'clock: Functional-logic programming with Curry Jan Christiansen, Universität Kiel ...
CMCS 2010event.cwi.nl › cmcs10 › accepted_papers
event.cwi.nl
Structural operational semantics and modal logic, revisited; 7: Hauhs Michael and Baltasar Trancón y Widemann . Applications of Algebra and Coalgebra in ...
FARM Proceedings of the 3rd ACM SIGPLAN International Workshop...
www.sigplan.org
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. Baltasar Trancón y Widemann; Markus Lepper ...
D2d - Kreatives Schreiben von XML-codierten Texten - Digitale ...dl.gi.de › handle
dl.gi.de
Widemann, Baltasar Trancón Y. [DBLP]. Vollständige Referenz; BibTeX. Lepper, M. & Widemann, B. T., (2016). D2d - Kreatives Schreiben von XML-codierten ...
Verwandte Suchanfragen zu Baltasar Trancón
Michael Hauhs |
Personen Vorname "Baltasar" (45) Name "Trancón" (1) |
sortiert nach Relevanz / Datum