Login / Signup
Mihai Lica Pura
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 4
Top Topics
Routing Protocol
Ad Hoc Networks
Model Checking
Spoken Language
Top Venues
COMM
SpeD
IGARSS
</>
Publications
</>
Petrica-Daniel Stoica
,
Stefan-Adrian Toma
,
Marian Ceaparu
,
Mihai Lica Pura
Spoken Language Detection Experiments for Romanian.
SpeD
(2019)
Bogdan Sebacher
,
Stefan-Adrian Toma
,
Marin Lupoae
,
Mihai Lica Pura
On the Modelling of Urban Infrastructure Deformation Profiles Using the Applied Element Method and Multiple Hypothesis Testing.
IGARSS
(2018)
Mihai Lica Pura
,
Luciana Morogan
,
Didier Buchs
Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting.
COMM
(2016)
Diana-Getuta Oancea
,
Mihai Lica Pura
,
Luciana Morogan
Using gamma formalism for model-based testing for the routing protocols for mobile ad hoc networks.
COMM
(2016)
Mihai Lica Pura
,
Didier Buchs
A self-organized key management scheme for ad hoc networks based on identity-based cryptography.
COMM
(2014)