Conditional Petri Net Languages. - Ferucio Laurentiu Tiplea; Toader Jucan; Cristian Masalagiu (J. Inf. Process. Cybern., 1991)

Corrections to "Reversible and Strict Reversible P/T-Systems". - Ferucio Laurentiu Tiplea (Sci. Ann. Cuza Univ., 1992)

Selective petri net languages. - Ferucio-Laurentiu Tiplea (Int. J. Comput. Math., 1992)

Relation Based Controlled Petri Nets. - Toader Jucan; Cristian Masalagiu; Ferucio Laurentiu Tiplea (Sci. Ann. Cuza Univ., 1993)

A Coverability Structure for Parallel Communicating Grammar Systems. - Ferucio Laurentiu Tiplea; Cristian Ene (J. Inf. Process. Cybern., 1993)

On Conditional Grammars and Conditional Petri Nets. - Ferucio-Laurentiu Tiplea (Mathematical Aspects of Natural and Formal Languages, 1994)

Some Decision Problems for Parallel Communicating Grammar Systems. - Ferucio Laurentiu Tiplea; Cristian Ene; Cecilia Magdalena Ionescu; Octavian Procopiuc (Theor. Comput. Sci., 1994)

(0, 1)-Total Pure Context-Free Grammars. - Codrut Matei; Ferucio Laurentiu Tiplea (Developments in Language Theory, 1995)

On a Normal Form of Petri Nets. - Ferucio Laurentiu Tiplea; Masashi Katsura; Masami Ito (Acta Cybern., 1996)

Pattern Ambiguities for Pure Context-Free Grammars. - Erkki Mäkinen; Ferucio Laurentiu Tiplea (Fundam. Informaticae, 1997)

Jumping Petri Nets. Specific Properties. - Ferucio Laurentiu Tiplea; Erkki Mäkinen (Fundam. Informaticae, 1997)

Hierarchies of Petri Net Languages and a Super-Normal Form. - Ferucio Laurentiu Tiplea; Cristian Ene (J. Autom. Lang. Comb., 1997)

Processes and Vectorial Characterizations of Parallel Communicating Grammar Systems. - Ferucio Laurentiu Tiplea; Masashi Katsura; Masami Ito (J. Autom. Lang. Comb., 1997)

On Normalization of Petri Nets. - Ferucio Laurentiu Tiplea; Aurora Tiplea (Sci. Ann. Cuza Univ., 1998)

Petri Net Process Decomposition with Application to Validation. - Ferucio Laurentiu Tiplea; Jörg Desel (AWPN, 1999)

A Note on Decidability of Reachability for Conditional Petri Nets. - Ferucio Laurentiu Tiplea; Cristina Badarau (Acta Cybern., 2000)

Synchronized extension systems. - Ferucio Laurentiu Tiplea; Erkki Mäkinen; Corina Apachite (Acta Informatica, 2001)

A Note on SE-Systems and Regular Canonical Systems. - Ferucio Laurentiu Tiplea; Erkki Mäkinen (Fundam. Informaticae, 2001)

A note on synchronized extension systems. - Ferucio Laurentiu Tiplea; Erkki Mäkinen (Inf. Process. Lett., 2001)

A Simulation Preorder for Abstraction of Reactive Systems. - Ferucio Laurentiu Tiplea; Aurora Tiplea (VMCAI, 2002)

The Home Marking Problem and Some Related Concepts. - Roxana Melinte; Olivia Oanea; Ioana Olga; Ferucio Laurentiu Tiplea (Acta Cybern., 2002)

Characterization Results for Time-Varying Codes. - Ferucio Laurentiu Tiplea; Erkki Mäkinen; Dragos Trinca; Costel Enea (Fundam. Informaticae, 2002)

SE-Systems, Timing Mechanisms, and Time-Varying Codes. - Ferucio Laurentiu Tiplea; Erkki Mäkinen; Constantin Enea (Int. J. Comput. Math., 2002)

On the Complexity of a Problem on Monadic String Rewriting Systems. - Ferucio Laurentiu Tiplea; Erkki Mäkinen (J. Autom. Lang. Comb., 2002)

Timed Workflow Nets. - Ferucio Laurentiu Tiplea; Geanina Ionela Macovei (SYNASC, 2005)

Instantiating Nets and Their Applications to Workflow Nets. - Ferucio Laurentiu Tiplea; Aurora Tiplea (SYNASC, 2005)

Decidability and Complexity Results for Security Protocols. - Ferucio Laurentiu Tiplea; Constantin Enea; Catalin V. Bîrjoveanu (VISSAS, 2005)

