Reflections in Opal - Meta Information in a Functional Programming Language. - Klaus Didrich; Wolfgang Grieskamp; Florian Schintke; Till Tantau; Baltasar Trancón y Widemann (IFL, 1999)

Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends. - Markus Lepper 001; Baltasar Trancón y Widemann; Jacob Wieland (ER, 2001)

Stacking Cycles: Functional Transformation of Circular Data. - Baltasar Trancón y Widemann (IFL, 2002)

TUB-TCI An Architecture for Dynamic Deployment of Test Components. - Markus Lepper 001; Baltasar Trancón y Widemann; Jacob Wieland (TestCom, 2003)

Automatic Construction of XML-Based Tools Seen as Meta-Programming. - Baltasar Trancón y Widemann; Markus Lepper 001; Jacob Wieland (Autom. Softw. Eng., 2003)

V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. - Baltasar Trancón y Widemann (IFL, 2004)

Strikte Zyklische Berechnungen: Von der Theorie zur Praxis. - Baltasar Trancón y Widemann (Softwaretechnik-Trends, 2006)

An IDE for software development using tabular expressions. - Dennis K. Peters; Mark Lawford; Baltasar Trancón y Widemann (CASCON, 2007)

Tabular Expressions and Total Functional Programming. - Baltasar Trancón y Widemann; David Lorge Parnas (IFL, 2007)

Strikte Verfahren zyklischer Berechnung. - Baltasar Trancón y Widemann (2007)

A reference-counting garbage collection algorithmfor cyclical functional programming. - Baltasar Trancón y Widemann (ISMM, 2008)

Theoretical and Practical Challenges of Integrating Ecosystem Data. - Michael Hauhs; Baltasar Trancón y Widemann; Oliver Archner (OTM Workshops, 2008)

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. - Michael Hauhs; Baltasar Trancón y Widemann (CMCS@ETAPS, 2010)

Documenting and verifying systems assembled from components. - Zhiying Liu; David Lorge Parnas; Baltasar Trancón y Widemann (Frontiers Comput. Sci. China, 2010)

Distributive-Law Semantics for Cellular Automata and Agent-Based Models. - Baltasar Trancón y Widemann; Michael Hauhs (CALCO, 2011)

D2d - A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts. - Markus Lepper 001; Baltasar Trancón y Widemann (KEOD, 2011)

Optimization of Visitor Performance by Reflection-Based Analysis. - Markus Lepper 001; Baltasar Trancón y Widemann (ICMT@TOOLS, 2011)

Solving the TTC 2011 Compiler Optimization Task with metatools - Markus Lepper 001; Baltasar Trancón y Widemann (TTC, 2011)

Structural Operational Semantics for Cellular Automata. - Baltasar Trancón y Widemann (ACRI, 2012)

A Critique Of Agent-Based Simulation In Ecology. - Michael Hauhs; Baltasar Trancón y Widemann (ECMS, 2012)

The Recursion Scheme of the Trace Function Method. - Baltasar Trancón y Widemann (ENASE, 2012)

Paisley: Pattern Matching à la Carte. - Baltasar Trancón y Widemann; Markus Lepper 001 (ICMT@TOOLS, 2012)

Image analysis for soil dye tracer infiltration studies. - Baltasar Trancón y Widemann; Christina Bogner (IPTA, 2012)

The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper). - Baltasar Trancón y Widemann; Carl Friedrich Bolz; Clemens Grelck (Trends in Functional Programming, 2012)

Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra - Baltasar Trancón y Widemann (CoRR, 2012)

tScore: Makes Computers and Humans Talk About Time. - Markus Lepper 001; Baltasar Trancón y Widemann (KEOD, 2013)

Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract). - Markus Lepper 001; Baltasar Trancón y Widemann (ICMT, 2013)

Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. - Baltasar Trancón y Widemann; Markus Lepper 001 (KDPD, 2013)

Paisley: A Pattern Matching Library for Arbitrary Object Models. - Baltasar Trancón y Widemann; Markus Lepper 001 (Software Engineering (Workshops), 2013)

Total Functional Software Engineering - Overview Paper. - Baltasar Trancón y Widemann (Trends in Functional Programming, 2013)

Characterising flow patterns in soils by feature extraction and multiple consensus clustering. - Christina Bogner; Baltasar Trancón y Widemann; Holger Lange (Ecol. Informatics, 2013)

Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. - Baltasar Trancón y Widemann (CMCS, 2014)

