Person:1286272

Available identifiers

zbMath Open letychivskyi.oleksandr-adolfovychWikidataQ12117772 ScholiaQ12117772MaRDI QIDQ1286272

List of research outcomes

Publication	Date of Publication	Type
Insertion modeling and its applications	2018-07-03	Paper
Cyber-physical systems	2018-02-23	Paper
Generating symbolic traces in the insertion modeling system	2015-11-26	Paper
Glushkov's evidence algorithm	2014-10-27	Paper
Properties of a predicate transformer of the VRS system	2014-06-05	Paper
Parallel inference search in logical calculus based on the algebraic programming system	2014-06-05	Paper
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape	2010-05-26	Paper
Systems specification by basic protocols	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q3365842	2006-02-13	Paper
Basic protocols, message sequence charts, and the verification of requirements specifications	2005-11-07	Paper
Insertion programming	2004-03-29	Paper
Semantics of timed message sequence charts	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2722032	2001-07-11	Paper
A general theory of action languages	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4055582	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672193	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5576260	1969-01-01	Paper
An extension of the logical potentialities of ALGOL-60	1967-01-01	Paper
Automatic expansions of representations of free semigroups	1962-01-01	Paper
Completeness conditions for finite automata	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q6483347	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Letichevsky