×

zbMATH — the first resource for mathematics

Schubert, Aleksy

Compute Distance To:
Author ID: schubert.aleksy Recent zbMATH articles by "Schubert, Aleksy"
Published as: Schubert, A.; Schubert, Aleksy
External Links: MGP
Documents Indexed: 34 Publications since 1998, including 1 Book

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 120 times in 108 Documents Cited by Year
Evolution of the social network of scientific collaborations. Zbl 0996.91086
Barabási, A. L.; Jeong, H.; Néda, Z.; Ravasz, E.; Schubert, A.; Vicsek, T.
82
2002
Partially typed terms between Church-style and Curry-style. Zbl 0998.03009
Fujita, Ken-Etsu; Schubert, Aleksy
5
2000
Relational abstract domain of weighted hexagons. Zbl 1342.68082
Fulara, Jędrzej; Durnoga, Konrad; Jakubczyk, Krzysztof; Schubert, Aleksy
4
2010
Existential type systems with no types in terms. Zbl 1246.03028
Fujita, Ken-etsu; Schubert, Aleksy
4
2009
The complexity of \(\beta\)-reduction in low orders. Zbl 0981.68025
Schubert, Aleksy
4
2001
Automata theoretic account of proof search. Zbl 1434.03060
Schubert, Aleksy; Dekkers, Wil; Barendregt, Henk P.
2
2015
Restricted positive quantification is not elementary. Zbl 1434.03021
Schubert, Aleksy; Urzyczyn, Pawel; Walukiewicz-Chrzaszcz, Daria
2
2015
On the Mints hierarchy in first-order intuitionistic logic. Zbl 06488009
Schubert, Aleksy; Urzyczyn, Paweł; Zdanowski, Konrad
2
2015
The undecidability of type related problems in type-free style system F. Zbl 1236.68128
Fujita, Ken-Etsu; Schubert, Aleksy
2
2010
Progress of automatic drug delivery in anaesthesia – the ‘Rostock assistant system for anaesthesia control (RAN)’. Zbl 1168.92315
Simanski, O.; Janda, M.; Schubert, A.; Bajorat, J.; Hofmockel, R.; Lampe, B.
2
2009
Networks in life: Scaling properties and eigenvalue spectra. Zbl 1001.92025
Farkas, I.; Derényi, I.; Jeong, H.; Néda, Z.; Oltvai, Z. N.; Ravasz, E.; Schubert, A.; Barabási, A.-L.; Vicsek, T.
2
2002
First-order answer set programming as constructive proof search. Zbl 1451.68067
Schubert, Aleksy; Urzyczyn, Paweł
1
2018
Answer set programming in intuitionistic logic. Zbl 1437.68037
Schubert, Aleksy; Urzyczyn, Paweł
1
2018
Automata theory approach to predicate intuitionistic logic. Zbl 06791235
Zielenkiewicz, Maciej; Schubert, Aleksy
1
2017
How hard is positive quantification? Zbl 1367.03021
Schubert, Aleksy; Urzyczyn, Paweł; Walukiewicz-Chrząszcz, Daria
1
2016
On the Mints hierarchy in first-order intuitionistic logic. Zbl 1445.03008
Schubert, Aleksy; Urzyczyn, Paweł; Zdanowski, Konrad
1
2016
Existential type systems between Church and Curry style (type-free style). Zbl 1393.03004
Fujita, Ken-etsu; Schubert, Aleksy
1
2014
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types. Zbl 1283.03063
Fujita, Ken-etsu; Schubert, Aleksy
1
2012
ML with PTIME complexity guarantees. Zbl 1252.68063
Chrzaszcz, Jacek; Schubert, Aleksy
1
2012
The role of polymorphism in the characterisation of complexity by soft types. Zbl 1343.68082
Chrząszcz, Jacek; Schubert, Aleksy
1
2011
First-order answer set programming as constructive proof search. Zbl 1451.68067
Schubert, Aleksy; Urzyczyn, Paweł
1
2018
Answer set programming in intuitionistic logic. Zbl 1437.68037
Schubert, Aleksy; Urzyczyn, Paweł
1
2018
Automata theory approach to predicate intuitionistic logic. Zbl 06791235
Zielenkiewicz, Maciej; Schubert, Aleksy
1
2017
How hard is positive quantification? Zbl 1367.03021
Schubert, Aleksy; Urzyczyn, Paweł; Walukiewicz-Chrząszcz, Daria
1
2016
On the Mints hierarchy in first-order intuitionistic logic. Zbl 1445.03008
Schubert, Aleksy; Urzyczyn, Paweł; Zdanowski, Konrad
1
2016
Automata theoretic account of proof search. Zbl 1434.03060
Schubert, Aleksy; Dekkers, Wil; Barendregt, Henk P.
2
2015
Restricted positive quantification is not elementary. Zbl 1434.03021
Schubert, Aleksy; Urzyczyn, Pawel; Walukiewicz-Chrzaszcz, Daria
2
2015
On the Mints hierarchy in first-order intuitionistic logic. Zbl 06488009
Schubert, Aleksy; Urzyczyn, Paweł; Zdanowski, Konrad
2
2015
Existential type systems between Church and Curry style (type-free style). Zbl 1393.03004
Fujita, Ken-etsu; Schubert, Aleksy
1
2014
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types. Zbl 1283.03063
Fujita, Ken-etsu; Schubert, Aleksy
1
2012
ML with PTIME complexity guarantees. Zbl 1252.68063
Chrzaszcz, Jacek; Schubert, Aleksy
1
2012
The role of polymorphism in the characterisation of complexity by soft types. Zbl 1343.68082
Chrząszcz, Jacek; Schubert, Aleksy
1
2011
Relational abstract domain of weighted hexagons. Zbl 1342.68082
Fulara, Jędrzej; Durnoga, Konrad; Jakubczyk, Krzysztof; Schubert, Aleksy
4
2010
The undecidability of type related problems in type-free style system F. Zbl 1236.68128
Fujita, Ken-Etsu; Schubert, Aleksy
2
2010
Existential type systems with no types in terms. Zbl 1246.03028
Fujita, Ken-etsu; Schubert, Aleksy
4
2009
Progress of automatic drug delivery in anaesthesia – the ‘Rostock assistant system for anaesthesia control (RAN)’. Zbl 1168.92315
Simanski, O.; Janda, M.; Schubert, A.; Bajorat, J.; Hofmockel, R.; Lampe, B.
2
2009
Evolution of the social network of scientific collaborations. Zbl 0996.91086
Barabási, A. L.; Jeong, H.; Néda, Z.; Ravasz, E.; Schubert, A.; Vicsek, T.
82
2002
Networks in life: Scaling properties and eigenvalue spectra. Zbl 1001.92025
Farkas, I.; Derényi, I.; Jeong, H.; Néda, Z.; Oltvai, Z. N.; Ravasz, E.; Schubert, A.; Barabási, A.-L.; Vicsek, T.
2
2002
The complexity of \(\beta\)-reduction in low orders. Zbl 0981.68025
Schubert, Aleksy
4
2001
Partially typed terms between Church-style and Curry-style. Zbl 0998.03009
Fujita, Ken-Etsu; Schubert, Aleksy
5
2000
all top 5

