BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Portugal
1 × The Netherlands
1 × USA
2 × Brazil
2 × France
2 × Germany
2 × Poland
2 × United Kingdom
Collaborated with:
K.Fujita J.Chrzaszcz T.Sznuk W.Dekkers H.P.Barendregt P.Urzyczyn K.Zdanowski P.Czarnik A.Tarlecki C.Haack E.Poll J.Schäfer
Talks about:
type (6) order (5) style (4) logic (3) existenti (2) problem (2) languag (2) complex (2) system (2) object (2)

Person: Aleksy Schubert

DBLP DBLP: Schubert:Aleksy

Contributed to:

CSL 20152015
FoSSaCS 20152015
SEFM 20142014
RTA 20132013
CSL 20122012
ICST 20122012
RTA 20102010
RTA 20092009
TLCA 20092009
ESOP 20072007
CSL 20042004
TLCA 20012001
FoSSaCS 20002000
POPL 19981998
PPDP 20172017

Wrote 16 papers:

CSL-2015-SchubertDB #automaton #proving
Automata Theoretic Account of Proof Search (AS, WD, HPB), pp. 128–143.
FoSSaCS-2015-SchubertUZ #first-order #logic #on the
On the Mints Hierarchy in First-Order Intuitionistic Logic (AS, PU, KZ), pp. 451–465.
SEFM-2014-SznukS #education #hoare #logic #tool support
Tool Support for Teaching Hoare Logic (TS, AS), pp. 332–346.
RTA-2013-FujitaS #decidability
Decidable structures between Church-style and Curry-style (KeF, AS), pp. 190–205.
CSL-2012-ChrzaszczS #complexity #ml
ML with PTIME complexity guarantees (JC, AS), pp. 198–212.
ICST-2012-ChrzaszczCST #evolution #protocol #testing
Testing of Evolving Protocols (JC, PC, AS, AT), pp. 901–906.
RTA-2010-FujitaS #problem #system f
The Undecidability of Type Related Problems in Type-free Style System F (KeF, AS), pp. 103–118.
RTA-2009-Schubert #parallel
The Existential Fragment of the One-Step Parallel Rewriting Theory (AS), pp. 78–92.
TLCA-2009-FujitaS #type system
Existential Type Systems with No Types in Terms (KeF, AS), pp. 112–126.
ESOP-2007-HaackPSS #java
Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.
CSL-2004-Schubert #on the
On the Building of Affine Retractions (AS), pp. 205–219.
TLCA-2001-Schubert #complexity #order
The Complexity of β-Reduction in Low Orders (AS), pp. 400–414.
FoSSaCS-2000-Schubert #first-order #logic #type inference
Type Inference for First-Order Logic (AS), pp. 297–313.
POPL-1998-Schubert #higher-order #morphism #polymorphism #type inference #unification
Second-Order Unification and Type Inference for Church-Style Polymorphism (AS), pp. 279–288.
TAPSOFT-1997-Schubert #higher-order #linear #problem
Linear Interpolation for the Higher-Order Matching Problem (AS), pp. 441–452.
PPDP-2017-ChrzaszczS #object-oriented
Function definitions for compound values in object-oriented languages (JC, AS), pp. 61–72.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.