Ruslan Shevchenko

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 5

Top Topics

Deductive Databases

Rewriting Rules

Datalog Queries

Static Analysis

Top Venues

Publications

Ruslan Shevchenko
Embedding generic monadic transformer into Scala. CoRR (2022)
Ruslan Shevchenko
Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream? TFP (2022)
Tural Mamedov, Anatoliy Doroshenko, Ruslan Shevchenko
Засіб статичного аналізу .NET програм за допомогою переписування правил Static Analysis of .NET Programs Using Rewriting Rules. UkrPROG (2020)
Ruslan Shevchenko
Числення контекстних термів для систем переписування Context term calculus for rewriting systems. UkrPROG (2018)
Ruslan Shevchenko
Scala-gopher: CSP-style programming techniques with idiomatic Scala. CoRR (2016)
Ruslan Shevchenko
Annotated imports. CoRR (2014)
Anatoly E. Doroshenko, Ruslan Shevchenko
A Rewriting Framework for Rule-Based Programming Dynamic Applications. Fundam. Informaticae 72 (1-3) (2006)
Ruslan Shevchenko, Anatoly E. Doroshenko
Managing Business Logic with Symbolic Computation. ISTA (2003)
Ruslan Shevchenko, Anatoly E. Doroshenko
A time cost model for distributed objects parallel computation. Future Gener. Comput. Syst. 18 (6) (2002)
Ruslan Shevchenko, Anatoly E. Doroshenko
Techniques for Increasing Performance of CORBA Parallel Distributed Applications. PaCT (2001)
Ruslan Shevchenko, Anatoly E. Doroshenko
A Method of Mediators for Building Web-Interfaces of CORBA Distributed Enterprise Applications. ISTA (2001)