Concepedia

Ferucio Laurenţiu Ţiplea

FL

13

Publications

270

Citations

11

H-Index

2005

Active since

Affiliations

Alexandru Ioan Cuza University(Current)

"Dunarea de Jos" University of Galati

University of Central Florida

Ferucio Laurenţiu Ţiplea is an author at Alexandru Ioan Cuza University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystems EngineeringCryptographyData SecurityComputer EngineeringAutomated Reasoning

Publications per year

2005–2020

13

Publications

13

Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Cătălin Dima, Ferucio Laurenţiu Ţiplea · arXiv (Cornell University) · 2011 · 77 citations · Full text

Formal Proof, Engineering, Verification +17

Structural soundness of workflow nets is decidable

Ferucio Laurenţiu Ţiplea, Dan C. Marinescu · Information Processing Letters · 2005 · 28 citations

Engineering, Automated Reasoning, Workflow Technology +8

Decidability and Complexity Results for Security Protocols.

Ferucio Laurenţiu Ţiplea, Constantin Enea, Cătălin V. Bîrjoveanu · 2005 · 22 citations

Complexity Results, Prescribed Sequences, Engineering +14

Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes

Mihai Barzu, Ferucio Laurenţiu Ţiplea, Constantin Cătălin Drăgan · Information Sciences · 2013 · 21 citations

Hardware Security, Cryptographic Primitive, Engineering +8

Distributive weighted threshold secret sharing schemes

Constantin Cătălin Drăgan, Ferucio Laurenţiu Ţiplea · Information Sciences · 2016 · 17 citations

Cryptographic Primitive, Engineering, Information Security +6

Rows per page

1–5 of 13