• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
May 25, 2026
HSE Scientists Train Neural Network to 'Hear' Faults in Electric Motors
Researchers at the AI and Digital Science Institute of the HSE Faculty of Computer Science have developed a new method—the Signature-Guided Data Augmentation (SGDA) framework—that achieves 99% accuracy in motor fault detection and 86% accuracy in fault classification. The application of this approach can reduce industrial equipment repair costs, minimise downtime, and improve production safety. The study results have been published in Engineering Applications of Artificial Intelligence.
May 25, 2026
'The Humanities Serve as a Conscience'
Maria Mizernaia studies Soviet literature and the history of book publishing. In this interview for the HSE Young Scientists project, she discusses plans to publish a novel about besieged Leningrad, AI-provoked reflections on what it means to be human, and how novels can help satisfy our dopamine hunger.
May 25, 2026
Is It Possible to Predict a Citys Life Based on the Shape of Its Neighbourhoods?
Is it possible to predict, based on the configuration of streets and buildings, where a café will open or where traffic congestion will occur? Participants in the Spatial Analysis and Modelling of Urban Processes research and study group use open data and machine learning to identify universal patterns. Alexander Sheludkov and Eduard Somov discuss the purpose of comparing cities, the need for new forms of urban statistics, and how open data is transforming approaches to urban studies.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4

Netherlands : Springer, 2018.
Editor-in-chief: S. R. Sukyoung Ryu:

The 16th Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2018 will be held in Wellington, New Zealand on the 2nd – 7th December 2018.

This year, APLAS 2018 will include a Student Research Competition and a Poster Track. On Sunday 2nd of December we will host the New Ideas and Emerging Results (NIER) Workshop.  On Thursday 6th December we will also be hosting the Sydney Area Programming Languages Interest Group (SAPLING) meeting which we encourage the local industry to attend.

 