[Demo abstract] Sound and soundness: practical total functional data-flow programming. - Baltasar Trancón y Widemann; Markus Lepper 001 (FARM@ICFP, 2014)

Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. - Markus Lepper 001; Baltasar Trancón y Widemann (ISoLA (1), 2014)

7. Arbeitstagung Programmiersprachen (ATPS 2014). - Volker Stolz; Baltasar Trancón y Widemann (Software Engineering, 2014)

Interpreting XPath by Iterative Pattern Matching with Paisley. - Baltasar Trancón y Widemann; Markus Lepper 001 (WLP/WFLP, 2014)

Foundations of Total Functional Data-Flow Programming. - Baltasar Trancón y Widemann; Markus Lepper 001 (MSFP, 2014)

The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. - Baltasar Trancón y Widemann; Markus Lepper 001 (FARM@ICFP, 2015)

On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig. - Baltasar Trancón y Widemann; Markus Lepper 001 (PPPJ, 2015)

A Simple and Efficient Step Towards Type-Correct XSLT Transformations. - Markus Lepper 001; Baltasar Trancón y Widemann (RTA, 2015)

Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). - Clemens Grelck; Baltasar Trancón y Widemann (Software Engineering (Workshops), 2015)

8. Arbeitstagung Programmiersprachen (ATPS 2015). - Clemens Grelck; Baltasar Trancón y Widemann (Software Engineering & Management, 2015)

Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. - Baltasar Trancón y Widemann; Markus Lepper 001 (TFP, 2015)

Scientific Modelling with Coalgebra-Algebra Homomorphisms. - Baltasar Trancón y Widemann; Michael Hauhs (CoRR, 2015)

Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. - Baltasar Trancón y Widemann; Michael Hauhs (Theor. Comput. Sci., 2015)

D2d - Kreatives Schreiben von XML-codierten Texten. - Markus Lepper 001; Baltasar Trancón y Widemann (GI-Jahrestagung, 2016)

LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]. - Baltasar Trancón y Widemann; Markus Lepper 001 (PPPJ, 2016)

Higher-Order Causal Stream Functions in Sig from First Principles. - Baltasar Trancón y Widemann; Markus Lepper 001 (Software Engineering (Workshops), 2016)

Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking. - Baltasar Trancón y Widemann (CoRR, 2016)

Comments on "the return of information theory". - Baltasar Trancón y Widemann; Christina Bogner (CoRR, 2016)

A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. - Baltasar Trancón y Widemann; Markus Lepper 001 (WLP / WFLP, 2017)

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. - Baltasar Trancón y Widemann; Markus Lepper 001 (DECLARE, 2019)

Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015). - Baltasar Trancón y Widemann; Markus Lepper 001 (CoRR, 2019)

D2d - XML for Authors. - Markus Lepper 001; Baltasar Trancón y Widemann (CoRR, 2019)

Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. - Baltasar Trancón y Widemann; Markus Lepper 001 (WFLP, 2020)

LLJava live at the loop: a case for heteroiconic staged meta-programming. - Baltasar Trancón y Widemann; Markus Lepper 001 (MPLR, 2021)

Towards a Theory of Conversion Relations for Prefixed Units of Measure. - Baltasar Trancón y Widemann; Markus Lepper 001 (RAMiCS, 2023)

Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation. - Markus Lepper 001; Baltasar Trancón y Widemann (Eelco Visser Commemorative Symposium, 2023)

Module Parametrization By Rewriting: Theory underlying our tutorial "D2d - valide aber lesbar". - Markus Lepper 001; Baltasar Trancón y Widemann (INFORMATIK, 2024)

Imagine There's No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming. - Baltasar Trancón y Widemann; Markus Lepper 001 (MPLR, 2024)

Data Models of German Lute Tablature With TScore. - Markus Lepper 001; Baltasar Trancón y Widemann (CoRR, 2024)

Critical Semantic Properties of Music Notation Datasets. - Markus Lepper 001; Baltasar Trancón y Widemann (CoRR, 2024)

Härpfer's Extended Indispensability Algorithm in Z. - Markus Lepper 001; Bernd Härpfer; Baltasar Trancón y Widemann (CoRR, 2025)

ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments. - Baltasar Trancón y Widemann; Markus Lepper 001 (CoRR, 2025)