Markus Lepper - RankMe

45 papers A 1B 1C 8Journal 11Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments. TFPiE Baltasar Trancón y Widemann, Markus Lepper
2025	J	`jnl`	Härpfer's Extended Indispensability Algorithm in Z. CoRR Markus Lepper, Bernd Härpfer, Baltasar Trancón y Widemann
2024	J	`jnl`	A Theory of Conversion Relations for Prefixed Units of Measure. Fundam. Informaticae Baltasar Trancón y Widemann, Markus Lepper
2024	J	`jnl`	Critical Semantic Properties of Music Notation Datasets. CoRR Markus Lepper, Baltasar Trancón y Widemann
2024	J	`jnl`	Data Models of German Lute Tablature With TScore. CoRR Markus Lepper, Baltasar Trancón y Widemann
2024	C	`conf`	Imagine There's No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming. MPLR Baltasar Trancón y Widemann, Markus Lepper
2024	—	`conf`	Module Parametrization By Rewriting: Theory underlying our tutorial "D2d - valide aber lesbar". INFORMATIK Markus Lepper, Baltasar Trancón y Widemann
2023	C	`conf`	Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS Baltasar Trancón y Widemann, Markus Lepper
2023	—	`conf`	Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation. Eelco Visser Commemorative Symposium Markus Lepper, Baltasar Trancón y Widemann
2022	J	`jnl`	Towards a Theory of Conversion Relations for Prefixed Units of Measure. CoRR Baltasar Trancón y Widemann, Markus Lepper
2021	C	`conf`	LLJava live at the loop: a case for heteroiconic staged meta-programming. MPLR Baltasar Trancón y Widemann, Markus Lepper
2020	J	`jnl`	Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming. CoRR Baltasar Trancón y Widemann, Markus Lepper
2020	—	`conf`	Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. WFLP Baltasar Trancón y Widemann, Markus Lepper
2019	J	`jnl`	D2d - XML for Authors. CoRR Markus Lepper, Baltasar Trancón y Widemann
2019	—	`conf`	Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. DECLARE Baltasar Trancón y Widemann, Markus Lepper
2019	J	`jnl`	Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. CoRR Baltasar Trancón y Widemann, Markus Lepper
2019	J	`jnl`	Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015). CoRR Baltasar Trancón y Widemann, Markus Lepper
2017	—	`conf`	A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. WLP / WFLP Baltasar Trancón y Widemann, Markus Lepper
2016	—	`conf`	D2d - Kreatives Schreiben von XML-codierten Texten. GI-Jahrestagung Markus Lepper, Baltasar Trancón y Widemann
2016	C	`conf`	Higher-Order Causal Stream Functions in Sig from First Principles. Software Engineering (Workshops) Baltasar Trancón y Widemann, Markus Lepper
2016	—	`conf`	LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]. PPPJ Baltasar Trancón y Widemann, Markus Lepper
2015	—	`conf`	A Simple and Efficient Step Towards Type-Correct XSLT Transformations. RTA Markus Lepper, Baltasar Trancón y Widemann
2015	—	`conf`	Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. TFP Baltasar Trancón y Widemann, Markus Lepper
2015	—	`conf`	On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig. PPPJ Baltasar Trancón y Widemann, Markus Lepper
2015	—	`conf`	The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. FARM@ICFP Baltasar Trancón y Widemann, Markus Lepper
2014	J	`jnl`	A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. Edgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar, Li Dan, Ábel Hegedüs, Markus Herrmannsdörfer, Tassilo Horn, Elina Kalnina, Christian Krause, Kevin Lano, Markus Lepper, Arend Rensink, Louis M. Rose, Sebastian Wätzoldt, Steffen Mazanek
2014	—	`conf`	Foundations of Total Functional Data-Flow Programming. MSFP Baltasar Trancón y Widemann, Markus Lepper
2014	—	`conf`	Interpreting XPath by Iterative Pattern Matching with Paisley. WLP/WFLP Baltasar Trancón y Widemann, Markus Lepper
2014	—	`conf`	Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. ISoLA (1) Markus Lepper, Baltasar Trancón y Widemann
2014	—	`conf`	[Demo abstract] Sound and soundness: practical total functional data-flow programming. FARM@ICFP Baltasar Trancón y Widemann, Markus Lepper
2013	—	`conf`	Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract). ICMT Markus Lepper, Baltasar Trancón y Widemann
2013	C	`conf`	Paisley: A Pattern Matching Library for Arbitrary Object Models. Software Engineering (Workshops) Baltasar Trancón y Widemann, Markus Lepper
2013	—	`conf`	Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. KDPD Baltasar Trancón y Widemann, Markus Lepper
2013	C	`conf`	tScore: Makes Computers and Humans Talk About Time. KEOD Markus Lepper, Baltasar Trancón y Widemann
2012	—	`conf`	Paisley: Pattern Matching à la Carte. ICMT@TOOLS Baltasar Trancón y Widemann, Markus Lepper
2011	C	`conf`	D2d - A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts. KEOD Markus Lepper, Baltasar Trancón y Widemann
2011	—	`conf`	Optimization of Visitor Performance by Reflection-Based Analysis. ICMT@TOOLS Markus Lepper, Baltasar Trancón y Widemann
2011	—	`conf`	Solving the TTC 2011 Compiler Optimization Task with metatools TTC Markus Lepper, Baltasar Trancón y Widemann
2004	—	`—`	An algorithm for the real-time evaluation of temporal trace specifications. Markus Lepper
2003	J	`jnl`	Automatic Construction of XML-Based Tools Seen as Meta-Programming. Autom. Softw. Eng. Baltasar Trancón y Widemann, Markus Lepper, Jacob Wieland
2003	—	`conf`	TUB-TCI An Architecture for Dynamic Deployment of Test Components. TestCom Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland
2001	A	`conf`	Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends. ER Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland
2001	—	`conf`	Testable Use Cases in the Abstract State Machine Language. APAQS Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann
2000	B	`conf`	Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. LPAR Wolfgang Grieskamp, Markus Lepper
2000	C	`conf`	Using Use Cases in Executable Z. ICFEM Wolfgang Grieskamp, Markus Lepper