default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th Ershov Memorial Conference 2014: St. Petersburg, Russia
- Andrei Voronkov, Irina B. Virbitskaite:
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8974, Springer 2015, ISBN 978-3-662-46822-7 - Gabriel Ciobanu
, Ross Horne, Vladimiro Sassone:
Descriptive Types for Linked Data Resources. 1-25 - Edmund M. Clarke, Qinsi Wang:
25 Years of Model Checking. 26-40 - Vadim E. Kotov:
Big Data, Big Systems, Big Challenges: A Personal Experience - (Extended Abstract). 41-44 - Bertrand Meyer:
An Automatic Technique for Static Deadlock Prevention. 45-58 - Michael Dever, Geoff W. Hamilton:
Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs. 59-66 - Ioan Dragan, Laura Kovács:
Lingva: Generating and Proving Program Properties Using Symbol Elimination. 67-75 - Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin:
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. 76-91 - Pavel G. Emelyanov, Denis K. Ponomaryov:
On Tractability of Disjoint AND-Decomposition of Boolean Formulas. 92-101 - Natalia Olegovna Garanina, Elena A. Sidorova, Eugene V. Bodin:
A Multi-agent Text Analysis Based on Ontology of Subject Domain. 102-110 - Sergei Gorlatch, Michel Steuwer:
Towards High-Level Programming for Systems with Many Cores. 111-126 - Sergei A. Grechanik:
Inductive Prover Based on Equality Saturation for a Lazy Functional Language. 127-141 - Nataliya S. Gribovskaya:
Timed History Preserving Bisimulation and Open Maps. 142-150 - Damas P. Gruska:
Process Opacity for Timed Process Algebra. 151-160 - Alexei Iliasov, Jeremy W. Bryans:
A Proof-Based Method for Modelling Timed Systems. 161-176 - Neil D. Jones, Geoff W. Hamilton:
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress). 177-185 - Ilya G. Klyuchnikov, Sergei A. Romanenko:
Certifying Supercompilation for Martin-Löf's Type Theory. 186-200 - Margarita V. Korovina, Oleg V. Kudinov:
Index Sets as a Measure of Continuous Constraint Complexity. 201-215 - Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue:
Decidability and Expressiveness of Recursive Weighted Logic. 216-231 - Torben Ægidius Mogensen:
Supercompilation for Datatypes. 232-247 - Martin Plümicke:
More Type Inference in Java 8. 248-256 - Anton Podkopaev, Dmitri Boulytchev:
Polynomial-Time Optimal Pretty-Printing Combinators with Choice. 257-265 - Kirill Smirnov, George A. Chernishev, Pavel Fedotovsky, George Erokhin, Kirill Cherednik:
The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment. 266-272 - Vinodh Kumar Sunkara, Aamod Sane:
Skeblle: A New Kind of Diagramming Tool with Programmable Active Diagrams. 273-287 - Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
The Role of Indirections in Lazy Natural Semantics. 288-303 - Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
Model Checking Value-Passing Modal Specifications. 304-319 - Peter Thiemann:
Towards Specializing JavaScript Programs. 320-334 - Margus Veanes:
Symbolic String Transformations with Regular Lookahead and Rollback. 335-350 - Germán Vidal:
Towards Symbolic Execution in Erlang. 351-360 - Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Bonsai: Cutting Models Down to Size. 361-375 - Irina B. Virbitskaite, Dmitriy Bushin:
Comparing Semantics Under Strong Timing of Petri Nets. 376-384 - E. E. Vityaev, V. V. Martinovich:
Probabilistic Formal Concepts with Negation. 385-399 - Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov:
Modeling Environment for Static Verification of Linux Kernel Modules. 400-414
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.
last updated on 2026-05-04 23:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
