BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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
TAPSOFT CAAP/FASE 19971997
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.