Florentin Ipate

Florentin Ipate

Universitatea din Bucuresti

H-index: 26

Europe-Romania

About Florentin Ipate

Florentin Ipate, With an exceptional h-index of 26 and a recent h-index of 11 (since 2020), a distinguished researcher at Universitatea din Bucuresti, specializes in the field of Formal Methods, Software Testing, Formal Verification, Software Engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models

Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems

Privacy-preserving Linear Computations in Spiking Neural P Systems

A model learning based testing approach for kernel P systems

A model learning based testing approach for spiking neural P systems

Using the Rodin Platform as a Programming Tool

A key agreement protocol based on spiking neural P systems with anti-spikes

Fundamental results for learning deterministic extended finite state machines from queries

Florentin Ipate Information

University

Position

Professor of Computer Science

Citations(all)

2596

Citations(since 2020)

692

Cited By

2210

hIndex(all)

26

hIndex(since 2020)

11

i10Index(all)

70

i10Index(since 2020)

20

Email

University Profile Page

Universitatea din Bucuresti

Google Scholar

View Google Scholar Profile

Florentin Ipate Skills & Research Interests

Formal Methods

Software Testing

Formal Verification

Software Engineering

Top articles of Florentin Ipate

Title

Journal

Author(s)

Publication Date

Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models

Radu Traian Bobe

Marian Gheorghe

Florentin Ipate

Ionuţ Mihai Niculescu

2023/12/14

Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems

arXiv preprint arXiv:2309.13795

Radu Traian Bobe

Florentin Ipate

Ionuţ Mihai Niculescu

2023/9/25

Privacy-preserving Linear Computations in Spiking Neural P Systems

arXiv preprint arXiv:2309.13803

Mihail-Iulian Plesa

Marian Gheorghe

Florentin Ipate

2023/9/25

A model learning based testing approach for kernel P systems

Theoretical Computer Science

Florentin Ipate

Ionuţ Niculescu

Raluca Lefticaru

Savas Konur

Marian Gheorghe

2023/7/18

A model learning based testing approach for spiking neural P systems

Theoretical Computer Science

Florentin Ipate

Marian Gheorghe

2022/7/30

Using the Rodin Platform as a Programming Tool

Adrian Turcanu

Florentin Ipate

2022/4/21

A key agreement protocol based on spiking neural P systems with anti-spikes

Journal of Membrane Computing

Mihail-Iulian Plesa

Marian Gheoghe

Florentin Ipate

Gexiang Zhang

2022/12

Fundamental results for learning deterministic extended finite state machines from queries

Theoretical Computer Science

Florentin Ipate

Marian Gheorghe

Raluca Lefticaru

2021/3/16

kPWorkbench: A software

Savas Konur

LM Mierla

F Ipate

Marian Gheorghe

2020

kPWorkbench: A software suit for membrane systems

SoftwareX

Savas Konur

Laurenţiu Mierlă

Florentin Ipate

Marian Gheorghe

2020/1/1

See List of Professors in Florentin Ipate University(Universitatea din Bucuresti)

Co-Authors

H-index: 52
Natalio Krasnogor

Natalio Krasnogor

Newcastle University

H-index: 33
Marian Gheorghe

Marian Gheorghe

University of Bradford

H-index: 26
Luis Valencia Cabrera

Luis Valencia Cabrera

Universidad de Sevilla

H-index: 24
Ignacio Perez-Hurtado

Ignacio Perez-Hurtado

Universidad de Sevilla

H-index: 17
Alin Stefanescu

Alin Stefanescu

Universitatea din Bucuresti

H-index: 15
Raluca Lefticaru

Raluca Lefticaru

University of Bradford

academic-engine