default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBaltasar Trancón y Widemann
Person information
- affiliation: Technische Universität Ilmenau, Institute of Theoretical Computer Science, Germany
- affiliation: University of Bayreuth, Bayreuth Center of Ecology and Environmental Research, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c49]Markus Lepper, Baltasar Trancón y Widemann:
Module Parametrization By Rewriting: Theory underlying our tutorial "D2d - valide aber lesbar". INFORMATIK 2024: 607-625- [c48]Baltasar Trancón y Widemann
, Markus Lepper:
Imagine There's No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming. MPLR 2024: 48-54 - 2023
- [c47]Baltasar Trancón y Widemann, Markus Lepper:
Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS 2023: 258-273 - [c46]Markus Lepper, Baltasar Trancón y Widemann:
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation. Eelco Visser Commemorative Symposium 2023: 20:1-20:12 - 2022
- [i9]Baltasar Trancón y Widemann, Markus Lepper:
Towards a Theory of Conversion Relations for Prefixed Units of Measure. CoRR abs/2212.11580 (2022) - 2021
- [c45]Baltasar Trancón y Widemann, Markus Lepper:
LLJava live at the loop: a case for heteroiconic staged meta-programming. MPLR 2021: 113-126 - 2020
- [c44]Baltasar Trancón y Widemann, Markus Lepper:
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. WFLP 2020: 22-38 - [i8]Baltasar Trancón y Widemann, Markus Lepper:
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming. CoRR abs/2008.12716 (2020)
2010 – 2019
- 2019
- [c43]Baltasar Trancón y Widemann, Markus Lepper:
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. DECLARE 2019: 268-285 - [i7]Baltasar Trancón y Widemann, Markus Lepper:
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015). CoRR abs/1905.07362 (2019) - [i6]Markus Lepper, Baltasar Trancón y Widemann:
D2d - XML for Authors. CoRR abs/1905.08921 (2019) - [i5]Baltasar Trancón y Widemann, Markus Lepper:
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. CoRR abs/1908.11142 (2019) - 2017
- [c42]Baltasar Trancón y Widemann, Markus Lepper:
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. WLP / WFLP 2017: 150-164 - 2016
- [c41]Markus Lepper, Baltasar Trancón y Widemann:
D2d - Kreatives Schreiben von XML-codierten Texten. GI-Jahrestagung 2016: 1935-1940 - [c40]Baltasar Trancón y Widemann, Markus Lepper:
LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]. PPPJ 2016: 17:1-17:6 - [c39]Baltasar Trancón y Widemann, Markus Lepper:
Higher-Order Causal Stream Functions in Sig from First Principles. Software Engineering (Workshops) 2016: 25-39 - [i4]Baltasar Trancón y Widemann:
Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking. CoRR abs/1602.05010 (2016) - [i3]Baltasar Trancón y Widemann, Christina Bogner:
Comments on "the return of information theory". CoRR abs/1602.05056 (2016) - 2015
- [j5]Baltasar Trancón y Widemann, Michael Hauhs:
Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. Theor. Comput. Sci. 604: 63-80 (2015) - [c38]Baltasar Trancón y Widemann, Markus Lepper:
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. FARM@ICFP 2015: 6-14 - [c37]Baltasar Trancón y Widemann, Markus Lepper:
On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig. PPPJ 2015: 37-50 - [c36]Markus Lepper, Baltasar Trancón y Widemann:
A Simple and Efficient Step Towards Type-Correct XSLT Transformations. RTA 2015: 350-364 - [c35]Clemens Grelck, Baltasar Trancón y Widemann:
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering (Workshops) 2015: 121-122 - [c34]Clemens Grelck, Baltasar Trancón y Widemann:
8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering & Management 2015: 269-270 - [c33]Baltasar Trancón y Widemann, Markus Lepper:
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. TFP 2015: 85-103 - [e2]Wolf Zimmermann, Wolfgang Böhm, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón y Widemann, Thorsten Weyer:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. CEUR Workshop Proceedings 1337, CEUR-WS.org 2015 [contents] - [i2]Baltasar Trancón y Widemann, Michael Hauhs:
Scientific Modelling with Coalgebra-Algebra Homomorphisms. CoRR abs/1506.07290 (2015) - 2014
- [c32]Baltasar Trancón y Widemann:
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. CMCS 2014: 211-224 - [c31]Baltasar Trancón y Widemann, Michael Hauhs:
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. CMCS 2014: 225-244 - [c30]Baltasar Trancón y Widemann, Markus Lepper:
[Demo abstract] Sound and soundness: practical total functional data-flow programming. FARM@ICFP 2014: 35-36 - [c29]Markus Lepper, Baltasar Trancón y Widemann:
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. ISoLA (1) 2014: 445-460 - [c28]Volker Stolz, Baltasar Trancón y Widemann:
7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering 2014: 205-206 - [c27]Baltasar Trancón y Widemann, Markus Lepper:
Interpreting XPath by Iterative Pattern Matching with Paisley. WLP/WFLP 2014: 108-124 - [c26]Baltasar Trancón y Widemann, Markus Lepper:
Foundations of Total Functional Data-Flow Programming. MSFP 2014: 143-167 - [e1]Klaus Schmid, Wolfgang Böhm, Robert Heinrich, Andrea Herrmann, Anne Hoffmann, Dieter Landes, Marco Konersmann, Thomas Ruhroth, Oliver Sander, Volker Stolz, Baltasar Trancón y Widemann, Rüdiger Weißbach:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 25.-26. Februar 2014 in Kiel, Deutschland. CEUR Workshop Proceedings 1129, CEUR-WS.org 2014 [contents] - 2013
- [j4]Christina Bogner, Baltasar Trancón y Widemann, Holger Lange:
Characterising flow patterns in soils by feature extraction and multiple consensus clustering. Ecol. Informatics 15: 44-52 (2013) - [c25]Markus Lepper, Baltasar Trancón y Widemann:
tScore: Makes Computers and Humans Talk About Time. KEOD 2013: 176-183 - [c24]Markus Lepper, Baltasar Trancón y Widemann:
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract). ICMT 2013: 54-55 - [c23]Baltasar Trancón y Widemann, Markus Lepper:
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. KDPD 2013: 218-233 - [c22]Baltasar Trancón y Widemann, Markus Lepper:
Paisley: A Pattern Matching Library for Arbitrary Object Models. Software Engineering (Workshops) 2013: 171-186 - [c21]Baltasar Trancón y Widemann:
Total Functional Software Engineering - Overview Paper. Trends in Functional Programming 2013: 1-16 - 2012
- [c20]Baltasar Trancón y Widemann:
Structural Operational Semantics for Cellular Automata. ACRI 2012: 184-193 - [c19]Michael Hauhs, Baltasar Trancón y Widemann:
A Critique Of Agent-Based Simulation In Ecology. ECMS 2012: 23-30 - [c18]Baltasar Trancón y Widemann:
The Recursion Scheme of the Trace Function Method. ENASE 2012: 146-155 - [c17]Baltasar Trancón y Widemann, Markus Lepper:
Paisley: Pattern Matching à la Carte. ICMT@TOOLS 2012: 240-247 - [c16]Baltasar Trancón y Widemann, Christina Bogner:
Image analysis for soil dye tracer infiltration studies. IPTA 2012: 409-414 - [c15]Baltasar Trancón y Widemann, Carl Friedrich Bolz, Clemens Grelck:
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper). Trends in Functional Programming 2012: 182-197 - [i1]Baltasar Trancón y Widemann:
Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. CoRR abs/1212.1734 (2012) - 2011
- [c14]Baltasar Trancón y Widemann, Michael Hauhs:
Distributive-Law Semantics for Cellular Automata and Agent-Based Models. CALCO 2011: 344-358 - [c13]Markus Lepper, Baltasar Trancón y Widemann:
D2d - A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts. KEOD 2011: 449-456 - [c12]Markus Lepper, Baltasar Trancón y Widemann:
Optimization of Visitor Performance by Reflection-Based Analysis. ICMT@TOOLS 2011: 15-30 - [c11]Markus Lepper, Baltasar Trancón y Widemann:
Solving the TTC 2011 Compiler Optimization Task with metatools. TTC 2011: 70-115 - 2010
- [j3]Zhiying Liu, David Lorge Parnas, Baltasar Trancón y Widemann:
Documenting and verifying systems assembled from components. Frontiers Comput. Sci. China 4(2): 151-161 (2010) - [c10]Michael Hauhs, Baltasar Trancón y Widemann:
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. CMCS@ETAPS 2010: 105-123
2000 – 2009
- 2008
- [c9]Baltasar Trancón y Widemann:
A reference-counting garbage collection algorithmfor cyclical functional programming. ISMM 2008: 71-80 - [c8]Michael Hauhs, Baltasar Trancón y Widemann, Oliver Archner:
Theoretical and Practical Challenges of Integrating Ecosystem Data. OTM Workshops 2008: 64 - 2007
- [b1]Baltasar Trancón y Widemann:
Strikte Verfahren zyklischer Berechnung. Berlin Institute of Technology, 2007 - [c7]Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann:
An IDE for software development using tabular expressions. CASCON 2007: 248-251 - [c6]Baltasar Trancón y Widemann, David Lorge Parnas:
Tabular Expressions and Total Functional Programming. IFL 2007: 219-236 - 2006
- [j2]Baltasar Trancón y Widemann:
Strikte Zyklische Berechnungen: Von der Theorie zur Praxis. Softwaretechnik-Trends 26(2) (2006) - 2004
- [c5]Baltasar Trancón y Widemann:
V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. IFL 2004: 90-107 - 2003
- [j1]Baltasar Trancón y Widemann, Markus Lepper, Jacob Wieland:
Automatic Construction of XML-Based Tools Seen as Meta-Programming. Autom. Softw. Eng. 10(1): 23-38 (2003) - [c4]Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland:
TUB-TCI An Architecture for Dynamic Deployment of Test Components. TestCom 2003: 279-294 - 2002
- [c3]Baltasar Trancón y Widemann:
Stacking Cycles: Functional Transformation of Circular Data. IFL 2002: 150-164 - 2001
- [c2]Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland:
Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends. ER 2001: 456-470
1990 – 1999
- 1999
- [c1]Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón y Widemann:
Reflections in Opal - Meta Information in a Functional Programming Language. IFL 1999: 149-164
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
