Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Baltasar Trancón y Widemann

> Home > Persons

Person information

affiliation: Technische Universität Ilmenau, Institute of Theoretical Computer Science, Germany
affiliation: University of Bayreuth, Bayreuth Center of Ecology and Environmental Research, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2007
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Widemann2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Widemann2007
Baltasar Trancón y Widemann:
Strikte Verfahren zyklischer Berechnung. Berlin Institute of Technology, 2007

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/WidemannH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WidemannH15
Baltasar Trancón y Widemann, Michael Hauhs:
Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. Theor. Comput. Sci. 604: 63-80 (2015)
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ecoi/BognerTL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ecoi/BognerTL13
Christina Bogner, Baltasar Trancón y Widemann, Holger Lange:
Characterising flow patterns in soils by feature extraction and multiple consensus clustering. Ecol. Informatics 15: 44-52 (2013)
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/LiuPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/LiuPT10
Zhiying Liu, David Lorge Parnas, Baltasar Trancón y Widemann:
Documenting and verifying systems assembled from components. Frontiers Comput. Sci. China 4(2): 151-161 (2010)
2006
[j2]
- view
  - electronic edition @ uni-siegen.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/Trancon-y-Widemann06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/Trancon-y-Widemann06
Baltasar Trancón y Widemann:
Strikte Zyklische Berechnungen: Von der Theorie zur Praxis. Softwaretechnik-Trends 26(2) (2006)
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Trancon-y-WidemannLW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Trancon-y-WidemannLW03
Baltasar Trancón y Widemann, Markus Lepper, Jacob Wieland:
Automatic Construction of XML-Based Tools Seen as Meta-Programming. Autom. Softw. Eng. 10(1): 23-38 (2003)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/WidemannL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/WidemannL23
Baltasar Trancón y Widemann, Markus Lepper:
Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS 2023: 258-273
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/birthday/0001W23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001W23
Markus Lepper, Baltasar Trancón y Widemann:
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation. Eelco Visser Commemorative Symposium 2023: 20:1-20:12
2021
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/Widemann021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/Widemann021
Baltasar Trancón y Widemann, Markus Lepper:
LLJava live at the loop: a case for heteroiconic staged meta-programming. MPLR 2021: 113-126
2020
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/wflp/WidemannL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/WidemannL20
Baltasar Trancón y Widemann, Markus Lepper:
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. WFLP 2020: 22-38
2019
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/inap/WidemannL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/WidemannL19
Baltasar Trancón y Widemann, Markus Lepper:
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. DECLARE 2019: 268-285
2017
[c42]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/WidemannL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WidemannL17
Baltasar Trancón y Widemann, Markus Lepper:
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. WLP / WFLP 2017: 150-164
2016
[c41]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gi/LepperW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/LepperW16
Markus Lepper, Baltasar Trancón y Widemann:
D2d - Kreatives Schreiben von XML-codierten Texten. GI-Jahrestagung 2016: 1935-1940
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/WidemannL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/WidemannL16
Baltasar Trancón y Widemann, Markus Lepper:
LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]. PPPJ 2016: 17:1-17:6
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/WidemannL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/WidemannL16
Baltasar Trancón y Widemann, Markus Lepper:
Higher-Order Causal Stream Functions in Sig from First Principles. Software Engineering (Workshops) 2016: 25-39
2015
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/WidemannL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/WidemannL15
Baltasar Trancón y Widemann, Markus Lepper:
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. FARM@ICFP 2015: 6-14
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/WidemannL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/WidemannL15
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: 37-50
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/LepperW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/LepperW15
Markus Lepper, Baltasar Trancón y Widemann:
A Simple and Efficient Step Towards Type-Correct XSLT Transformations. RTA 2015: 350-364
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/GrelckW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/GrelckW15
Clemens Grelck, Baltasar Trancón y Widemann:
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering (Workshops) 2015: 121-122
[c34]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/GrelckW15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/GrelckW15a
Clemens Grelck, Baltasar Trancón y Widemann:
8. Arbeitstagung Programmiersprachen (ATPS 2015). Software Engineering & Management 2015: 269-270
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/WidemannL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/WidemannL15
Baltasar Trancón y Widemann, Markus Lepper:
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. TFP 2015: 85-103
2014
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Trancon-y-Widemann14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Trancon-y-Widemann14
Baltasar Trancón y Widemann:
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. CMCS 2014: 211-224
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Trancon-y-WidemannH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Trancon-y-WidemannH14
Baltasar Trancón y Widemann, Michael Hauhs:
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. CMCS 2014: 225-244
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/WidemannL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/WidemannL14
Baltasar Trancón y Widemann, Markus Lepper:
[Demo abstract] Sound and soundness: practical total functional data-flow programming. FARM@ICFP 2014: 35-36
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LepperT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LepperT14
Markus Lepper, Baltasar Trancón y Widemann:
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. ISoLA (1) 2014: 445-460
[c28]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/StolzW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/StolzW14
Volker Stolz, Baltasar Trancón y Widemann:
7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering 2014: 205-206
[c27]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/WidemannL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/WidemannL14
Baltasar Trancón y Widemann, Markus Lepper:
Interpreting XPath by Iterative Pattern Matching with Paisley. WLP/WFLP 2014: 108-124
[c26]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Trancon-y-WidemannL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Trancon-y-WidemannL14
Baltasar Trancón y Widemann, Markus Lepper:
Foundations of Total Functional Data-Flow Programming. MSFP 2014: 143-167
2013
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/LepperT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/LepperT13
Markus Lepper, Baltasar Trancón y Widemann:
tScore: Makes Computers and Humans Talk About Time. KEOD 2013: 176-183
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/LepperT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/LepperT13
Markus Lepper, Baltasar Trancón y Widemann:
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract). ICMT 2013: 54-55
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Trancon-y-WidemannL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Trancon-y-WidemannL13
Baltasar Trancón y Widemann, Markus Lepper:
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. KDPD 2013: 218-233
[c22]
- view
- export record
  dblp key:
  - conf/se/Trancon-y-WidemannL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Trancon-y-WidemannL13
