Baltasar Trancón y Widemann

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 16

Top Venues

CoRR

Software Engineering (Workshops)

PPPJ

FARM@ICFP

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Markus Lepper, Baltasar Trancón y Widemann
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation. Eelco Visser Commemorative Symposium (2023)
Baltasar Trancón y Widemann, Markus Lepper
Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS (2023)
Baltasar Trancón y Widemann, Markus Lepper
Towards a Theory of Conversion Relations for Prefixed Units of Measure. CoRR (2022)
Baltasar Trancón y Widemann, Markus Lepper
LLJava live at the loop: a case for heteroiconic staged meta-programming. MPLR (2021)
Baltasar Trancón y Widemann, Markus Lepper
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. WFLP (2020)
Baltasar Trancón y Widemann, Markus Lepper
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming. CoRR (2020)
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 (2019)
Markus Lepper, Baltasar Trancón y Widemann
D2d - XML for Authors. CoRR (2019)
Baltasar Trancón y Widemann, Markus Lepper
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. DECLARE (2019)
Baltasar Trancón y Widemann, Markus Lepper
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. CoRR (2019)
Baltasar Trancón y Widemann, Markus Lepper
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. WLP / WFLP (2017)
Baltasar Trancón y Widemann, Markus Lepper
Higher-Order Causal Stream Functions in Sig from First Principles. Software Engineering (Workshops) (2016)
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 (2016)
Baltasar Trancón y Widemann, Christina Bogner
Comments on "the return of information theory". CoRR (2016)
Markus Lepper, Baltasar Trancón y Widemann
D2d - Kreatives Schreiben von XML-codierten Texten. GI-Jahrestagung (2016)
Baltasar Trancón y Widemann, Markus Lepper
LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]. PPPJ (2016)
Baltasar Trancón y Widemann, Michael Hauhs
Scientific Modelling with Coalgebra-Algebra Homomorphisms. CoRR (2015)
Baltasar Trancón y Widemann, Markus Lepper
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. TFP (2015)
Baltasar Trancón y Widemann, Markus Lepper
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. FARM@ICFP (2015)
Markus Lepper, Baltasar Trancón y Widemann
A Simple and Efficient Step Towards Type-Correct XSLT Transformations. RTA (2015)
Baltasar Trancón y Widemann, Michael Hauhs
Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. Theor. Comput. Sci. 604 (2015)
Clemens Grelck, Baltasar Trancón y Widemann
8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering & Management (2015)
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)
Clemens Grelck, Baltasar Trancón y Widemann
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering (Workshops) (2015)
Baltasar Trancón y Widemann, Markus Lepper
Foundations of Total Functional Data-Flow Programming. MSFP (2014)
Baltasar Trancón y Widemann, Markus Lepper
[Demo abstract] Sound and soundness: practical total functional data-flow programming. FARM@ICFP (2014)
Baltasar Trancón y Widemann, Markus Lepper
Interpreting XPath by Iterative Pattern Matching with Paisley. WLP/WFLP (2014)
Baltasar Trancón y Widemann, Michael Hauhs
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. CMCS (2014)
Markus Lepper, Baltasar Trancón y Widemann
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. ISoLA (1) (2014)
Volker Stolz, Baltasar Trancón y Widemann
7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering (2014)
Baltasar Trancón y Widemann
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. CMCS (2014)
Christina Bogner, Baltasar Trancón y Widemann, Holger Lange
Characterising flow patterns in soils by feature extraction and multiple consensus clustering. Ecol. Informatics 15 (2013)
Baltasar Trancón y Widemann
Total Functional Software Engineering - Overview Paper. Trends in Functional Programming (2013)
Markus Lepper, Baltasar Trancón y Widemann
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract). ICMT (2013)
Markus Lepper, Baltasar Trancón y Widemann
tScore: Makes Computers and Humans Talk About Time. KEOD (2013)
Baltasar Trancón y Widemann, Markus Lepper
Paisley: A Pattern Matching Library for Arbitrary Object Models. Software Engineering (Workshops) (2013)
Baltasar Trancón y Widemann, Markus Lepper
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. KDPD (2013)
Michael Hauhs, Baltasar Trancón y Widemann
A Critique Of Agent-Based Simulation In Ecology. ECMS (2012)
Baltasar Trancón y Widemann, Christina Bogner
Image analysis for soil dye tracer infiltration studies. IPTA (2012)
Baltasar Trancón y Widemann, Markus Lepper
Paisley: Pattern Matching à la Carte. ICMT@TOOLS (2012)
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)
Baltasar Trancón y Widemann
Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra CoRR (2012)
Baltasar Trancón y Widemann
The Recursion Scheme of the Trace Function Method. ENASE (2012)
Baltasar Trancón y Widemann
Structural Operational Semantics for Cellular Automata. ACRI (2012)
Markus Lepper, Baltasar Trancón y Widemann
Optimization of Visitor Performance by Reflection-Based Analysis. ICMT@TOOLS (2011)
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)
Baltasar Trancón y Widemann, Michael Hauhs
Distributive-Law Semantics for Cellular Automata and Agent-Based Models. CALCO (2011)
Markus Lepper, Baltasar Trancón y Widemann
Solving the TTC 2011 Compiler Optimization Task with metatools TTC (2011)
Michael Hauhs, Baltasar Trancón y Widemann
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. CMCS (2010)
Zhiying Liu, David Lorge Parnas, Baltasar Trancón y Widemann
Documenting and verifying systems assembled from components. Frontiers Comput. Sci. China 4 (2) (2010)
Michael Hauhs, Baltasar Trancón y Widemann, Oliver Archner
Theoretical and Practical Challenges of Integrating Ecosystem Data. OTM Workshops (2008)
Baltasar Trancón y Widemann
A reference-counting garbage collection algorithmfor cyclical functional programming. ISMM (2008)
Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann
An IDE for software development using tabular expressions. CASCON (2007)
Baltasar Trancón y Widemann, David Lorge Parnas
Tabular Expressions and Total Functional Programming. IFL (2007)
Baltasar Trancón y Widemann
Strikte Zyklische Berechnungen: Von der Theorie zur Praxis. Softwaretechnik-Trends 26 (2) (2006)
Baltasar Trancón y Widemann
V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. IFL (2004)
Baltasar Trancón y Widemann, Markus Lepper, Jacob Wieland
Automatic Construction of XML-Based Tools Seen as Meta-Programming. Autom. Softw. Eng. 10 (1) (2003)
Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland
TUB-TCI An Architecture for Dynamic Deployment of Test Components. TestCom (2003)
Baltasar Trancón y Widemann
Stacking Cycles: Functional Transformation of Circular Data. IFL (2002)
Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland
Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends. ER (2001)
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)

Baltasar Trancón y Widemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Baltasar Trancón y Widemann