Cited by 314 Authors

8 Schubert, Aleksy
5 Fujita, Ken-etsu
4 Jiang, Yaolin
4 Li, Hongli
4 Teng, Zhi-dong
3 Urzyczyn, Paweł
3 Wen, Guanghui
3 Wu, Weili
3 Yang, Xinsong
2 Cao, Jinde
2 Fan, Lidan
2 Geng, Xianmin
2 Hu, Cheng
2 Li, Deying
2 Lu, Zaixin
2 Ma, Huan
2 Wang, Zuolei
2 Zeng, An
2 Zhu, Yuqing
1 Aggarwal, Charu C.
1 Alava, Mikko J.
1 Albert, Réka
1 Alim, Md Abdul
1 Alves, Gilvan A.
1 Alves, Sandra
1 Alves, T. F. A.
1 Amato, Gianluca
1 An, Haizhong
1 Andrikopoulos, Andreas P.
1 Ausloos, Marcel R.
1 Axhausen, Kay W.
1 Baillot, Patrick
1 Basold, Henning
1 Bauch, Chris T.
1 Benedikt, Michael A.
1 Bhattacharyya, Samit
1 Bingol, Haluk O.
1 Blanchard, Philippe
1 Boccara, Nino
1 Boley, Daniel L.
1 Bollobás, Béla
1 Boss, Michael
1 Bouaziz, Mehdi
1 Broda, Sabine
1 Brummitt, Charles D.
1 Buccafurri, Francesco
1 Cannella, Salvatore
1 Carayol, Nocolas
1 Celant, Simone
1 Cetin, Burak
1 Chandra, Anjan Kumar
1 Chang, Hui
1 Chatterjee, Shirshendu
1 Chavalitwongse, Wanpracha Art
1 Chen, Guo
1 Chen, Hsinchun
1 Chen, Kun
1 Chen, Lichao
1 Chen, Saran
1 Chen, Weisheng
1 Chen, Xumin
1 Christensen, Claire
1 Chrząszcz, Jacek
1 Cooley, Oliver
1 Cui, Wentian
1 Curzi, Gianluca
1 Czajka, Łukasz
1 Dai, Hao
1 Das, Pratap Kumar
1 De Benedetti, Erika
1 Dehmer, Matthias
1 Dey, Partha Sarathi
1 Di, Zengru
1 Dinh, Thang N.
1 Dominguez, Roberto
1 Dong, Zhaoyang
1 d’Onofrio, Alberto
1 Du, Ding-Zhu
1 Duan, Zhisheng
1 Dumont, Guy A.
1 Elsinger, Helmut
1 Emmert-Streib, Frank
1 Erath, Alexander
1 Espírito Santo, José
1 Fan, Rong
1 Fan, Ying
1 Fan, Zhiping
1 Fang, Lujun
1 Fang, Wei
1 Feng, Xiaomei
1 Fleming, Lee
1 Framinan, Jose M.
1 Frenken, Koen
1 Fulara, Jędrzej
1 Gałązka, Marek
1 Galtier, Jérôme
1 Gao, Michael
1 Garza-González, Eliezer
1 Gel, Yulia R.
1 Gligor, Mircea
...and 214 more Authors
all top 5

