Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Baltasar Trancón y Widemann
@inproceedings{DBLP:conf/RelMiCS/WidemannL23,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Roland Gl{\"{u}}ck and
Luigi Santocanale and
Michael Winter},
title = {Towards a Theory of Conversion Relations for Prefixed Units of Measure},
booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13896},
pages = {258--273},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28083-2\_16},
doi = {10.1007/978-3-031-28083-2\_16},
timestamp = {Fri, 10 Mar 2023 15:47:06 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/WidemannL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001W23,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Ralf L{\"{a}}mmel and
Peter D. Mosses and
Friedrich Steimann},
title = {Visitor Optimization Revisited - Realizing Traversal Graph Pruning
by Runtime Bytecode Generation},
booktitle = {Eelco Visser Commemorative Symposium, {EVCS} 2023, April 5, 2023,
Delft, The Netherlands},
series = {OASIcs},
volume = {109},
pages = {20:1--20:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/OASIcs.EVCS.2023.20},
doi = {10.4230/OASICS.EVCS.2023.20},
timestamp = {Thu, 23 Mar 2023 11:44:45 +0100},
biburl = {https://dblp.org/rec/conf/birthday/0001W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-11580,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
title = {Towards a Theory of Conversion Relations for Prefixed Units of Measure},
journal = {CoRR},
volume = {abs/2212.11580},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.11580},
doi = {10.48550/ARXIV.2212.11580},
eprinttype = {arXiv},
eprint = {2212.11580},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11580.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/Widemann021,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Herbert Kuchen and
Jeremy Singer},
title = {LLJava live at the loop: a case for heteroiconic staged meta-programming},
booktitle = {{MPLR} '21: 18th {ACM} {SIGPLAN} International Conference on Managed
Programming Languages and Runtimes, M{\"{u}}nster, Germany, September
29-30, 2021},
pages = {113--126},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475738.3480942},
doi = {10.1145/3475738.3480942},
timestamp = {Mon, 27 Sep 2021 17:22:22 +0200},
biburl = {https://dblp.org/rec/conf/pppj/Widemann021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/WidemannL20,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Michael Hanus and
Claudio Sacerdoti Coen},
title = {Practical Idiomatic Considerations for Checkable Meta-logic in Experimental
Functional Programming},
booktitle = {Functional and Constraint Logic Programming - 28th International Workshop,
{WFLP} 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12560},
pages = {22--38},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-75333-7\_2},
doi = {10.1007/978-3-030-75333-7\_2},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/WidemannL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-12716,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
title = {Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental
Functional Programming},
journal = {CoRR},
volume = {abs/2008.12716},
year = {2020},
url = {https://arxiv.org/abs/2008.12716},
eprinttype = {arXiv},
eprint = {2008.12716},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-12716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/WidemannL19,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Improving the Performance of the Paisley Pattern-Matching {EDSL} by
Staged Combinatorial Compilation},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {268--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_17},
doi = {10.1007/978-3-030-46714-2\_17},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/WidemannL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-07362,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
title = {Simple and Effective Relation-Based Approaches To XPath and {XSLT}
Type Checking (Technical Report, Bad Honnef 2015)},
journal = {CoRR},
volume = {abs/1905.07362},
year = {2019},
url = {http://arxiv.org/abs/1905.07362},
eprinttype = {arXiv},
eprint = {1905.07362},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-07362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08921,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
title = {D2d - {XML} for Authors},
journal = {CoRR},
volume = {abs/1905.08921},
year = {2019},
url = {http://arxiv.org/abs/1905.08921},
eprinttype = {arXiv},
eprint = {1905.08921},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08921.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11142,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
title = {Improving the Performance of the Paisley Pattern-Matching {EDSL} by
Staged Combinatorial Compilation},
journal = {CoRR},
volume = {abs/1908.11142},
year = {2019},
url = {http://arxiv.org/abs/1908.11142},
eprinttype = {arXiv},
eprint = {1908.11142},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/WidemannL17,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Sibylle Schwarz and
Janis Voigtl{\"{a}}nder},
title = {A Practical Study of Control in Objected-Oriented-Functional-Logic
Programming with Paisley},
booktitle = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
and 24th International Workshop on Functional and (Constraint) Logic
Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
Germany, 22nd September 2015 and 12-14th September 2016},
series = {{EPTCS}},
volume = {234},
pages = {150--164},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.234.11},
doi = {10.4204/EPTCS.234.11},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WidemannL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LepperW16,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Heinrich C. Mayr and
Martin Pinzger},
title = {D2d - Kreatives Schreiben von XML-codierten Texten},
booktitle = {46. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
von Menschen f{\"{u}}r Menschen, {INFORMATIK} 2016, Klagenfurt,
Austria, September 26-30, 2016},
series = {{LNI}},
volume = {{P-259}},
pages = {1935--1940},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/1082},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/LepperW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/WidemannL16,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Walter Binder and
Petr Tuma},
title = {LLJava: Minimalist Structured Programming on the Java Virtual Machine
[Work-in-Progress Research Paper]},
booktitle = {Proceedings of the 13th International Conference on Principles and
Practices of Programming on the Java Platform: Virtual Machines, Languages,
and Tools, Lugano, Switzerland, August 29 - September 2, 2016},
pages = {17:1--17:6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2972206.2972218},
doi = {10.1145/2972206.2972218},
timestamp = {Tue, 21 Mar 2023 21:02:19 +0100},
biburl = {https://dblp.org/rec/conf/pppj/WidemannL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WidemannL16,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {Higher-Order Causal Stream Functions in Sig from First Principles},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {25--39},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/WidemannL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Widemann16,
author = {Baltasar Tranc{\'{o}}n y Widemann},
title = {Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and
Conway Look Like a Bunch of Primitives, Figuratively Speaking},
journal = {CoRR},
volume = {abs/1602.05010},
year = {2016},
url = {http://arxiv.org/abs/1602.05010},
eprinttype = {arXiv},
eprint = {1602.05010},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Widemann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WidemannB16,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Christina Bogner},
title = {Comments on "the return of information theory"},
journal = {CoRR},
volume = {abs/1602.05056},
year = {2016},
url = {http://arxiv.org/abs/1602.05056},
eprinttype = {arXiv},
eprint = {1602.05056},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WidemannB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WidemannH15,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Michael Hauhs},
title = {Algebraic-coalgebraic recursion theory of history-dependent dynamical
system models},
journal = {Theor. Comput. Sci.},
volume = {604},
pages = {63--80},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.06.058},
doi = {10.1016/J.TCS.2015.06.058},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WidemannH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WidemannL15,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Henrik Nilsson and
David Janin},
title = {The shepard tone and higher-order multi-rate synchronous data-flow
programming in Sig},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Functional
Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada,
September 5, 2015},
pages = {6--14},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808083.2808086},
doi = {10.1145/2808083.2808086},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/WidemannL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/WidemannL15,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Ryan Stansifer and
Andreas Krall},
title = {On-Line Synchronous Total Purely Functional Data-Flow Programming
on the Java Virtual Machine with Sig},
booktitle = {Proceedings of the Principles and Practices of Programming on The
Java Platform, {PPPJ} 2015, Melbourne, FL, USA, September 8-11, 2015},
pages = {37--50},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807426.2807430},
doi = {10.1145/2807426.2807430},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/WidemannL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/LepperW15,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Maribel Fern{\'{a}}ndez},
title = {A Simple and Efficient Step Towards Type-Correct {XSLT} Transformations},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {350--364},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.350},
doi = {10.4230/LIPICS.RTA.2015.350},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/LepperW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GrelckW15,
author = {Clemens Grelck and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Vorwort zur 8. Arbeitstagung Programmiersprachen {(ATPS} 2015)},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
pages = {121--122},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/GrelckW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GrelckW15a,
author = {Clemens Grelck and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {8. Arbeitstagung Programmiersprachen {(ATPS} 2015)},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {269--270},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2566},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/GrelckW15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WidemannL15,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Laminar Data Flow: On the Role of Slicing in Functional Data-Flow
Programming - Research Paper},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {85--103},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_5},
doi = {10.1007/978-3-319-39110-6\_5},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/WidemannL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2015w,
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337},
urn = {urn:nbn:de:0074-1337-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/2015w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WidemannH15,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Michael Hauhs},
title = {Scientific Modelling with Coalgebra-Algebra Homomorphisms},
journal = {CoRR},
volume = {abs/1506.07290},
year = {2015},
url = {http://arxiv.org/abs/1506.07290},
eprinttype = {arXiv},
eprint = {1506.07290},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WidemannH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/Trancon-y-Widemann14,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Marcello M. Bonsangue},
title = {Towards Systematic Construction of Temporal Logics for Dynamical Systems
via Coalgebra},
booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8446},
pages = {211--224},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44124-4\_12},
doi = {10.1007/978-3-662-44124-4\_12},
timestamp = {Sat, 19 Oct 2019 20:27:44 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/Trancon-y-Widemann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/Trancon-y-WidemannH14,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Michael Hauhs},
editor = {Marcello M. Bonsangue},
title = {Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical
System Models},
booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8446},
pages = {225--244},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44124-4\_13},
doi = {10.1007/978-3-662-44124-4\_13},
timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/Trancon-y-WidemannH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WidemannL14,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Alex McLean and
Michael Sperber and
Henrik Nilsson},
title = {[Demo abstract] Sound and soundness: practical total functional data-flow
programming},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} international workshop on Functional
art, music, modeling {\&} design, FARM@ICFP 2014, Gothenburg,
Sweden, September 1-3, 2014},
pages = {35--36},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633638.2633644},
doi = {10.1145/2633638.2633644},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/WidemannL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LepperT14,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rewriting Object Models With Cycles and Nested Collections - {A} Model-Based
Metaprogramming Problem},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {445--460},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_31},
doi = {10.1007/978-3-662-45234-9\_31},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LepperT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/StolzW14,
author = {Volker Stolz and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {7. Arbeitstagung Programmiersprachen {(ATPS} 2014)},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {205--206},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/31006},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/StolzW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/WidemannL14,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Stefan Brass and
Johannes Waldmann},
title = {Interpreting XPath by Iterative Pattern Matching with Paisley},
booktitle = {Proceedings of the 28th Workshop on (Constraint) Logic Programming
{(WLP} 2014) Proceedings of the 23rd International Workshop on Functional
and (Constraint) Logic Programming, Wittenberg, Germany, September
15-17, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1335},
pages = {108--124},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1335/wflp2014\_paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/wlp/WidemannL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Trancon-y-WidemannL14,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Paul Blain Levy and
Neel Krishnaswami},
title = {Foundations of Total Functional Data-Flow Programming},
booktitle = {Proceedings 5th Workshop on Mathematically Structured Functional Programming,
MSFP@ETAPS 2014, Grenoble, France, 12 April 2014},
series = {{EPTCS}},
volume = {153},
pages = {143--167},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.153.10},
doi = {10.4204/EPTCS.153.10},
timestamp = {Wed, 29 Sep 2021 08:56:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Trancon-y-WidemannL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2014w,
editor = {Klaus Schmid and
Wolfgang B{\"{o}}hm and
Robert Heinrich and
Andrea Herrmann and
Anne Hoffmann and
Dieter Landes and
Marco Konersmann and
Thomas Ruhroth and
Oliver Sander and
Volker Stolz and
Baltasar Tranc{\'{o}}n y Widemann and
R{\"{u}}diger Wei{\ss}bach},
title = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2014, 25.-26. Februar 2014 in Kiel, Deutschland},
series = {{CEUR} Workshop Proceedings},
volume = {1129},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1129},
urn = {urn:nbn:de:0074-1129-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/2014w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecoi/BognerTL13,
author = {Christina Bogner and
Baltasar Tranc{\'{o}}n y Widemann and
Holger Lange},
title = {Characterising flow patterns in soils by feature extraction and multiple
consensus clustering},
journal = {Ecol. Informatics},
volume = {15},
pages = {44--52},
year = {2013},
url = {https://doi.org/10.1016/j.ecoinf.2013.03.001},
doi = {10.1016/J.ECOINF.2013.03.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecoi/BognerTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/LepperT13,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Joaquim Filipe and
Jan L. G. Dietz},
title = {tScore: Makes Computers and Humans Talk About Time},
booktitle = {{KEOD} 2013 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Vilamoura, Algarve, Portugal,
19-22 September, 2013},
pages = {176--183},
publisher = {SciTePress},
year = {2013},
url = {https://doi.org/10.5220/0004540701760183},
doi = {10.5220/0004540701760183},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/LepperT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/LepperT13,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Keith Duddy and
Gerti Kappel},
title = {Fragmented Validation: {A} Simple and Efficient Contribution to {XSLT}
Checking (Extended Abstract)},
booktitle = {Theory and Practice of Model Transformations - 6th International Conference,
ICMT@STAF 2013, Budapest, Hungary, June 18-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7909},
pages = {54--55},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38883-5\_6},
doi = {10.1007/978-3-642-38883-5\_6},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/LepperT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Trancon-y-WidemannL13,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Michael Hanus and
Ricardo Rocha},
title = {Some Experiments on Light-Weight Object-Functional-Logic Programming
in Java with Paisley},
booktitle = {Declarative Programming and Knowledge Management - Declarative Programming
Days, {KDPD} 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September
11-13, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8439},
pages = {218--233},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-08909-6\_14},
doi = {10.1007/978-3-319-08909-6\_14},
timestamp = {Thu, 14 Oct 2021 10:44:07 +0200},
biburl = {https://dblp.org/rec/conf/inap/Trancon-y-WidemannL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Trancon-y-WidemannL13,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Stefan Wagner and
Horst Lichter},
title = {Paisley: {A} Pattern Matching Library for Arbitrary Object Models},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz
2013 in Aachen},
series = {{LNI}},
volume = {{P-215}},
pages = {171--186},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17364},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Trancon-y-WidemannL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Trancon-y-Widemann13,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Jay McCarthy},
title = {Total Functional Software Engineering - Overview Paper},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_1},
doi = {10.1007/978-3-642-45340-3\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Trancon-y-Widemann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/Trancon-y-Widemann12,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Georgios Ch. Sirakoulis and
Stefania Bandini},
title = {Structural Operational Semantics for Cellular Automata},
booktitle = {Cellular Automata - 10th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2012, Santorini Island, Greece,
September 24-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7495},
pages = {184--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33350-7\_19},
doi = {10.1007/978-3-642-33350-7\_19},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/acri/Trancon-y-Widemann12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecms/HauhsT12,
author = {Michael Hauhs and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Klaus G. Troitzsch and
Michael M{\"{o}}hring and
Ulf Lotzmann},
title = {A Critique Of Agent-Based Simulation In Ecology},
booktitle = {26th European Conference on Modelling and Simulation, {ECMS} 2012,
Koblenz, Germany, May 29 - June 1, 2012},
pages = {23--30},
publisher = {European Council for Modeling and Simulation},
year = {2012},
url = {https://doi.org/10.7148/2012-0023-0030},
doi = {10.7148/2012-0023-0030},
timestamp = {Tue, 09 Feb 2021 08:33:05 +0100},
biburl = {https://dblp.org/rec/conf/ecms/HauhsT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/Trancon-y-Widemann12,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {The Recursion Scheme of the Trace Function Method},
booktitle = {{ENASE} 2012 - Proceedings of the 7th International Conference on
Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland,
29-30 June, 2012},
pages = {146--155},
publisher = {SciTePress},
year = {2012},
timestamp = {Wed, 07 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/Trancon-y-Widemann12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/Trancon-y-WidemannL12,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Zhenjiang Hu and
Juan de Lara},
title = {Paisley: Pattern Matching {\`{a}} la Carte},
booktitle = {Theory and Practice of Model Transformations - 5th International Conference,
ICMT@TOOLS 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7307},
pages = {240--247},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30476-7\_16},
doi = {10.1007/978-3-642-30476-7\_16},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/Trancon-y-WidemannL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipta/Trancon-y-WidemannB12,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Christina Bogner},
editor = {Khalifa Djemal and
Mohamed A. Deriche},
title = {Image analysis for soil dye tracer infiltration studies},
booktitle = {3rd International Conference on Image Processing Theory Tools and
Applications, {IPTA} 2012, 15-18 October 2012, Istanbul, Turkey},
pages = {409--414},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IPTA.2012.6469517},
doi = {10.1109/IPTA.2012.6469517},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/ipta/Trancon-y-WidemannB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Trancon-y-WidemannBG12,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Carl Friedrich Bolz and
Clemens Grelck},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {The Functional Programming Language {R} and the Paradigm of Dynamic
Scientific Programming - (Position Paper)},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {182--197},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_12},
doi = {10.1007/978-3-642-40447-4\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Trancon-y-WidemannBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1734,
author = {Baltasar Tranc{\'{o}}n y Widemann},
title = {Systematic Construction of Temporal Logics for Dynamical Systems via
Coalgebra},
journal = {CoRR},
volume = {abs/1212.1734},
year = {2012},
url = {http://arxiv.org/abs/1212.1734},
eprinttype = {arXiv},
eprint = {1212.1734},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-1734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Trancon-y-WidemannH11,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Michael Hauhs},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Distributive-Law Semantics for Cellular Automata and Agent-Based Models},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {344--358},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_24},
doi = {10.1007/978-3-642-22944-2\_24},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Trancon-y-WidemannH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/LepperT11,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Joaquim Filipe and
Jan L. G. Dietz},
title = {D2d - {A} Robust Front-end for Prototyping, Authoring and Maintaining
{XML} Encoded Documents by Domain Experts},
booktitle = {{KEOD} 2011 - Proceedings of the International Conference on Knowledge
Engineering and Ontology Development, Paris, France, 26-29 October,
2011},
pages = {449--456},
publisher = {SciTePress},
year = {2011},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/LepperT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/LepperT11,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Jordi Cabot and
Eelco Visser},
title = {Optimization of Visitor Performance by Reflection-Based Analysis},
booktitle = {Theory and Practice of Model Transformations - 4th International Conference,
ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6707},
pages = {15--30},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21732-6\_2},
doi = {10.1007/978-3-642-21732-6\_2},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/LepperT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4744,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Solving the {TTC} 2011 Compiler Optimization Task with metatools},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {70--115},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.9},
doi = {10.4204/EPTCS.74.9},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/LiuPT10,
author = {Zhiying Liu and
David Lorge Parnas and
Baltasar Tranc{\'{o}}n y Widemann},
title = {Documenting and verifying systems assembled from components},
journal = {Frontiers Comput. Sci. China},
volume = {4},
number = {2},
pages = {151--161},
year = {2010},
url = {https://doi.org/10.1007/s11704-010-0026-2},
doi = {10.1007/S11704-010-0026-2},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/LiuPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HauhsT10,
author = {Michael Hauhs and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Bart Jacobs and
Milad Niqui and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated
with the Logistic Map},
booktitle = {Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer
Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {2},
pages = {105--123},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.016},
doi = {10.1016/J.ENTCS.2010.07.016},
timestamp = {Fri, 10 Mar 2023 10:48:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HauhsT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/Trancon-y-Widemann08,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Richard E. Jones and
Stephen M. Blackburn},
title = {A reference-counting garbage collection algorithmfor cyclical functional
programming},
booktitle = {Proceedings of the 7th International Symposium on Memory Management,
{ISMM} 2008, Tucson, AZ, USA, June 7-8, 2008},
pages = {71--80},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375634.1375645},
doi = {10.1145/1375634.1375645},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/Trancon-y-Widemann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HauhsTA08,
author = {Michael Hauhs and
Baltasar Tranc{\'{o}}n y Widemann and
Oliver Archner},
editor = {Robert Meersman and
Zahir Tari and
Pilar Herrero},
title = {Theoretical and Practical Challenges of Integrating Ecosystem Data},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2008 Workshops,
{OTM} Confederated International Workshops and Posters, ADI, AWeSoMe,
COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS,
SEMELS, and {SWWS} 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5333},
pages = {64},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88875-8\_23},
doi = {10.1007/978-3-540-88875-8\_23},
timestamp = {Thu, 14 Oct 2021 10:28:27 +0200},
biburl = {https://dblp.org/rec/conf/otm/HauhsTA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Widemann2007,
author = {Baltasar Tranc{\'{o}}n y Widemann},
title = {Strikte Verfahren zyklischer Berechnung},
school = {Berlin Institute of Technology},
year = {2007},
url = {http://opus.kobv.de/tuberlin/volltexte/2008/1755/},
urn = {urn:nbn:de:kobv:83-opus-17559},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Widemann2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/PetersLT07,
author = {Dennis K. Peters and
Mark Lawford and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Bruce Spencer and
Margaret{-}Anne D. Storey and
Darlene A. Stewart},
title = {An {IDE} for software development using tabular expressions},
booktitle = {Proceedings of the 2007 conference of the Centre for Advanced Studies
on Collaborative Research, October 22-25, 2007, Richmond Hill, Ontario,
Canada},
pages = {248--251},
publisher = {{IBM}},
year = {2007},
url = {https://doi.org/10.1145/1321211.1321238},
doi = {10.1145/1321211.1321238},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cascon/PetersLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/WidemannP07,
author = {Baltasar Tranc{\'{o}}n y Widemann and
David Lorge Parnas},
editor = {Olaf Chitil and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Tabular Expressions and Total Functional Programming},
booktitle = {Implementation and Application of Functional Languages, 19th International
Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5083},
pages = {219--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85373-2\_13},
doi = {10.1007/978-3-540-85373-2\_13},
timestamp = {Mon, 03 Jan 2022 22:26:05 +0100},
biburl = {https://dblp.org/rec/conf/ifl/WidemannP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Trancon-y-Widemann06,
author = {Baltasar Tranc{\'{o}}n y Widemann},
title = {Strikte Zyklische Berechnungen: Von der Theorie zur Praxis},
journal = {Softwaretechnik-Trends},
volume = {26},
number = {2},
year = {2006},
url = {http://pi.informatik.uni-siegen.de/stt/26\_2/01\_Fachgruppenberichte/02-FG214/05-Trancon.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Trancon-y-Widemann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Trancon-y-Widemann04,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {V-{\textgreater}M: {A} Virtual Machine for Strict Evaluation of (Co)Recursive
Functions},
booktitle = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {90--107},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431664\_6},
doi = {10.1007/11431664\_6},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Trancon-y-Widemann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Trancon-y-WidemannLW03,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper and
Jacob Wieland},
title = {Automatic Construction of XML-Based Tools Seen as Meta-Programming},
journal = {Autom. Softw. Eng.},
volume = {10},
number = {1},
pages = {23--38},
year = {2003},
url = {https://doi.org/10.1023/A:1021864801049},
doi = {10.1023/A:1021864801049},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Trancon-y-WidemannLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LepperTW03,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann and
Jacob Wieland},
editor = {Dieter Hogrefe and
Anthony Wiles},
title = {{TUB-TCI} An Architecture for Dynamic Deployment of Test Components},
booktitle = {Testing of Communicating Systems, 15th {IFIP} International Conference,
TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2644},
pages = {279--294},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44830-6\_21},
doi = {10.1007/3-540-44830-6\_21},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/LepperTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Trancon-y-Widemann02,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Ricardo Pena and
Thomas Arts},
title = {Stacking Cycles: Functional Transformation of Circular Data},
booktitle = {Implementation of Functional Languages, 14th International Workshop,
{IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2670},
pages = {150--164},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44854-3\_10},
doi = {10.1007/3-540-44854-3\_10},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Trancon-y-Widemann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/LepperTW01,
author = {Markus Lepper and
Baltasar Tranc{\'{o}}n y Widemann and
Jacob Wieland},
editor = {Hideko S. Kunii and
Sushil Jajodia and
Arne S{\o}lvberg},
title = {Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual
Modeling Frontends},
booktitle = {Conceptual Modeling - {ER} 2001, 20th International Conference on
Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2224},
pages = {456--470},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45581-7\_34},
doi = {10.1007/3-540-45581-7\_34},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/LepperTW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/DidrichGSTT99,
author = {Klaus Didrich and
Wolfgang Grieskamp and
Florian Schintke and
Till Tantau and
Baltasar Tranc{\'{o}}n y Widemann},
editor = {Pieter W. M. Koopman and
Chris Clack},
title = {Reflections in Opal - Meta Information in a Functional Programming
Language},
booktitle = {Implementation of Functional Languages, 11th International Workshop,
IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1868},
pages = {149--164},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10722298\_9},
doi = {10.1007/10722298\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/DidrichGSTT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