Baltasar Trancón y Widemann, Markus Lepper:
Paisley: A Pattern Matching Library for Arbitrary Object Models. Software Engineering (Workshops) 2013: 171-186
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Trancon-y-Widemann13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Trancon-y-Widemann13
Baltasar Trancón y Widemann:
Total Functional Software Engineering - Overview Paper. Trends in Functional Programming 2013: 1-16
2012
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/acri/Trancon-y-Widemann12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acri/Trancon-y-Widemann12
Baltasar Trancón y Widemann:
Structural Operational Semantics for Cellular Automata. ACRI 2012: 184-193
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/HauhsT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/HauhsT12
Michael Hauhs, Baltasar Trancón y Widemann:
A Critique Of Agent-Based Simulation In Ecology. ECMS 2012: 23-30
[c18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/enase/Trancon-y-Widemann12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/Trancon-y-Widemann12
Baltasar Trancón y Widemann:
The Recursion Scheme of the Trace Function Method. ENASE 2012: 146-155
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/Trancon-y-WidemannL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/Trancon-y-WidemannL12
Baltasar Trancón y Widemann, Markus Lepper:
Paisley: Pattern Matching à la Carte. ICMT@TOOLS 2012: 240-247
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ipta/Trancon-y-WidemannB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipta/Trancon-y-WidemannB12
Baltasar Trancón y Widemann, Christina Bogner:
Image analysis for soil dye tracer infiltration studies. IPTA 2012: 409-414
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/Trancon-y-WidemannBG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Trancon-y-WidemannBG12
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: 182-197
2011
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/calco/Trancon-y-WidemannH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Trancon-y-WidemannH11
Baltasar Trancón y Widemann, Michael Hauhs:
Distributive-Law Semantics for Cellular Automata and Agent-Based Models. CALCO 2011: 344-358
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ic3k/LepperT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/LepperT11
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: 449-456
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/LepperT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/LepperT11
Markus Lepper, Baltasar Trancón y Widemann:
Optimization of Visitor Performance by Reflection-Based Analysis. ICMT@TOOLS 2011: 15-30
[c11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-4744
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-4744
Markus Lepper, Baltasar Trancón y Widemann:
Solving the TTC 2011 Compiler Optimization Task with metatools. TTC 2011: 70-115
2010
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HauhsT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HauhsT10
Michael Hauhs, Baltasar Trancón y Widemann:
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. CMCS@ETAPS 2010: 105-123
2008
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iwmm/Trancon-y-Widemann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwmm/Trancon-y-Widemann08
Baltasar Trancón y Widemann:
A reference-counting garbage collection algorithmfor cyclical functional programming. ISMM 2008: 71-80
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/otm/HauhsTA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/HauhsTA08
Michael Hauhs, Baltasar Trancón y Widemann, Oliver Archner:
Theoretical and Practical Challenges of Integrating Ecosystem Data. OTM Workshops 2008: 64
2007
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/PetersLT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/PetersLT07
Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann:
An IDE for software development using tabular expressions. CASCON 2007: 248-251
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/WidemannP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/WidemannP07
Baltasar Trancón y Widemann, David Lorge Parnas:
Tabular Expressions and Total Functional Programming. IFL 2007: 219-236
2004
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Trancon-y-Widemann04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Trancon-y-Widemann04
Baltasar Trancón y Widemann:
V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. IFL 2004: 90-107
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/LepperTW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LepperTW03
Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland:
TUB-TCI An Architecture for Dynamic Deployment of Test Components. TestCom 2003: 279-294
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Trancon-y-Widemann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Trancon-y-Widemann02
Baltasar Trancón y Widemann:
Stacking Cycles: Functional Transformation of Circular Data. IFL 2002: 150-164
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/er/LepperTW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/LepperTW01
Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland:
Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends. ER 2001: 456-470
1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DidrichGSTT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DidrichGSTT99
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: 149-164

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2015
[e2]
- view
- export record
  dblp key:
  - conf/se/2015w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/2015w
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:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. CEUR Workshop Proceedings 1337, CEUR-WS.org 2015 [contents]
2014
[e1]
- view
- export record
  dblp key:
  - conf/se/2014w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/2014w
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:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 25.-26. Februar 2014 in Kiel, Deutschland. CEUR Workshop Proceedings 1129, CEUR-WS.org 2014 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-11580
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-11580
Baltasar Trancón y Widemann, Markus Lepper:
Towards a Theory of Conversion Relations for Prefixed Units of Measure. CoRR abs/2212.11580 (2022)
2020
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-12716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-12716
Baltasar Trancón y Widemann, Markus Lepper:
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming. CoRR abs/2008.12716 (2020)
2019
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07362
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 abs/1905.07362 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-08921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-08921
Markus Lepper, Baltasar Trancón y Widemann:
D2d - XML for Authors. CoRR abs/1905.08921 (2019)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-11142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-11142
Baltasar Trancón y Widemann, Markus Lepper:
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. CoRR abs/1908.11142 (2019)
2016
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Widemann16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Widemann16
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 abs/1602.05010 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WidemannB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WidemannB16
Baltasar Trancón y Widemann, Christina Bogner:
Comments on "the return of information theory". CoRR abs/1602.05056 (2016)
2015
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WidemannH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WidemannH15
Baltasar Trancón y Widemann, Michael Hauhs:
Scientific Modelling with Coalgebra-Algebra Homomorphisms. CoRR abs/1506.07290 (2015)
2012
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1212-1734
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-1734
Baltasar Trancón y Widemann:
Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. CoRR abs/1212.1734 (2012)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.