Search Results - "Lucanu, Dorel" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Operationally-based program equivalence proofs using LCTRSs

Operationally-based program equivalence proofs using LCTRSs

by Ciobâcă, Ştefan, Lucanu, Dorel, Buruiană, Andrei Sebastian
Published in Journal of logical and algebraic methods in programming (01.10.2023)

Get full text

Journal Article

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

by Lungu, Alexandra-Ioan, Teodorescu, Vlad, Zaborilă, Andrei, Andrei, Oana, Lucanu, Dorel
Published in Scientific annals of computer science (01.01.2024)

Get full text

Journal Article

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

by Lucanu, Dorel
Year of Publication 2016

Get full text

eBook

Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models

Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models

by Lucanu, Dorel
Published in Electronic proceedings in theoretical computer science (22.09.2023)

Get full text

Journal Article

Interacting via the Heap in the Presence of Recursion

Interacting via the Heap in the Presence of Recursion

by Rot, Jurriaan, Asăvoae, Irina Măriuca, de Boer, Frank, Bonsangue, Marcello M., Lucanu, Dorel
Published in Electronic proceedings in theoretical computer science (14.12.2012)

Get full text

Journal Article

Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification

Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification

by Arusoaie, Andrei, Lucanu, Dorel
Published in Electronic proceedings in theoretical computer science (19.09.2022)

Get full text

Journal Article

Editor's foreword

Editor's foreword

by Lucanu, Dorel
Published in Journal of logical and algebraic methods in programming (01.12.2018)

Get full text

Journal Article

A generic framework for symbolic execution: A coinductive approach

A generic framework for symbolic execution: A coinductive approach

by Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei
Published in Journal of symbolic computation (01.05.2017)

Get full text

Journal Article

Program equivalence by circular reasoning

Program equivalence by circular reasoning

by Lucanu, Dorel, Rusu, Vlad
Published in Formal aspects of computing (01.07.2015)

Get full text

Journal Article

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Year of Publication 18.08.2016

Get full text

Conference Proceeding

Preface

Preface

by Kleijn, Jetty, Leuştean, Laurenţiu, Lucanu, Dorel
Published in Fundamenta informaticae (31.03.2020)

Get full text

Journal Article

Preface

Preface

by Kleijn, Jetty, Leuştean, Laurenţiu, Lucanu, Dorel
Published in Fundamenta informaticae (2020)

Get full text

Journal Article

Preface

Preface

by Kleijn, Jetty, Leuştean, Laurenţiu, Lucanu, Dorel
Published in Fundamenta informaticae (01.01.2020)

Get full text

Journal Article

Matching logic explained

Matching logic explained

by Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore
Published in Journal of logical and algebraic methods in programming (01.04.2021)

Get full text

Journal Article

Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem

Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem

by Breaban, Mihaela, Necula, Raluca, Lucanu, Dorel, Stamate, Daniel
Published in Procedia computer science (2023)

Get full text

Journal Article

Capturing constrained constructor patterns in matching logic

Capturing constrained constructor patterns in matching logic

by Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore
Published in Journal of logical and algebraic methods in programming (01.01.2023)

Get full text

Journal Article

Supporting Algorithm Analysis with Symbolic Execution in Alk

Supporting Algorithm Analysis with Symbolic Execution in Alk

by Lungu, Alexandru-Ioan, Lucanu, Dorel
Published in Theoretical Aspects of Software Engineering (2022)

Get full text

Book Chapter

Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models

Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models

by Lucanu, Dorel
Year of Publication 24.09.2023

Get full text

Journal Article

A rewriting logic framework for operational semantics of membrane systems

A rewriting logic framework for operational semantics of membrane systems

by Andrei, Oana, Ciobanu, Gabriel, Lucanu, Dorel
Published in Theoretical computer science (05.04.2007)

Get full text

Journal Article

Behavioral Rewrite Systems and Behavioral Productivity

Behavioral Rewrite Systems and Behavioral Productivity

by Roşu, Grigore, Lucanu, Dorel
Published in Specification, Algebra, and Software

Get full text

Book Chapter