Baltasar Trancón y Widemann

71 papers A 1B 2C 13Journal 18Unranked 36

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	J	`jnl`	Comments on "the return of information theory". CoRR Baltasar Trancón y Widemann, Christina Bogner
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	J	`jnl`	Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking. CoRR Baltasar Trancón y Widemann
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`	8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering & Management Clemens Grelck, Baltasar Trancón y Widemann
2015	—	`conf`	A Simple and Efficient Step Towards Type-Correct XSLT Transformations. RTA Markus Lepper, Baltasar Trancón y Widemann
2015	J	`jnl`	Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. Theor. Comput. Sci. Baltasar Trancón y Widemann, Michael Hauhs
2015	C	`ed.`	Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. Software Engineering (Workshops) 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
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	J	`jnl`	Scientific Modelling with Coalgebra-Algebra Homomorphisms. CoRR Baltasar Trancón y Widemann, Michael Hauhs
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
2015	C	`conf`	Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering (Workshops) Clemens Grelck, Baltasar Trancón y Widemann
2014	C	`conf`	7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering Volker Stolz, Baltasar Trancón y Widemann
2014	—	`conf`	Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. CMCS Baltasar Trancón y Widemann, Michael Hauhs
2014	—	`conf`	Foundations of Total Functional Data-Flow Programming. MSFP Baltasar Trancón y Widemann, Markus Lepper
2014	C	`ed.`	Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 25.-26. Februar 2014 in Kiel, Deutschland. Software Engineering (Workshops) 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
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`	Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. CMCS 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	J	`jnl`	Characterising flow patterns in soils by feature extraction and multiple consensus clustering. Ecol. Informatics Christina Bogner, Baltasar Trancón y Widemann, Holger Lange
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	—	`conf`	Total Functional Software Engineering - Overview Paper. Trends in Functional Programming Baltasar Trancón y Widemann
2013	C	`conf`	tScore: Makes Computers and Humans Talk About Time. KEOD Markus Lepper, Baltasar Trancón y Widemann
2012	C	`conf`	A Critique Of Agent-Based Simulation In Ecology. ECMS Michael Hauhs, Baltasar Trancón y Widemann
2012	—	`conf`	Image analysis for soil dye tracer infiltration studies. IPTA Baltasar Trancón y Widemann, Christina Bogner
2012	—	`conf`	Paisley: Pattern Matching à la Carte. ICMT@TOOLS Baltasar Trancón y Widemann, Markus Lepper
2012	—	`conf`	Structural Operational Semantics for Cellular Automata. ACRI Baltasar Trancón y Widemann
2012	J	`jnl`	Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra CoRR Baltasar Trancón y Widemann
2012	—	`conf`	The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper). Trends in Functional Programming Baltasar Trancón y Widemann, Carl Friedrich Bolz, Clemens Grelck
2012	B	`conf`	The Recursion Scheme of the Trace Function Method. ENASE Baltasar Trancón y Widemann
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	B	`conf`	Distributive-Law Semantics for Cellular Automata and Agent-Based Models. CALCO Baltasar Trancón y Widemann, Michael Hauhs
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
2010	—	`conf`	Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. CMCS@ETAPS Michael Hauhs, Baltasar Trancón y Widemann
2010	J	`jnl`	Documenting and verifying systems assembled from components. Frontiers Comput. Sci. China Zhiying Liu, David Lorge Parnas, Baltasar Trancón y Widemann
2008	C	`conf`	A reference-counting garbage collection algorithmfor cyclical functional programming. ISMM Baltasar Trancón y Widemann
2008	—	`conf`	Theoretical and Practical Challenges of Integrating Ecosystem Data. OTM Workshops Michael Hauhs, Baltasar Trancón y Widemann, Oliver Archner
2007	—	`conf`	An IDE for software development using tabular expressions. CASCON Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann
2007	—	`—`	Strikte Verfahren zyklischer Berechnung. Baltasar Trancón y Widemann
2007	—	`conf`	Tabular Expressions and Total Functional Programming. IFL Baltasar Trancón y Widemann, David Lorge Parnas
2006	J	`jnl`	Strikte Zyklische Berechnungen: Von der Theorie zur Praxis. Softwaretechnik-Trends Baltasar Trancón y Widemann
2004	—	`conf`	V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. IFL Baltasar Trancón y Widemann
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
2002	—	`conf`	Stacking Cycles: Functional Transformation of Circular Data. IFL Baltasar Trancón y Widemann
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
1999	—	`conf`	Reflections in Opal - Meta Information in a Functional Programming Language. IFL Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón y Widemann