Chapters
On the Complexity of Pointer Arithmetic in Separation Logic.
Brotherston J., Kanovich M., , in: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4.: Netherlands: Springer, 2018. P. 329–349.
Added: December 5, 2018
Language: English
Keywords: computer scienceComputer Science Applications
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4
Similar publications
RatanSunPy: A robust preprocessing pipeline for RATAN-600 solar radio observations data
Князева И., Лысов И. И., Курочкин Е. et al., Astronomy and Computing 2025 Vol. 51 P. 100918–0
The advancement of observational technologies and software for processing and visualizing spectro-polarimetric microwave data obtained with the RATAN-600 radio telescope opens new opportunities for studying the physical characteristics of solar plasma at the levels of the chromosphere and corona. These levels remain some difficult to detect in the ultraviolet and X-ray ranges. The development of ...
Added: December 10, 2024
Proceedings of the Workshop on Mathematical Modeling and Scientific Computing: Focus on Complex Processes and Systems — dedicated to the memory of Nikolai Botkin (MMSC 2020)
CEUR Workshop Proceedings, 2020.
Added: November 18, 2021
Mathematical Structures in Computer Science
Kanovich M., Kuznetsov S., Scedrov A. et al., Cambridge University Press, 2019.
Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with ...
Added: February 5, 2021
Proceedings 16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020. Lecture Notes in Computer Science
Springer Publishing Company, 2020.
This book constitutes the proceedings of the 16th International Symposium on Bioinformatics Research and Applications, ISBRA 2020, held in Moscow, Russia, in December 2020. The 23 full papers and 18 short papers presented in this book were carefully reviewed and selected from 131 submissions. They were organized in topical sections named: genome analysis; systems biology; computational ...
Added: November 3, 2020
23rd Conference of Open Innovations Association FRUCT, FRUCT 2018
IEEE Computer Society, 2018.
23rd IEEE FRUCT Conference. ...
Added: November 1, 2020
Artificial Intelligence and Natural Language. AINL 2020. Communications in Computer and Information Science
Springer, 2020.
Added: September 8, 2020
Cascade Heap: Towards Time-Optimal Extractions
Babenko M. A., Kolesnichenko I., Smirnov I., Theory of Computing Systems 2019 Vol. 63 No. 4 P. 637–646
Heaps are well-studied fundamental data structures, having myriads of applications, both theoretical and practical. We consider the problem of designing a heap with an “optimal” extract-min operation. Assuming an arbitrary linear ordering of keys, a heap with n elements typically takes O(log n) time to extract the minimum. Extracting all elements faster is impossible as ...
Added: December 6, 2019
14th International Scientific-Technical Conference on Actual Problems of Electronic Instrument Engineering, APEIE 2018
Novosibirsk: IEEE, 2018.
Added: April 23, 2019
Towards a socio-inspired multiagent approach for new generation of product life cycle management
Taratukhin Victor, Yadgarova Y., Procedia Computer Science 2018 Vol. 123
Added: February 18, 2019
Communications in Computer and Information Science
Springer, 2017.
The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic form. While the focus is on publication of peer-reviewed full papers presenting mature work, inclusion of reviewed short papers reporting on work in progress is welcome, ...
Added: February 13, 2019
International Conference on Formal Grammar FG 2018: Formal Grammar 2018
Netherlands: Springer, 2018.
The Formal Grammar conference series (FG) provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics, and the application of formal and mathematical methods to the study of natural language. Themes of interest include, but are not limited to: – Formal and computational phonology, morphology, syntax, semantics, and pragmatics – Model-theoretic and proof-theoretic methods in ...
Added: December 5, 2018
On the Complexity of Pointer Arithmetic in Separation Logic.
Brotherston J., Kanovich M., , in: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4.: Netherlands: Springer, 2018. P. 329–349.
Added: December 5, 2018
A Logical Framework with Commutative and Non-commutative Subexponentials
Kanovich M., Kuznetsov S., Nigam V. et al., , in: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.: Springer, 2018. P. 228–245.
Abstract Logical frameworks allow the specification of deductive systems using the same logical machinery. Linear logical frameworks have been successfully used for the specification of a number of computational, logics and proof systems. Its success relies on the fact that formulas can be distinguished as linear, which behave intuitively as resources, and unbounded, which behave intuitionistically. ...
Added: November 1, 2018
Proceedings of 2017 VI-th International Conference on Engineering and Telecommunication (EnT) 29-30 Nov. 2017
IEEE Computer Society, 2017.
PROCEEDINGS 2017 Fourth International Conference on Engineering and Telecommunication ...
Added: October 4, 2018
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science
Springer, 2018.
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers The Ershov Informatics Conference Perspectives of System Informatics (in the PSI Conference Series) is the premier international forum in Russia for research and applications in computer, software, and information sciences. The conference brings together academic and industrial researchers, ...
Added: April 7, 2017
Procedia Computer Science
Elsevier, 2016.
Special issue of Elsevier’s Procedia Computer Science, which consists of the proceedings of the 20th International Conference on Knowledge - Based and Intelligent Information & Engineering Systems (KES2016) which was organised by KES International and held on September 5th to 7th, 2016 in York, United Kingdom. Celebrating 20 years of KES conferences, KES2016 was the ...
Added: February 19, 2017
Communications in Computer and Information Science
Springer, 2016.
The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic form. While the focus is on publication of peer-reviewed full papers presenting mature work, inclusion of reviewed short papers reporting on work in progress is welcome, ...
Added: December 15, 2016
The undecidability theorem for the Horn-like fragment of linear logic (Revisited).
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744
In their seminal paper: Lincoln, P., Mitchell, J., Scedrov, A. and Shankar, N. (1992). Decision problems for propositional linear logic. Annals of Pure and Applied Logic 56 (1–3) 239–311, LMSS have established an extremely surprising result that propositional linear logic is undecidable. Their proof is very complex and involves numerous nested inductions of different kinds. Later an alternative ...
Added: September 1, 2016
Проблема выбора языка для начала обучения программированию в техническом ВУЗе
Pavolotsky A. V., Korolev D., Левицкая Н. И., Качество. Инновации. Образование 2015 № 12 С. 23–31
In the article the language choice problem to start programming training in universities for computer science programs is considered. Examples illustrating the difficulties with which both teachers and students meet during learning top five languages list according to the TIOBE site are given and also the statistics received from different universities open sources is analyzed. ...
Added: February 10, 2016
Modern Information Technologies in Environmental Sciences: Climate Wikience
Rodriges Zalipynis R. A., Ivashchuk O. A., Konstantinov I. S., , in: Proceedings of the 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS).: IEEE, 2015. P. 593–597.
Climate Wikience is a desktop application for fast 3D visualization and analysis of retrospective climate reanalysis and Earth remote sensing data. For its several distinct features and certain tasks an analyst may prefer it to other tools. The features include rich collection of environmental variables readily available “out-of-the-box’, one-click 3D visualization of any of them regardless of their storage formats and coordinate ...
Added: October 28, 2015
Proceedings of the 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)
IEEE, 2015.
September 24-26, 2015 Warsaw, Poland ORGANIZED BY IEEE Ukraine Section I&M / CI Joint Societies Chapter Research Institute for Intelligent Computer Systems, Ternopil National Economic University and V.M. Glushkov Institute of Cybernetics, National Academy for Sciences of Ukraine Warsaw University of Technology Faculty of Electronics and Information Technology Faculty of Mathematics and Information Science Peer reviewed, indexed by Scopus ...
Added: October 28, 2015
Материалы V международной научно-технической конференции «Моделирование и компьютерная графика»
Донецк: Донецкий национальный технический университет, 2013.
В сборнике представлены доклады ученых в области компьютерной графики, обработки изображений, численных методов, моделирования сложных динамических систем. Приведены результаты исследований, связанных с разработкой аппаратного, программного и алгоритмического обеспечения средств компьютерной графики, численных методов, параллельного моделирования сложных динамических систем, моделирования и проектирования средств вычислительной техники. Рассматриваются вопросы применения компьютерной графики и моделирования в САПР и экономике. ...
Added: October 26, 2015
Материалы Всеукраинской науч.-техн. конф. «Информационные управляющие системы и компьютерный мониторинг»
Донецк: Донецкий национальный технический университет, 2014.
Results of scientific research and development works are published in collected papers in following fields: modern information technologies, computer monitoring, artificial intelligence, simulation, digital device development, diagnostic expert systems, usage of intelligent data analysis methods, Web-technologies. ...
Added: October 23, 2015
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit