yusuke1997/dblp-id-title huggingface dataset:
A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems
Some reflections on the connection between computer science and the theory of algorithms
Sur quelques systèmes de programmation pour les recherches scientifiques
Solving Coverability Problem for Monotonic Counter Systems by Supercompilation
The logical approach to programming
On Homeostatic Behavior of Dynamic Deductive Data Bases
A Multi-agent Text Analysis Based on Ontology of Subject Domain
On the Containment Problem for Queries in Conjunctive Form with Negation
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
Streaming Networks for Coordinating Data-Parallel Programs
PosDB: A Distributed Column-Store Engine
Observational Semantics for Timed Event Structures
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles
Academic vs. Industrial Software Engineering: Closing the Gap
The Abstract State Machine Paradigm: What Is in and What Is out
Statistical Approach to Increase Source Code Completion Accuracy
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
A Memory Model for Deductively Verifying Linux Kernel Modules
A Systematic Approach towards Object-Based Petri Net Formalisms
Algebraic Semantics of the Oberon Target Machine
Causality-Based Testing in Time Petri Nets
Decidability of Modular Logics for Concurrency
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS
Some Decidability Results for Nested Petri Nets
RapidOWL - An Agile Knowledge Engineering Methodology
A method for determining program data relationships
What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker
Accurate Widenings and Boundedness Properties of Timed Systems
A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population
The Translation Power of the Futamura Projections
Observing Some Properties of Event Structures
Algorithmic Debugging of SQL Views
Preconditions for Structural Synthesis of Programs
Transformational Construction of Correct Pointer Algorithms
GoRRiLA and Hard Reality
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs
A General Object-Oriented Model for Spatial Data
Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings
How does algebra help to solve problems from the theory of algorithms (an example)
On universal classes of program schemas
Verification and Validation of Semantic Annotations
Communicating Functional Agents and Their Application to Graphical User Interfaces
The Other Linear Logic (Invited Paper)
Current Directions in Hyper-Programming
A Transformation-Based Approach to Developing High-Performance GPU Programs
Applicability of the BLAST Model Checker: An Industrial Case Study
Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance
Process Opacity for Timed Process Algebra
Derivation of Explicitly Parallel Code from Declarative Program by Transformations
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs
Predicative Programming - A Survey
A Polymorphic Radix- n Framework for Fast Fourier Transforms
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
The Varieties of Programming Language Semantics
Industrial Application of External Black-Box Functions in Constraint Programming Solver
Planet Map Generation by Tetrahedral Subdivision
On A Class of Unoids
A Platform for Security Monitoring of Multi-cloud Applications
Standardization and Testing of Mathematical Functions
Decision problems in computational models
Modal Logics for Knowledge Representation Systems
Conceptual Data Modeling: An Algebraic Viewpoint
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Approximating Event System Abstractions by Covering Their States and Transitions
More Type Inference in Java 8
Hybrid Lustre
Formal Methods in Industrial Software Standards Enforcement
Space Considerations in Prolog
Encoding Mobile Ambients into the pi -Calculus
Pos(T): Analyzing Dependencies in Typed Logic Programs
Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings
Static Analysis of Run-Time Modes in Synchronous Process Network
Fast Binding-Time Analysis for Multi-Level Specialization
Safe Executions of Recognizable Trace Languages by Asynchronous Automata
A Framework for Dynamical Construction of Software Components
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing
Quantitative Analysis of Collective Adaptive Systems
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web
Lightweight Non-intrusive Virtual Machine Introspection
Symbolic Loop Bound Computation for WCET Analysis
Comparing Semantics Under Strong Timing of Petri Nets
A Mode Analysis of Logic Programs by Abstract Interpretation
Site-Level Web Template Extraction Based on DOM Analysis
Connector Algebras, Petri Nets, and BIP
Some historical remarks on algorithmic logic
Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction
On Tractability of Disjoint AND-Decomposition of Boolean Formulas
Specification-Based Testing of Firewalls
Parallel Factorization of Boolean Polynomials
Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture
Experiments with Implementations of Two Theoretical Constructions
The data structures representation in machine oriented higher level language
Reexecution-Based Analysis of Logic Programs with Delay Declarations
Functional Development of Massively Parallel Programs (Invited Paper)
Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings
A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings
On Semantics and Correctness of Reactive Rule-Based Programs
A Dynamic Logic for Program Verification
About Leaks of Confidential Data in the Process of Indexing Sites by Search Crawlers
An Architecture for Non-invasive Software Measurement
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
Abstract computability on algebraic structures
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
A Software Composition Language and Its Implementation
Compositional Methods in Characterization of Timed Event Structures
Privacy Preserving Modules for Ontologies
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation
On the Usage of Concrete Syntax in Model Transformation Rules
BURS-Based Instruction Set Selection
The Disjunctive Constrained Lambda Calculus
A Semantics-Based Determinacy Analysis for Prolog with Cut
Twin - A Design Pattern for Modeling Multiple Inheritance
Efficient Metaobject Control Using Mediators
Central technical issues in programming language design
Model Checking Value-Passing Modal Specifications
Semantics and Transformations in Formal Synthesis at System Level
A sublanguage of ALGOL 68 and its implementation
On formal transformations of algorithms
OCL Extended with Temporal Logic
Development of a Robust Data Mining Method Using CBFS and RSM
An Empirical Study of Retargetable Compilers
Introducing Debugging Capabilities to Natural Semantics
A Three-Valued Logic for Refinement
The Design of a Functional GUI Library Using Constructor Classes
Generalised Computability and Applications to Hybrid Systems
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules
Non- determined algorithm schemata or R- schemata
Metaalgorithmic system of general application (Mason)
Parsing in ISBES
Inter-country Competition and Collaboration in the miRNA Science Field
Extensional Set Library for ECL i PS e
A Net-Based Multi-tier Behavior Inheritance Modelling Method
Some principles of compiler constructions
A Graphical Interface for Solver Cooperations
Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings]
Exponential Acceleration of Model Checking for Perfect Recall Systems
Estimating Development Effort for Software Architectural Tactics
Conceptual Content Modeling and Management
Understanding Short Texts with Integration of Knowledge Representation Methods
Criteria for the algorithmic completeness of the systems of operations
Automated Two-Phase Composition of Timed Web Services
Timed History Preserving Bisimulation and Open Maps
Cryptographic Protocols Analysis in Event B
A programming system with automatic program synthesis
Prototype of a Run-Time Adaptable, Object-Oriented System
Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages
Anti-unification Algorithms and Their Applications in Program Analysis
A Remark on Bisimulation Between Probabilistic Processes
Bending without Breaking: Making Software More Flexible: Extended Abstract
Branching Processes of Timed Petri Nets
Justified Terminological Reasoning
Sigma K -constraints for Hybrid Systems
Compositional Style of Programming FPGAs
Recent Advances in S-Definability over Continuous Data Types
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment
The Essence of Program Transformation by Partial Evaluation and Driving
Satisfiability of Viability Constraints for Pfaffian Dynamics
Archival Information Systems: New Opportunities for Historians
Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees
Solution Strategies for Multi-domain Constraint Logic Programs
Clone Detection in Reuse of Software Technical Documentation
Discerning Causality in Interleaving Behavior
Semantic attributes processing in the system DELTA
The Analytical Object Model as a Base of Heterogeneous Data Integration
Specification Based Testing: Towards Practice
Well-Structured Model Checking of Multiagent Systems
A Behavioural Theory for Reflective Sequential Algorithms
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
The logic of "can do"
On finding invariant relations of programs
A Compositional Semantics of Combining Forms for Gramma Programs
Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique
Chase of Recursive Queries
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
Analysis of Some Semantic Properties for Programs of the Applicative Language AL
Using AOP for Discovering and Defining Executable Test Cases
Algebraically Provable Specification of Optimized Compilations
Heterogeneous, Nested STL Containers in C ++
Behavioural Analysis of Sessions Using the Calculus of Structures
Partial Evaluation for Common Intermediate Language
A Partial Semantics for Object Data Models with Static Binding
A Theoretical Foundation of Program Synthesis by Equivalent Transformation
Problem-oriented languages and DEPOT implementing system
On an Algorithm for finding weights and nodes of cubic formulae
The linear postman: a message-forwarding algorithm using sequential storage
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs
Data Compression Algorithms in Analysis of UI Layouts Visual Complexity
A calculus for the mathematical theory of computation
Towards Symbolic Execution in Erlang
Causality and Replication in Concurrent Processes
Java Specification Extension for Automated Test Development
Using Refinement in Formal Development of OS Security Model
Usability and portability of a compiler writing system
The algorithmic complexity of linear algebras
Probabilistic Concepts in Formal Contexts
Petri Net Distributability
Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Language Tools and Programming Systems in Educational Informatics
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+
Linear Time Self-Interpretation of the Pure Lambda Calculus
Automatical Synthesis of Programs with Recursions
Symbolic String Transformations with Regular Lookahead and Rollback
A Category of Many-Sorted Algebraic Theories Which is Equivalent to the Category of Categories with Finite Products
Duration Calculi: An Overview (Invited Paper)
SVM Paradoxes
Towards High-Level Programming for Systems with Many Cores
Unifying Requirements and Code: An Example
Constraint Programming Techniques for Solving Problems on Graphs
Static Binary Code Instrumentation for ARM Architecture
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties
Algorithm as a basis for Formulating constructive mathematical notions
Rapid Instruction Decoding for IA-32
Application of Subdefinite Models for Solving Constraint Satisfaction Problems
Timed Verification with µCRL
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler
On design and implementation of algorithms
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
Microservices: How To Make Your Application Scale
An Automatic Technique for Static Deadlock Prevention
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Grand Challenges of System Programming
How to Verify and Exploit a Refinement of Component-Based Systems
Lingva: Generating and Proving Program Properties Using Symbol Elimination
The structural synthesis of programs
Co-Learning of Recursive Languages from Positive Data
What can we do with problems of exhaustive search?
Deriving State-Based Implementations of Interactive Components with History Abstractions
Efficient chaotic iteration strategies with widenings
An approach to the automation of constructing multilanguage translating systems
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method
Using Constraint Solvers in CAD/CAM Systems
Data-Object Replication, Distribution, and Mobility in Network Environments
An Agent-Based Architecture for Dialogue Systems
Improving Semistatic Compression Via Pair-Based Coding
The Tree Equivalence Problem for Linear Recursion Schemes
Copying in commutation - operator schemata
The Common Framework Initiative for Algebraic Specification and Development of Software
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
Two-Step Deductive Verification of Control Software Using Reflex
Visual Rules Modeling
Abstract Computability of Non-deterministic Programs over Various Data Structures
Editor Definition Language and Its Implementation
Big Data, Big Systems, Big Challenges: A Personal Experience - (Extended Abstract)
Skeblle: A New Kind of Diagramming Tool with Programmable Active Diagrams
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages
Theory of Domains and Nearby (Invited Paper)
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic
Compiler-Cooperative Memory Management in Java
Domain Engineering the Magnolia Way
Integrating and Managing Conflicting Data
Implementing Conflict Resolution
Data flow schemas
Problem Solving in the Object-Oriented Technological Environment NeMo+
Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper)
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
Invariants, Modularity, and Rights
Algorithms in modern mathematics and computer science
Almost Top-Down Analysis for generalized LR(K) Grammars
Linear Complementarity and P-Matrices for Stochastic Games
Unfoldings of Coloured Petri Nets
A Complete Invariant Generation Approach for P-solvable Loops
Towards Using Exact Real Arithmetic for Initial Value Problems
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
Secure Multi-execution in Haskell
A Logical Approach to the Analysis of Aerospace Images
End-to-End Guarantees in Embedded Control Systems - (Abstract)
Supercompilation for Datatypes
Transformation of UML Specification to XTG
On Perfect Supercompilation
Polynomial-Time Optimal Pretty-Printing Combinators with Choice
Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations
Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications
International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research
Framework Component Systems: Concepts, Design Heuristics, and Perspectives
A Compiler Generator for Constraint Logic Programs
Implication of Functional Dependencies for Recursive Queries
Towards Checking Parametric Reachability for UML State Machines
What a Universal Semantic Interlingua Can and Cannot Do
On the Visualization and Aesthetics of Large Graphs: Short Abstract
Towards an Open Framework for C Verification Tools Benchmarking
Dynamic Modification of System Structures Using LLPNs
Functional Dependencies, from Relational to XML
Approach to Development of a System for Speech Interaction with an Intelligent Robot
Exploring Template Template Parameters
Polyvariant Expansion and Compiler Generators
Supercompilation: Techniques and Results
Compositional Verification of CCS Processes
Introducing Mutual Exclusion in Esterel
An axiomatic definition of the programming language PASCAL
2 5 Years of Model Checking
WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method
Compositional and Quantitative Model Checking (Extended Abstract)
LGS: Geometric Constraint Solver
Nearly Linear Time
An Extension of Dynamic Logic for Modelling OCL's @pre Operator
Towards automatical construction of parallel programs
Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses
An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems
Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
Merging Relational Database Technology with Constraint Technology
A Logical Approach to Specification of Hybrid Systems
Some feature of a language for a proof- checking programming system
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
Fixpoints Revisited
Semantic Analysis of Interval Congruences
Distributed In Situ Processing of Big Raster Data in the Cloud
Towards Specializing JavaScript Programs
Algebraic Properties of Loop Invariants
On the average speed of automation with terminal state
Enhanced Control Flow Graphs in Montages
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions
Inductive Prover Based on Equality Saturation for a Lazy Functional Language
From logicism of proceduralsm (an autobiographical account)
Using SPIN and STeP to Verify Business Processes Specifications
An Experiment with the Fourth Futamura Projection
On the Power of Recursion in Dataflow Schemes
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts
Dynamical Priorities without Time Measurement and Modification of the TCP
An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language
Generic Programming (Abstract)
The Hybrid Multidimensional-Ontological Data Model Based on Metagraph Approach
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Some automatic transformations of CF-Grammars
A Formal Approach to Requirements Engineering (Invited Paper)
On Euler numbers and Euler polynomial roots
Computable Topology for Reliable Computations
What is the Logic of Computational Tasks?
Maximally-Polyvariant Partial Evaluation in Polynomial Time
Concurrent Processes with Synchronization: Net and Algebraic Approach
The Supercompiler SCP4: General Structure
Construction of Verified Compiler Front-Ends with Program-Checking
TTCN-3 for Distributed Testing Embedded Software
Loop Parallelization in Multi-dimensional Cartesian Space
From ADT to UML-Like Modelling
On synthesizing programs given by examples
MIDL: a hybrid language of medium level
A Formal Model of Data Privacy
Decidability and Expressiveness of Recursive Weighted Logic
Semantics and Laws of Man-Made Infrastucture Systems (Abstract)
Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems
A simple translation automaton allowing the generation of optimized code
A Proof-Based Method for Modelling Timed Systems
Bootstrapping Compiler Generators from Partial Evaluators
A Control Language for Designing Constraint Solvers
A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules
Towards Automatic Deductive Verification of C Programs over Linear Arrays
Role of a notion of algorithms in the arithmetic language semantics
Algorithms and algebra
Report on an Implementation of a Semi-inverter
Detecting Entry Points in Java Libraries
Verifying Generalized Soundness of Workflow Nets
Equivalent Transformation by Safe Extension of Data Structures
Church-Rosser transformers and decidable properties of tree processing
Bonsai: Cutting Models Down to Size
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus
Algebraic Imperative Specifications
Local- termal equivalence of program schemata
Integrating Tools for Automatic Program Verification
Experimental implementation of SETL
Descriptive Types for Linked Data Resources
An Associative Version of the Prim-Dijkstra Algorithm and Its Application to Some Graph Problems
Certain decompositions of Gödel numbering and the semantics of programming languages
Extensions: A Technique for Structuring Functional-Logic Programs
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
Actors as a Coordinating Model of Computation (Extended Abstract)
Dynamics Security Policies and Process Opacity for Timed Process Algebras
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
Development of the Computer Language Classification Knowledge Portal
Verification-Oriented Language C-Light and Its Structural Operational Semantics
Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems
The Outside-In Method of Teaching Introductory Programming
Calculating Digital Counters