Using Use Cases in Executable Z. - Wolfgang Grieskamp; Markus Lepper 001 (ICFEM, 2000)

Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. - Wolfgang Grieskamp; Markus Lepper 001 (LPAR, 2000)

Testable Use Cases in the Abstract State Machine Language. - Wolfgang Grieskamp; Markus Lepper 001; Wolfram Schulte; Nikolai Tillmann (APAQS, 2001)

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)

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)

An algorithm for the real-time evaluation of temporal trace specifications. - Markus Lepper 001 (2004)

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)

Paisley: Pattern Matching à la Carte. - Baltasar Trancón y Widemann; Markus Lepper 001 (ICMT@TOOLS, 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)

[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)

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)

A survey and comparison of transformation tools based on the transformation tool contest. - Edgar Jakumeit; Sebastian Buchwald; Dennis Wagelaar; Li Dan; Ábel Hegedüs; Markus Herrmannsdörfer; Tassilo Horn; Elina Kalnina; Christian Krause 001; Kevin Lano; Markus Lepper 001; Arend Rensink; et al. (Sci. Comput. Program., 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)

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)

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)

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)