|
[CS15]
|
Jacek Chrząszcz and Aleksy Schubert.
The role of polymorphism in the characterisation of complexity by
soft types.
Information and Computation, 2015.
Accepted for publication.
|
|
[SDB15]
|
Aleksy Schubert, Wil Dekkers, and Henk P. Barendregt.
Automata Theoretic Account of Proof Search.
In Stephan Kreutzer, editor, 24th EACSL Annual Conference on
Computer Science Logic (CSL 2015), volume 41 of Leibniz International
Proceedings in Informatics (LIPIcs), pages 128-143, Dagstuhl, Germany,
2015. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
[ DOI ]
|
|
[SUZ15]
|
Aleksy Schubert, Pawel Urzyczyn, and Konrad Zdanowski.
On the Mints hierarchy in first-order intuitionistic logic.
In Andrew M. Pitts, editor, Foundations of Software Science and
Computation Structures - 18th International Conference, FoSSaCS 2015, Held as
Part of the European Joint Conferences on Theory and Practice of Software,
ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, volume 9034 of
Lecture Notes in Computer Science, pages 451-465. Springer, 2015.
[ http ]
|
|
[ZCS15]
|
Maciej Zielenkiewicz, Jacek Chrzaszcz, and Aleksy Schubert.
Java loops are mainly polynomial.
In Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav
Pokorný, Jean-Jacques Quisquater, and Roger Wattenhofer, editors,
SOFSEM 2015: Theory and Practice of Computer Science - 41st
International Conference on Current Trends in Theory and Practice of Computer
Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015.
Proceedings, volume 8939 of Lecture Notes in Computer Science, pages
603-614. Springer, 2015.
[ DOI |
http ]
|
|
[PdRS15]
|
Erik Poll, Joeri de Ruiter, and Aleksy Schubert.
Protocol state machines and session languages: Specification,
implementation, and security flaws.
In 2015 IEEE Symposium on Security and Privacy Workshops,
SPW 2015, San Jose, CA, USA, May 21-22, 2015, pages 125-133. IEEE
Computer Society, 2015.
[ DOI ]
|
|
[BBS15]
|
Marcin Benke, Viviana Bono, and Aleksy Schubert.
Lucretia - intersection type polymorphism for scripting languages.
In Jakob Rehof, editor, Proceedings Seventh Workshop on
Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July
2014., volume 177 of EPTCS, pages 65-78, 2015.
[ DOI |
http ]
|
|
[SUW15]
|
Aleksy Schubert, Pawel Urzyczyn, and Daria Walukiewicz-Chrzaszcz.
Restricted positive quantification is not elementary.
In 20th International Conference on Types for Proofs and
Programs, TYPES 2014, May 12-15, 2014, Paris, France, pages 251-273,
2015.
[ DOI |
http ]
|
|
[ZSC14]
|
Maciej Zielenkiewicz, Aleksy Schubert, and Jacek Chrzaszcz.
On multiply-exponential write-once Turing machines.
CoRR, abs/1407.7592, 2014.
[ http ]
|
|
[SUWC14]
|
Aleksy Schubert, Pawel Urzyczyn, and Daria Walukiewicz-Chrząszcz.
How hard is positive quantification.
W recenzji, 2014.
[ .pdf ]
|
|
[MS14]
|
Ralph Matthes and Aleksy Schubert, editors.
19th International Conference on Types for Proofs and Programs,
TYPES 2013, April 22-26, 2013, Toulouse, France, volume 26 of
LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014.
[ DOI ]
|
|
[SS14]
|
Tadeusz Sznuk and Aleksy Schubert.
Tool support for teaching hoare logic.
In Dimitra Giannakopoulou and Gwen Salaün, editors,
Software Engineering and Formal Methods - 12th International Conference,
SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, volume 8702
of Lecture Notes in Computer Science, pages 332-346. Springer, 2014.
[ DOI ]
|
|
[FS14]
|
Ken-etsu Fujita and Aleksy Schubert.
Existential type systems between Church and Curry style
(type-free style).
Theoretical Computer Science, 549:17-35, 2014.
[ DOI ]
|
|
[SF14]
|
Aleksy Schubert and Ken-etsu Fujita.
A note on subject reduction in (->, there exists)-Curry with
respect to complete developments.
Information Processing Letters, 114(1-2):72-75, 2014.
[ DOI ]
|
|
[FS13]
|
Ken-etsu Fujita and Aleksy Schubert.
Decidable structures between Church-style and Curry-style.
In Femke van Raamsdonk, editor, 24th International Conference on
Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven,
The Netherlands, volume 21 of LIPIcs, pages 190-205. Schloss Dagstuhl
- Leibniz-Zentrum fuer Informatik, 2013.
|
|
[CCS13]
|
Patryk Czarnik, Jacek Chrząszcz, and Aleksy Schubert.
CoJaq: a hierarchical view on the Java bytecode formalised in
Coq.
In Jakub Swacha, editor, Advances in Software Development,
pages 147-157. Polish Information Processing Society, 2013.
|
|
[FS12]
|
Ken-etsu Fujita and Aleksy Schubert.
The undecidability of type related problems in the type-free style
system F with finitely stratified polymorphic types.
Information and Computation, 218:69-87, 2012.
|
|
[CS12]
|
Jacek Chrząszcz and Aleksy Schubert.
ML with PTIME complexity guarantees.
In Patrick Cégielski and Arnaud Durand, editors, Computer
Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference
of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France,
volume 16 of LIPIcs, pages 198-212. Schloss Dagstuhl - Leibniz-Zentrum
fuer Informatik, 2012.
|
|
[CCST12]
|
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, and Andrzej Tarlecki.
Testing of evolving protocols.
In Giuliano Antoniol, Antonia Bertolino, and Yvan Labiche, editors,
2012 IEEE Fifth International Conference on Software Testing,
Verification and Validation, Montreal, QC, Canada, April 17-21, 2012, pages
901-906. IEEE, 2012.
|
|
[BBS12]
|
Viviana Bono, Marcin Benke, and Aleksy Schubert.
Lucretia - a type system for objects in languages with reflection.
CoRR, abs/1206.5112, 2012.
|
|
[CS11]
|
Jacek Chrząszcz and Aleksy Schubert.
The role of polymorphism in the characterisation of complexity by
soft types.
In Proceedings of the 36th international conference on
Mathematical Foundations of Computer Science, number 6907 in Lecture Notes
in Computer Science, pages 219-230, Berlin, Heidelberg, 2011. Springer.
[ http ]
|
|
[PS11]
|
Erik Poll and Aleksy Schubert.
Rigorous specifications of the SSH Transport Layer.
Technical Report ICIS-R11004, Radboud University Nijmegen, 2011.
[ http ]
|
|
[FS11]
|
Ken-etsu Fujita and Aleksy Schubert.
The undecidability of type related problems in type-free style
System F.
Extended version, submitted, 2011.
[ .pdf ]
|
|
[CCS11]
|
Jacek Chrząszcz, Patryk Czarnik, and Aleksy Schubert.
A dozen instructions make Java bytecode.
Electronic Notes in Theoretical Computer Science, 264:19-34,
February 2011.
[ DOI |
http ]
|
|
[FS10b]
|
Ken-etsu Fujita and Aleksy Schubert.
The undecidability of type related problems in type-free style
System F.
In Christopher Lynch, editor, Proceedings of the 21st
International Conference on Rewriting Techniques and Applications, volume 6
of Leibniz International Proceedings in Informatics (LIPIcs), pages
103-118, Dagstuhl, Germany, 2010. Schloss Dagstuhl-Leibniz-Zentrum fuer
Informatik.
[ DOI |
http ]
|
|
[FS10a]
|
Ken-etsu Fujita and Aleksy Schubert.
Existential type systems between Church and Curry style.
Extended version, 2010.
[ .pdf ]
|
|
[FDJS10]
|
Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, and Aleksy Schubert.
Relational abstract domain of weighted hexagons.
Electronic Notes in Theoretical Computer Science,
267(1):59-72, 2010.
[ DOI ]
|
|
[CSS09]
|
Jacek Chrząszcz, Aleksy Schubert, and Tadeusz Sznuk.
Verification and certification of Java classes using BML tools.
Unpublished manuscript, 2009.
|
|
[FS09]
|
Ken-etsu Fujita and Aleksy Schubert.
Existential type systems with no types in terms.
In Pierre-Louis Curien, editor, Typed Lambda Calculi and
Applications, 9th International Conference, TLCA 2009, Brasília, Brazil,
July 1-3, 2009. Proceedings, volume 5608 of Lecture Notes in Computer
Science, pages 112-126. Springer, 2009.
Extended version available as
http://www.mimuw.edu.pl/~alx/papers/existential-chcu.pdf.
|
|
[Sch09]
|
Aleksy Schubert.
The existential fragment of the one-step parallel rewriting theory.
In Ralf Treinen, editor, Rewriting Techniques and Applications,
20th International Conference, RTA 2009, Brasília, Brazil, June 29 -
July 1, 2009, Proceedings, volume 5595 of Lecture Notes in Computer
Science, pages 78-92. Springer, 2009.
[ DOI ]
|
|
[SWC09]
|
Aleksy Schubert and Daria Walukiewicz-Chrząszcz.
The non-interference protection in BML.
Electronic Notes in Theoretical Computer Science, 253:113-127,
December 2009.
[ DOI |
http ]
|
|
[FJS08]
|
J. Fulara, K. Jakubczyk, and A. Schubert.
Supplementing Java bytecode with specifications.
In T. Hruška, L. Madeyski, and M. Ochodek, editors, Software
Engineering Techniques in Progress, pages 215-228. Oficyna Wydawnicza
Politechniki Wroclawskiej, 2008.
|
|
[Sch08]
|
Aleksy Schubert.
On the building of affine retractions.
Mathematical Structures in Computer Science, 18(4):753-793,
2008.
[ DOI ]
|
|
[CHS08]
|
Jacek Chrząszcz, Marieke Huisman, and Aleksy Schubert.
BML and related tools.
In Frank S. de Boer, Marcello M. Bonsangue, and Eric Madelain,
editors, Formal Methods for Components and Objects, 7th International
Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures, volume 5751 of Lecture Notes in Computer Science, pages
278-297. Springer, 2008.
|
|
[CS08]
|
Patryk Czarnik and Aleksy Schubert.
Extending operational semantics of the Java bytecode.
In Gilles Barthe and Cédric Fournet, editors, Trustworthy
Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France,
November 5-6, 2007, Revised Selected Papers, volume 4912 of Lecture
Notes in Computer Science, pages 57-72. Springer, 2008.
|
|
[SCB+08]
|
Aleksy Schubert, Jacek Chrząszcz, Tomasz Batkiewicz, Jaroslaw Paszek,
and Wojciech Wąs.
Technical aspects of class specification in the byte code of Java
language.
In Bytecode'08 proceedings, Electronic Notes in Theoretical
Computer Science, 2008.
to appear.
|
|
[HPS08]
|
Christian Haack, Erik Poll, and Aleksy Schubert.
Explicit information flow properties in JML.
In 3rd Benelux Workshop on Information and System Security,
2008.
informal proceedings.
|
|
[CKST08]
|
Jacek Chrząszcz, Lukasz Kamiński, Aleksy Schubert, and Andrzej
Tarlecki.
Stworzenie definicji pojecia funkcyjności dla jezyka java.
Technical report, University of Warsaw, 2008.
in Polish, the English title Design of a defnition of functional
methods for Java programming language, Opracowane w ramach projektu WKP
1/1.4.1/1/2006/92/92/647/2007/U, Nowatorski system zintegrowanej
kontroli jakosści i detekcji bledów w oprogramowaniu.
[ .pdf ]
|
|
[HPSS07]
|
Christian Haack, Erik Poll, Jan Schäfer, and Aleksy Schubert.
Immutable objects for a Java-like language.
In Rocco De Nicola, editor, Programming Languages and Systems,
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint
European Conferences on Theory and Practics of Software, ETAPS 2007, Braga,
Portugal, March 24 - April 1, 2007, Proceedings, volume 4421 of Lecture
Notes in Computer Science, pages 347-362. Springer, 2007.
|
|
[PS07]
|
Erik Poll and Aleksy Schubert.
Verifying an implementation of SSH.
In Proceedings on WITS'2007, 2007.
[ .pdf ]
|
|
[CSGSS07]
|
Jacek Chrząszcz, Tomasz Stachowicz, Andrzej Gąsienica-Samek, and Aleksy
Schubert.
Minik: A tool for maintaining proper Java code structure.
In Krzysztof Sacha, editor, Software Engineering Techniques:
Design for Quality, volume Volume 227/2007 of IFIP International
Federation for Information Processing, pages 361-371. Springer, 2007.
|
|
[CFJ+06]
|
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz,
Jacek Chrząszcz, Lukasz Kamiński, and Aleksy Schubert.
Propagation of JML non-null annotations in Java programs.
In PPPJ '06: Proceedings of the 4th international symposium on
Principles and practice of programming in Java, pages 135-140, New York,
NY, USA, 2006. ACM Press.
[ DOI ]
|
|
[SC06]
|
Aleksy Schubert and Jacek Chrząszcz.
ESC/Java2 as a tool to ensure security in the source code of Java
applications.
In Krzysztof Sacha, editor, Software Engineering Techniques:
Design for Quality, volume 227/2006 of IFIP International Federation
for Information Processing, pages 337-348. Springer, 2006.
Available PDF with a preliminary version.
[ .pdf ]
|
|
[GSSCS06]
|
Andrzej Gąsienica-Samek, Tomasz Stachowicz, Jacek Chrząszcz, and Aleksy
Schubert.
KOTEK: Clustering of the enterprise code.
In Krzysztof Zielinski and Tomasz Szmuc, editors, Software
Engineering: Evolution and Emerging Technologies, volume 130, pages
412-417. IOS Press, 2006.
|
|
[HPS06]
|
Christian Haack, Erik Poll, and Aleksy Schubert.
Immutable objects in Java.
Technical report, Radboud University Nijmegen, Department of Computer
Science, 2006.
|
|
[Sch01a]
|
Aleksy Schubert.
The complexity of β-reduction in low orders.
In Samson Abramsky, editor, Typed Lambda Calculi and
Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May
2-5, 2001, Proceedings, volume 2044 of Lecture Notes in Computer
Science, pages 400-414. Springer, 2001.
Available preliminary version.
[ .pdf ]
|
|
[Sch01b]
|
Aleksy Schubert.
Zastosowanie unifikacji do problemów wyprowadzania typów.
PhD thesis, The University of Warsaw, 2001.
In Polish.
[ .pdf ]
|
|
[Sch00]
|
Aleksy Schubert.
Type inference for first order logic.
In Jerzy Tiuryn, editor, Proceedings of Foundations of Software
Science and Computation Structures, volume 1784 of Lecture Notes in
Computer Science, pages 297-314. Springer, 2000.
|
|
[FS00]
|
Ken-etsu Fujita and Aleksy Schubert.
Partially typed terms between Church-style and Curry-style.
In Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses,
and Takayasu Ito, editors, Theoretical Computer Science, Exploring New
Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000,
Sendai, Japan, August 17-19, 2000, Proceedings, volume 1872 of Lecture
Notes in Computer Science, pages 505-520. Springer, 2000.
|