Structural soundness of workflow nets is decidable. - Ferucio Laurentiu Tiplea; Dan C. Marinescu (Inf. Process. Lett., 2005)

The Confluence Property for Petri Nets and its Applications. - Ioana Leahu; Ferucio Laurentiu Tiplea (SYNASC, 2006)

E-timed Workflow Nets. - Ferucio Laurentiu Tiplea; Geanina Ionela Macovei (SYNASC, 2006)

Abstractions of data types. - Ferucio Laurentiu Tiplea; Constantin Enea (Acta Informatica, 2006)

Preface. - Catalin Dima; Marius Minea; Ferucio Laurentiu Tiplea (ICS@SYNASC, 2006)

Petri net reactive modules. - Ferucio Laurentiu Tiplea; Aurora Tiplea (Theor. Comput. Sci., 2006)

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. - Ferucio Laurentiu Tiplea; Catalin V. Bîrjoveanu; Constantin Enea; Ioana Boureanu (J. Comput. Secur., 2008)

An Automaton-based Formalism for Cooperative Augmented Reality Systems. - Felix G. Hamza-Lup; Ferucio Laurentiu Tiplea (NCMA, 2009)

Classes of Szilard Languages in NC1. - Liliana Cojocaru; Erkki Mäkinen; Ferucio Laurentiu Tiplea (SYNASC, 2009)

Soundness for S - and A -Timed Workflow Nets Is Undecidable. - Ferucio Laurentiu Tiplea; Geanina Ionela Macovei (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Complexity of Anonymity for Security Protocols. - Ferucio Laurentiu Tiplea; Loredana Vamanu; Cosmin Vârlan (ESORICS, 2010)

Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable - Catalin Dima; Ferucio Laurentiu Tiplea (CoRR, 2011)

Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets. - Ferucio Laurentiu Tiplea; Corina Bocaneala (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Reasoning about minimal anonymity in security protocols. - Ferucio Laurentiu Tiplea; Loredana Vamanu; Cosmin Vârlan (Future Gener. Comput. Syst., 2013)

Compact sequences of co-primes and their applications to the security of CRT-based threshold schemes. - Mihai Barzu; Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (Inf. Sci., 2013)

Priority Workflow Nets. - Ferucio Laurentiu Tiplea; Corina Bocaneala (IEEE Trans. Syst. Man Cybern. Syst., 2013)

A Lightweight Authentication Protocol for RFID. - Ferucio Laurentiu Tiplea (CSS, 2014)

Efficient Key-policy Attribute-based Encryption for General Boolean Circuits from Multilinear Maps. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (IACR Cryptol. ePrint Arch., 2014)

Key-policy Attribute-based Encryption for Boolean Circuits from Bilinear Maps. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (IACR Cryptol. ePrint Arch., 2014)

A necessary and sufficient condition for the asymptotic idealness of the GRS threshold secret sharing scheme. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (Inf. Process. Lett., 2014)

Resource Relocation in Workflow Nets With Time, Resource, and Task Priority Constraints. - Ferucio Laurentiu Tiplea; Corina Bocaneala (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Key-Policy Attribute-Based Encryption for General Boolean Circuits from Secret Sharing and Multi-linear Maps. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (BalkanCryptSec, 2015)

On a Lightweight Authentication Protocol for RFID. - George-Daniel Nastase; Ferucio Laurentiu Tiplea (SECITC, 2015)

New Results on Identity-based Encryption from Quadratic Residuosity. - Ferucio Laurentiu Tiplea; Emil Simion (IACR Cryptol. ePrint Arch., 2015)

On the Complexity of Deciding Soundness of Acyclic Workflow Nets. - Ferucio Laurentiu Tiplea; Corina Bocaneala; Raluca Chirosca (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Petri Net Computers and Workflow Nets. - Ferucio Laurentiu Tiplea; Raluca A. Diaconu (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Boneh-Gentry-Hamburg's Identity-based Encryption Schemes Revisited. - Ferucio Laurentiu Tiplea; George Teseleanu; Sorin Iftene; Anca-Maria Nica (IACR Cryptol. ePrint Arch., 2016)

Distributive weighted threshold secret sharing schemes. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (Inf. Sci., 2016)

The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets. - Ferucio Laurentiu Tiplea; Ioana Leahu (IEEE Trans. Syst. Man Cybern. Syst., 2016)

Key-Policy Attribute-Based Encryption from Bilinear Maps. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan; Anca-Maria Nica (SECITC, 2017)

Group Anonymity in Security Protocols. - Ferucio Laurentiu Tiplea; Cosmin Vârlan (FedCSIS, 2018)

A PUF-Based Destructive Private Mutual Authentication RFID Protocol. - Cristian Hristea; Ferucio Laurentiu Tiplea (SecITC, 2018)

Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel and Compartmented Access Structures. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (IACR Cryptol. ePrint Arch., 2018)

On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing scheme. - Constantin Catalin Dragan; Ferucio Laurentiu Tiplea (Inf. Sci., 2018)

On Anonymization of Cocks' Identity-based Encryption Scheme. - Anca-Maria Nica; Ferucio Laurentiu Tiplea (Comput. Sci. J. Moldova, 2019)

Destructive Privacy and Mutual Authentication in Vaudenay's RFID Model. - Cristian Hristea; Ferucio Laurentiu Tiplea (IACR Cryptol. ePrint Arch., 2019)

Privacy and Reader-first Authentication in Vaudenay's RFID Model with Temporary State Disclosure. - Ferucio Laurentiu Tiplea; Cristian Hristea (IACR Cryptol. ePrint Arch., 2019)

Practically Efficient Attribute-based Encryption for Compartmented Access Structures. - Ferucio Laurentiu Tiplea; Alexandru Ionita; Anca-Maria Nica (ICETE (2), 2020)

Practically Efficient Attribute-Based Encryption for Compartmented and Multilevel Access Structures. - Ferucio Laurentiu Tiplea; Alexandru Ionita; Anca-Maria Nica (ICETE (Selected Papers), 2020)

A Hennessy-Milner Theorem for ATL with Imperfect Information. - Francesco Belardinelli; Catalin Dima; Vadim Malvone; Ferucio Laurentiu Tiplea (LICS, 2020)

On the distribution of quadratic residues and non-residues modulo composite integers and applications to cryptography. - Ferucio Laurentiu Tiplea; Sorin Iftene; George Teseleanu; Anca-Maria Nica (Appl. Math. Comput., 2020)

Privacy of Stateful RFID Systems With Constant Tag Identifiers. - Cristian Hristea; Ferucio Laurentiu Tiplea (IEEE Trans. Inf. Forensics Secur., 2020)

Practically Efficient RFID Scheme with Constant-time Identification. - Ferucio Laurentiu Tiplea; Cristian Hristea (SECRYPT, 2021)

Asymptotically ideal Chinese remainder theorem -based secret sharing schemes for multilevel and compartmented access structures. - Ferucio Laurentiu Tiplea; Constantin Catalin Dragan (IET Inf. Secur., 2021)

PUF Protected Variables: A Solution to RFID Security and Privacy Under Corruption With Temporary State Disclosure. - Ferucio Laurentiu Tiplea; Cristian Hristea (IEEE Trans. Inf. Forensics Secur., 2021)

Generalized Inverse Based Decoding. - Ferucio Laurentiu Tiplea; Vlad-Florin Dragoi (ISIT, 2022)

Privacy and Reader-first Authentication in Vaudenay's RFID Model with Temporary State Disclosure. - Ferucio Laurentiu Tiplea; Cristian Hristea; Rodica Bulai (Comput. Sci. J. Moldova, 2022)

Security of Identity-based Encryption Schemes from Quadratic Residues. - Ferucio Laurentiu Tiplea; Sorin Iftene; George Teseleanu; Anca-Maria Nica (IACR Cryptol. ePrint Arch., 2022)

Narrow privacy and desynchronization in Vaudenay's RFID model. - Ferucio Laurentiu Tiplea (Int. J. Inf. Sec., 2022)

Lessons to be Learned for a Good Design of Private RFID Schemes. - Ferucio Laurentiu Tiplea (IEEE Trans. Dependable Secur. Comput., 2022)

Efficient RFID Scheme in Healthcare Systems. - Ferucio Laurentiu Tiplea; Cristian Hristea; Daniela Gifu (KES, 2023)

The Jacobi Symbol Problem for Quadratic Congruences and Applications to Cryptography. - Ferucio Laurentiu Tiplea (IACR Cryptol. ePrint Arch., 2023)

On Privacy of PRF+PUF-based Authentication. - Ferucio Laurentiu Tiplea (FedCSIS, 2024)

Security and Privacy Requirements for RFID Schemes in Healthcare: Case Studies, Solutions, and Challenges. - Ferucio Laurentiu Tiplea (KES, 2024)

On Privacy of RFID-Based Authentication Protocols. - Ferucio Laurentiu Tiplea (SECRYPT, 2024)

On the Low Weight Polynomial Multiple Problem. - Ferucio Laurentiu Tiplea; Simona-Maria Lazarescu (CoRR, 2024)

Weak, Weak-Insider, and Randomized Weak Privacy in the HPVP Model for RFID. - Ferucio Laurentiu Tiplea (SECRYPT, 2025)