Cited in 61 Serials

10 International Journal of Modern Physics C
5 Information and Computation
4 Applied Mathematics and Computation
4 Theoretical Computer Science
3 Journal of Statistical Physics
3 Physica A
3 Physics Reports
3 Chaos, Solitons and Fractals
3 Advances in Complex Systems
3 Journal of Statistical Mechanics: Theory and Experiment
3 The European Physical Journal B. Condensed Matter and Complex Systems
2 Journal of the Franklin Institute
2 Neural Networks
2 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
2 Nonlinear Dynamics
2 Chaos
2 Communications in Nonlinear Science and Numerical Simulation
2 Theory and Practice of Logic Programming
1 ACM Computing Surveys
1 The Canadian Journal of Statistics
1 Discrete Applied Mathematics
1 Information Processing Letters
1 Letters in Mathematical Physics
1 Information Sciences
1 Journal of Applied Probability
1 Journal of Econometrics
1 The Journal of Mathematical Sociology
1 Mathematics and Computers in Simulation
1 Theory and Decision
1 Journal of Symbolic Computation
1 Computers & Operations Research
1 Journal of Automated Reasoning
1 International Journal of Adaptive Control and Signal Processing
1 The Annals of Applied Probability
1 MSCS. Mathematical Structures in Computer Science
1 Applied Mathematical Modelling
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 Proceedings of the National Academy of Sciences of the United States of America
1 Journal of Knot Theory and its Ramifications
1 Computational Economics
1 Journal of Mathematical Sciences (New York)
1 Complexity
1 Computational & Mathematical Organization Theory
1 INFORMS Journal on Computing
1 Abstract and Applied Analysis
1 Soft Computing
1 Journal of Combinatorial Optimization
1 Fractional Calculus & Applied Analysis
1 RAIRO. Theoretical Informatics and Applications
1 Nonlinear Analysis. Real World Applications
1 Quantitative Finance
1 Journal of Systems Science and Complexity
1 Journal of Applied Mathematics
1 ACM Transactions on Computational Logic
1 Networks and Spatial Economics
1 ALEA. Latin American Journal of Probability and Mathematical Statistics
1 Optimization Letters
1 Logical Methods in Computer Science
1 Advances in Mathematical Physics

Citations by Year