Aleksy Schubert's papers
Recent publications
2007
- Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert, Immutable Objects for a Java-like Language, to be published in Proceedings of ESOP'2007, Springer LNCS
- Erik Poll, Aleksy Schubert, Verifying an implementation of SSH, PDF with a preliminary version, to be published in Proceedings on WITS'2007
2006
- Maciej Cielecki, Jędrzej Fulara, Krzysztof Jakubczyk, Łukasz Jancewicz, Jacek Chrz±szcz, Łukasz Kamiński, Aleksy Schubert, Propagation of JML non-null annotations in Java programs. In: Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java (Mannheim, Germany, August 30 - September 01, 2006). PPPJ'06, vol. 178. ACM Press, New York
- Aleksy Schubert, Jacek Chrzaszcz, ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications, to be published in Proceedings of Conference on Software Engineering Techniques - SET'2006, Springer, a PDF with preliminary version,
- Aleksy Schubert, Było smaszno (an essay on a translation of Lewis Carroll's Jabberwocky into Polish), no 16 (1/2006), Jagiellonian University, Kraków, Poland
- Jacek Chrz±szcz, Tomasz Stachowicz, Andrzej G±sienica-Samek, Aleksy Schubert, Minik: A Tool for Maintaining Proper Java Code Structure, to be published in Proceedings of Conference on Software Engineering Techniques - SET'2006, Springer
- Christian Haack, Erik Poll, Aleksy Schubert, Immutable objects in Java, technical report, Radboud University Nijmegen, Department of Computer Science
2005
- Aleksy Schubert, A self-dependency constraint in the simply typed lambda calculus, Fundamentals of Computation Theory, 15th Internationas Symposium, FCT 2005, Lubeck, Germany, August 17-20, 2005 Proceedings (M. Liskiewicz, R. Reischuk ed.), LNCS 3623, Springer
- Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert, KOTEK: Clustering of The Enterprise Code, w Software Engineering: Evolution and Emerging Technologies, Krajowa Konferencja Inzynierii Oprogramowania, pp 412--417, ed. Krzysztof Zielinski, Tomasz Szmuc, Vol 130, IOS Press, Amsterdam
2004
- Aleksy Schubert, On the Building of Affine Retractions, Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings (J. Marcinkowski, A. Tarlecki eds.), LNCS 3210, Springer
2001
- Aleksy Schubert, The complexity of beta-reduction in low orders, Proceedings of Typed Lambda Calculi and Applications (Samson Abramsky, ed.), LNCS 2044, pp. 400--414, Springer Verlag, 2001.
2000
- Aleksy Schubert, Type inference for first order logic Foundations of Software Science and Computation Structures, Berlin, Germany, 2000, Proceedings. LNCS 1784, pp 297--313, Springer Verlag.
- Ken-etsu Fujita, Aleksy Schubert, Partially typed terms between Church-style and Curry-style Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. (Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses and Takayasu Ito, eds), LNCS 1872, Springer Verlag, pp. 505--520.
1998
- Aleksy Schubert, Second-Order Unification and Type Inference for Church-Style Polymorphism, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 19-21, 1998, San Diego, CA, USA. ACM Press, 1998 a preliminary version, a simplified version - intuitions, no proofs
1996
- Aleksy Schubert, Linear interpolation for the higher order matching problem, TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, LNCS 1214, Springer a preliminary version
- Marcin Jurdzinski, Mikolaj Konarski, Aleksy Schubert, The EML-Kit, Version 1, Technical Report of Institute of Informatics, Warsaw University, TR 96-04 (225); a postscript.
Recently written papers
- Aleksy Schubert, Daria Walukiewicz-Chrz±szcz XSLT and Automata with Equality Constraints, PDF with a preliminary version
- Aleksy Schubert, Daria Walukiewicz-Chrz±szcz The Non-Interference Protection in a Program Logic, PDF with a preliminary version
- Aleksy Schubert, The existential fragment of the one-step parallel rewriting theory is undecidable, PDF with a preliminary version
- Erik Poll, Aleksy Schubert, Security protocols from the sofware verification perspective PDF with a preliminary version
Minor notes
- Aleksy Schubert, Java Virtual Machine restrictions for the mobile platform, PDF
