Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Plümicke
@article{DBLP:journals/darts/StadelmeierP022,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke and
Peter Thiemann},
title = {Global Type Inference for Featherweight Generic Java - Prototype Implementation
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {18:1--18:4},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.18},
doi = {10.4230/DARTS.8.2.18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/StadelmeierP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StadelmeierP022,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke and
Peter Thiemann},
editor = {Karim Ali and
Jan Vitek},
title = {Global Type Inference for Featherweight Generic Java},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {28:1--28:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.28},
doi = {10.4230/LIPICS.ECOOP.2022.28},
timestamp = {Thu, 23 Jun 2022 13:54:05 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/StadelmeierP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08768,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke and
Peter Thiemann},
title = {Global Type Inference for Featherweight Generic Java},
journal = {CoRR},
volume = {abs/2205.08768},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08768},
doi = {10.48550/ARXIV.2205.08768},
eprinttype = {arXiv},
eprint = {2205.08768},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/PlumickeS17,
author = {Martin Pl{\"{u}}micke and
Andreas Stadelmeier},
title = {Introducing Scala-like function types into Java-TX},
booktitle = {Proceedings of the 14th International Conference on Managed Languages
and Runtimes, ManLang 2017, Prague, Czech Republic, September 27 -
29, 2017},
pages = {23--34},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132190.3132203},
doi = {10.1145/3132190.3132203},
timestamp = {Tue, 06 Nov 2018 11:07:03 +0100},
biburl = {https://dblp.org/rec/conf/pppj/PlumickeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Plumicke16,
author = {Martin Pl{\"{u}}micke},
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 = {Structural Type Inference in Java-like Languages},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {109--113},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper09.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/Plumicke16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unif/Plumicke16,
author = {Martin Pl{\"{u}}micke},
editor = {Silvio Ghilardi and
Manfred Schmidt{-}Schau{\ss}},
title = {Type unification for structural types in Java (Extended Abstract)},
booktitle = {Proceedings of the 30th International Workshop on Unification, {UNIF}
2016, Porto, Portugal, June 26, 2016},
pages = {49},
year = {2016},
url = {http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf\#page=49},
timestamp = {Tue, 19 Sep 2023 16:43:02 +0200},
biburl = {https://dblp.org/rec/conf/unif/Plumicke16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/StadelmeierP15,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke},
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 = {Adding overloading to Java type inference},
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 = {127--132},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/StadelmeierP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Plumicke14,
author = {Martin Pl{\"{u}}micke},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {More Type Inference in Java 8},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {248--256},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_20},
doi = {10.1007/978-3-662-46823-4\_20},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/Plumicke14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Plumicke14,
author = {Martin Pl{\"{u}}micke},
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 = {Functional Interfaces vs. Function Types in Java with Lambdas},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2014, 25.-26. Februar 2014 in Kiel, Deutschland},
series = {{CEUR} Workshop Proceedings},
volume = {1129},
pages = {146--147},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1129/paper45.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/Plumicke14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erpf/Plumicke13,
author = {Martin Pl{\"{u}}micke},
editor = {Felix Piazolo and
Michael Felderer},
title = {Integrated Campus Portal},
booktitle = {Novel Methods and Technologies for Enterprise Information Systems,
{ERP} Future 2013 Conference, Vienna, Austria, November 2013, Revised
Papers},
series = {Lecture Notes in Information Systems and Organisation},
volume = {8},
pages = {249--260},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-07055-1\_20},
doi = {10.1007/978-3-319-07055-1\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erpf/Plumicke13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pppj/2013,
editor = {Martin Pl{\"{u}}micke and
Walter Binder},
title = {Proceedings of the 2013 International Conference on Principles and
Practices of Programming on the Java Platform: Virtual Machines, Languages,
and Tools, Stuttgart, Germany, September 11-13, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500828},
doi = {10.1145/2500828},
isbn = {978-1-4503-2111-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/Plumicke11,
author = {Martin Pl{\"{u}}micke},
editor = {Christian W. Probst and
Christian Wimmer},
title = {Well-typings for Java\({}_{\mbox{{\(\lambda\)}}}\)},
booktitle = {Proceedings of the 9th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2011, Kongens Lyngby, Denmark,
August 24-26, 2011},
pages = {91--100},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093157.2093171},
doi = {10.1145/2093157.2093171},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/Plumicke11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itcs/Plumicke08,
author = {Martin Pl{\"{u}}micke},
editor = {Hans Weghorn},
title = {Subtyping in Java 5.0},
booktitle = {Information Technology and Computer Science - {ITCS} 2008, Annual
Meeting on {ITCS} at the Berufsakademie Baden-W{\"{u}}rrtemberg,
Stuttgart, Germany, February 20, 2008. Proceedings},
pages = {33--37},
publisher = {BA-University Stuttgart},
year = {2008},
url = {http://www.ba-stuttgart.de/\%7Eday4it/2008/ITCS2008-Pluemicke.pdf},
timestamp = {Fri, 30 May 2008 15:41:15 +0200},
biburl = {https://dblp.org/rec/conf/itcs/Plumicke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/Plumicke08,
author = {Martin Pl{\"{u}}micke},
editor = {Lu{\'{\i}}s Veiga and
Vasco Amaral and
R. Nigel Horspool and
Giacomo Cabri},
title = {Intersection types in Java},
booktitle = {Proceedings of the 6th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2008, Modena, Italy, September 9-11,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {347},
pages = {181--188},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411732.1411757},
doi = {10.1145/1411732.1411757},
timestamp = {Mon, 26 Apr 2021 09:27:01 +0200},
biburl = {https://dblp.org/rec/conf/pppj/Plumicke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/Plumicke07,
author = {Martin Pl{\"{u}}micke},
editor = {Vasco Amaral and
Luis Marcelino and
Lu{\'{\i}}s Veiga and
H. Conrad Cunningham},
title = {Typeless programming in Java 5.0 with wildcards},
booktitle = {Proceedings of the 5th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2007, Lisboa, Portugal, September 5-7,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {272},
pages = {73--82},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294325.1294336},
doi = {10.1145/1294325.1294336},
timestamp = {Mon, 26 Apr 2021 09:27:01 +0200},
biburl = {https://dblp.org/rec/conf/pppj/Plumicke07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Plumicke07,
author = {Martin Pl{\"{u}}micke},
editor = {Dietmar Seipel and
Michael Hanus and
Armin Wolf},
title = {Java Type Unification with Wildcards},
booktitle = {Applications of Declarative Programming and Knowledge Management,
17th International Conference, {INAP} 2007, and 21st Workshop on Logic
Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5437},
pages = {223--240},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-00675-3\_15},
doi = {10.1007/978-3-642-00675-3\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/wlp/Plumicke07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Plumicke06,
author = {Martin Pl{\"{u}}micke},
title = {Typ-Inferenz in Java 5.0},
journal = {Softwaretechnik-Trends},
volume = {26},
number = {2},
year = {2006},
url = {http://pi.informatik.uni-siegen.de/stt/26\_2/01\_Fachgruppenberichte/02-FG214/18-Pluemicke.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Plumicke06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/PlumickeB06,
author = {Martin Pl{\"{u}}micke and
J{\"{o}}rg B{\"{a}}uerle},
editor = {Ralf Gitzel and
Markus Aleksy and
Martin Schader},
title = {Typeless programming in Java 5.0},
booktitle = {Proceedings of the 4th International Symposium on Principles and Practice
of Programming in Java, {PPPJ} 2006, Mannheim, Germany, August 30
- September 1, 2006},
series = {{ACM} International Conference Proceeding Series},
volume = {178},
pages = {175--181},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1168054.1168079},
doi = {10.1145/1168054.1168079},
timestamp = {Sun, 25 Oct 2020 23:04:31 +0100},
biburl = {https://dblp.org/rec/conf/pppj/PlumickeB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epk/Plumicke04,
author = {Martin Pl{\"{u}}micke},
editor = {Markus N{\"{u}}ttgens and
Frank J. Rump},
title = {{ARIS} meets {RUP:} The {ARIS} Unified Information System Development
Process},
booktitle = {{EPK} 2004 - Gesch{\"{a}}ftsprozessmanagement mit Ereignisgesteuerten
Prozessketten, Proceedings des GI-Workshops und Arbeitskreistreffens
(Luxemburg, 6. Oktober 2004)},
pages = {65--86},
publisher = {GI-Arbeitskreis Gesch{\"{a}}ftsprozessmanagement mit Ereignisgesteuerten
Prozessketten},
year = {2004},
url = {http://www.wiso.uni-hamburg.de/fileadmin/WISO\_FS\_WI/EPK-Community/epk2004-proceedings.pdf},
timestamp = {Thu, 19 Jun 2008 11:08:36 +0200},
biburl = {https://dblp.org/rec/conf/epk/Plumicke04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Plumicke99,
author = {Martin Pl{\"{u}}micke},
title = {{OBJ-P:} the polymorphic extension of {OBJ-3}},
school = {University of T{\"{u}}bingen, Germany},
year = {1999},
url = {https://d-nb.info/957870027},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Plumicke99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Plumicke99,
author = {Martin Pl{\"{u}}micke},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Polymorphism in {OBJ-P}},
booktitle = {Perspectives of System Informatics, Third International Andrei Ershov
Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July
6-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1755},
pages = {149--154},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46562-6\_13},
doi = {10.1007/3-540-46562-6\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Plumicke99.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 05:59 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:
