Aleksy Schubert

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jacek Chrzaszcz

> Home > Persons > Aleksy Schubert

Publications

2018
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/CzarnikCS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/CzarnikCS18
Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert:
A Java Bytecode Formalisation. VSTTE 2018: 135-154
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-05342
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-05342
Aleksy Schubert, Jacek Chrzaszcz:
Formalisation of a frame stack semantics for a Java-like language. CoRR abs/1808.05342 (2018)
2017
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ChrzaszczS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ChrzaszczS17
Jacek Chrzaszcz, Aleksy Schubert:
Function definitions for compound values in object-oriented languages. PPDP 2017: 61-72
2016
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ChrzaszczS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChrzaszczS16
Jacek Chrzaszcz, Aleksy Schubert:
The role of polymorphism in the characterisation of complexity by soft types. Inf. Comput. 248: 130-149 (2016)
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/types/ChrzaszczSZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/ChrzaszczSZ16
Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski:
Coq Support in HAHA. TYPES 2016: 8:1-8:26
2015
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/ZielenkiewiczCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/ZielenkiewiczCS15
Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert:
Java Loops Are Mainly Polynomial. SOFSEM 2015: 603-614
2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZielenkiewiczSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZielenkiewiczSC14
Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz:
On multiply-exponential write-once Turing machines. CoRR abs/1407.7592 (2014)
2012
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/ChrzaszczS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ChrzaszczS12
Jacek Chrzaszcz, Aleksy Schubert:
ML with PTIME complexity guarantees. CSL 2012: 198-212
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ChrzaszczCST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ChrzaszczCST12
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki:
Testing of Evolving Protocols. ICST 2012: 901-906
2011
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/ChrzaszczS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ChrzaszczS11
Jacek Chrzaszcz, Aleksy Schubert:
The Role of Polymorphism in the Characterisation of Complexity by Soft Types. MFCS 2011: 219-230
2010
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ChrzaszczCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChrzaszczCS11
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert:
A Dozen Instructions Make Java Bytecode. Bytecode@ETAPS 2010: 19-34
2008
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/ChrzaszczHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/ChrzaszczHS08
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert:
BML and Related Tools. FMCO 2008: 278-297
2006
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip2/SchubertC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/SchubertC06
Aleksy Schubert, Jacek Chrzaszcz:
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. SET 2006: 337-348
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip2/ChrzaszczSGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/ChrzaszczSGS06
Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert:
Minik: A Tool for Maintaining Proper Java Code Structure. SET 2006: 361-371
2005
[p1]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - series/faia/Gasienica-SamekSCS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Gasienica-SamekSCS05
Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert:
KOTEK: Clustering Of The Enterprise Code. Software Engineering: Evolution and Emerging Technologies 2005: 412-417

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.