default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ferucio Laurentiu Tiplea
@inproceedings{DBLP:conf/secrypt/Tiplea24,
author = {Ferucio Laurentiu Tiplea},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {On Privacy of RFID-Based Authentication Protocols},
booktitle = {Proceedings of the 21st International Conference on Security and Cryptography,
{SECRYPT} 2024, Dijon, France, July 8-10, 2024},
pages = {128--139},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012760500003767},
doi = {10.5220/0012760500003767},
timestamp = {Thu, 05 Sep 2024 14:21:37 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/Tiplea24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/TipleaHG23,
author = {Ferucio Laurentiu Tiplea and
Cristian Hristea and
Daniela Gifu},
editor = {George A. Tsihrintzis and
Carlos Toro and
Sebasti{\'{a}}n A. R{\'{\i}}os and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Efficient {RFID} Scheme in Healthcare Systems},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 27th International Conference KES-2023, Athens,
Greece, 6-8 September 2023},
series = {Procedia Computer Science},
volume = {225},
pages = {3996--4005},
publisher = {Elsevier},
year = {2023},
url = {https://doi.org/10.1016/j.procs.2023.10.395},
doi = {10.1016/J.PROCS.2023.10.395},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/TipleaHG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Tiplea23,
author = {Ferucio Laurentiu Tiplea},
title = {The Jacobi Symbol Problem for Quadratic Congruences and Applications
to Cryptography},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {475},
year = {2023},
url = {https://eprint.iacr.org/2023/475},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/Tiplea23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/TipleaHB22,
author = {Ferucio Laurentiu Tiplea and
Cristian Hristea and
Rodica Bulai},
title = {Privacy and Reader-first Authentication in Vaudenay's {RFID} Model
with Temporary State Disclosure},
journal = {Comput. Sci. J. Moldova},
volume = {30},
number = {3},
pages = {335--359},
year = {2022},
url = {http://www.math.md/publications/csjm/issues/v30-n3/13611/},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csjm/TipleaHB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/Tiplea22,
author = {Ferucio Laurentiu Tiplea},
title = {Narrow privacy and desynchronization in Vaudenay's {RFID} model},
journal = {Int. J. Inf. Sec.},
volume = {21},
number = {3},
pages = {563--575},
year = {2022},
url = {https://doi.org/10.1007/s10207-021-00569-0},
doi = {10.1007/S10207-021-00569-0},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/Tiplea22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/Tiplea22,
author = {Ferucio Laurentiu Tiplea},
title = {Lessons to be Learned for a Good Design of Private {RFID} Schemes},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {19},
number = {4},
pages = {2384--2395},
year = {2022},
url = {https://doi.org/10.1109/TDSC.2021.3055808},
doi = {10.1109/TDSC.2021.3055808},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/Tiplea22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/TipleaD22,
author = {Ferucio Laurentiu Tiplea and
Vlad{-}Florin Dragoi},
title = {Generalized Inverse Based Decoding},
booktitle = {{IEEE} International Symposium on Information Theory, {ISIT} 2022,
Espoo, Finland, June 26 - July 1, 2022},
pages = {2791--2796},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISIT50566.2022.9834696},
doi = {10.1109/ISIT50566.2022.9834696},
timestamp = {Mon, 08 Aug 2022 16:44:13 +0200},
biburl = {https://dblp.org/rec/conf/isit/TipleaD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-08640,
author = {Ferucio Laurentiu Tiplea and
Vlad{-}Florin Dragoi},
title = {Generalized Inverse Based Decoding},
journal = {CoRR},
volume = {abs/2202.08640},
year = {2022},
url = {https://arxiv.org/abs/2202.08640},
eprinttype = {arXiv},
eprint = {2202.08640},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-08640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TipleaITN22,
author = {Ferucio Laurentiu Tiplea and
Sorin Iftene and
George Teseleanu and
Anca{-}Maria Nica},
title = {Security of Identity-based Encryption Schemes from Quadratic Residues},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {12},
year = {2022},
url = {https://eprint.iacr.org/2022/012},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/TipleaITN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-ifs/TipleaD21,
author = {Ferucio Laurentiu Tiplea and
Constantin Catalin Dragan},
title = {Asymptotically ideal Chinese remainder theorem -based secret sharing
schemes for multilevel and compartmented access structures},
journal = {{IET} Inf. Secur.},
volume = {15},
number = {4},
pages = {282--296},
year = {2021},
url = {https://doi.org/10.1049/ise2.12014},
doi = {10.1049/ISE2.12014},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-ifs/TipleaD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/TipleaH21,
author = {Ferucio Laurentiu Tiplea and
Cristian Hristea},
title = {{PUF} Protected Variables: {A} Solution to {RFID} Security and Privacy
Under Corruption With Temporary State Disclosure},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {16},
pages = {999--1013},
year = {2021},
url = {https://doi.org/10.1109/TIFS.2020.3027147},
doi = {10.1109/TIFS.2020.3027147},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tifs/TipleaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/TipleaH21,
author = {Ferucio Laurentiu Tiplea and
Cristian Hristea},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {Practically Efficient {RFID} Scheme with Constant-time Identification},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography,
{SECRYPT} 2021, July 6-8, 2021},
pages = {495--506},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010544804950506},
doi = {10.5220/0010544804950506},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/TipleaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/TipleaITN20,
author = {Ferucio Laurentiu Tiplea and
Sorin Iftene and
George Teseleanu and
Anca{-}Maria Nica},
title = {On the distribution of quadratic residues and non-residues modulo
composite integers and applications to cryptography},
journal = {Appl. Math. Comput.},
volume = {372},
year = {2020},
url = {https://doi.org/10.1016/j.amc.2019.124993},
doi = {10.1016/J.AMC.2019.124993},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amc/TipleaITN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/HristeaT20,
author = {Cristian Hristea and
Ferucio Laurentiu Tiplea},
title = {Privacy of Stateful {RFID} Systems With Constant Tag Identifiers},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {15},
pages = {1920--1934},
year = {2020},
url = {https://doi.org/10.1109/TIFS.2019.2953398},
doi = {10.1109/TIFS.2019.2953398},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tifs/HristeaT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/TipleaIN20a,
author = {Ferucio Laurentiu Tiplea and
Alexandru Ionita and
Anca{-}Maria Nica},
editor = {Mohammad S. Obaidat and
Jalel Ben{-}Othman},
title = {Practically Efficient Attribute-Based Encryption for Compartmented
and Multilevel Access Structures},
booktitle = {E-Business and Telecommunications - 17th International Conference
on E-Business and Telecommunications, {ICETE} 2020, Online Event,
July 8-10, 2020, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1484},
pages = {129--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-90428-9\_6},
doi = {10.1007/978-3-030-90428-9\_6},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icete/TipleaIN20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/TipleaIN20,
author = {Ferucio Laurentiu Tiplea and
Alexandru Ionita and
Anca{-}Maria Nica},
editor = {Pierangela Samarati and
Sabrina De Capitani di Vimercati and
Mohammad S. Obaidat and
Jalel Ben{-}Othman},
title = {Practically Efficient Attribute-based Encryption for Compartmented
Access Structures},
booktitle = {Proceedings of the 17th International Joint Conference on e-Business
and Telecommunications, {ICETE} 2020 - Volume 2: SECRYPT, Lieusaint,
Paris, France, July 8-10, 2020},
pages = {201--212},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009887202010212},
doi = {10.5220/0009887202010212},
timestamp = {Wed, 29 Jul 2020 16:57:35 +0200},
biburl = {https://dblp.org/rec/conf/icete/TipleaIN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BelardinelliDMT20,
author = {Francesco Belardinelli and
Catalin Dima and
Vadim Malvone and
Ferucio Laurentiu Tiplea},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {A Hennessy-Milner Theorem for {ATL} with Imperfect Information},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {181--194},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394784},
doi = {10.1145/3373718.3394784},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/BelardinelliDMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofa/HristeaT20,
author = {Cristian Hristea and
Ferucio Laurentiu Tiplea},
editor = {Valentina Emilia Balas and
Lakhmi C. Jain and
Marius Mircea Balas and
Dumitru Baleanu},
title = {Destructive Privacy and Mutual Authentication in Vaudenay's {RFID}
Model},
booktitle = {Soft Computing Applications - Proceedings of the 9th International
Workshop Soft Computing Applications {(SOFA} 2020), Arad, Romania,
27-29 November 2020},
series = {Advances in Intelligent Systems and Computing},
volume = {1438},
pages = {648--676},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-031-23636-5\_51},
doi = {10.1007/978-3-031-23636-5\_51},
timestamp = {Tue, 31 Oct 2023 16:20:06 +0100},
biburl = {https://dblp.org/rec/conf/sofa/HristeaT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-15000,
author = {Francesco Belardinelli and
Catalin Dima and
Vadim Malvone and
Ferucio Laurentiu Tiplea},
title = {A Hennessy-Milner Theorem for {ATL} with Imperfect Information},
journal = {CoRR},
volume = {abs/2006.15000},
year = {2020},
url = {https://arxiv.org/abs/2006.15000},
eprinttype = {arXiv},
eprint = {2006.15000},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-15000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/NicaT19,
author = {Anca{-}Maria Nica and
Ferucio Laurentiu Tiplea},
title = {On Anonymization of Cocks' Identity-based Encryption Scheme},
journal = {Comput. Sci. J. Moldova},
volume = {27},
number = {3},
pages = {283--298},
year = {2019},
url = {http://www.math.md/publications/csjm/issues/v27-n3/13001/},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csjm/NicaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HristeaT19,
author = {Cristian Hristea and
Ferucio Laurentiu Tiplea},
title = {Destructive Privacy and Mutual Authentication in Vaudenay's {RFID}
Model},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {73},
year = {2019},
url = {https://eprint.iacr.org/2019/073},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/HristeaT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TipleaH19,
author = {Ferucio Laurentiu Tiplea and
Cristian Hristea},
title = {Privacy and Reader-first Authentication in Vaudenay's {RFID} Model
with Temporary State Disclosure},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {113},
year = {2019},
url = {https://eprint.iacr.org/2019/113},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TipleaH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TipleaITN19,
author = {Ferucio Laurentiu Tiplea and
Sorin Iftene and
George Teseleanu and
Anca{-}Maria Nica},
title = {On the Distribution of Quadratic Residues and Non-residues Modulo
Composite Integers and Applications to Cryptography},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {638},
year = {2019},
url = {https://eprint.iacr.org/2019/638},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TipleaITN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HristeaT19a,
author = {Cristian Hristea and
Ferucio Laurentiu Tiplea},
title = {Privacy of Stateful {RFID} Systems with Constant Tag Identifiers},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {831},
year = {2019},
url = {https://eprint.iacr.org/2019/831},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/HristeaT19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DraganT18,
author = {Constantin Catalin Dragan and
Ferucio Laurentiu Tiplea},
title = {On the asymptotic idealness of the Asmuth-Bloom threshold secret sharing
scheme},
journal = {Inf. Sci.},
volume = {463-464},
pages = {75--85},
year = {2018},
url = {https://doi.org/10.1016/j.ins.2018.06.046},
doi = {10.1016/J.INS.2018.06.046},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DraganT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/TipleaV18,
author = {Ferucio Laurentiu Tiplea and
Cosmin V{\^{a}}rlan},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Group Anonymity in Security Protocols},
booktitle = {Proceedings of the 2018 Federated Conference on Computer Science and
Information Systems, FedCSIS 2018, Pozna{\'{n}}, Poland, September
9-12, 2018},
series = {Annals of Computer Science and Information Systems},
volume = {15},
pages = {407--416},
year = {2018},
url = {https://doi.org/10.15439/2018F43},
doi = {10.15439/2018F43},
timestamp = {Tue, 23 Apr 2024 10:05:32 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/TipleaV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secitc/HristeaT18,
author = {Cristian Hristea and
Ferucio Laurentiu Tiplea},
editor = {Jean{-}Louis Lanet and
Cristian Toma},
title = {A PUF-Based Destructive Private Mutual Authentication {RFID} Protocol},
booktitle = {Innovative Security Solutions for Information Technology and Communications
- 11th International Conference, SecITC 2018, Bucharest, Romania,
November 8-9, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11359},
pages = {331--343},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12942-2\_25},
doi = {10.1007/978-3-030-12942-2\_25},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/secitc/HristeaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TipleaD18,
author = {Ferucio Laurentiu Tiplea and
Constantin Catalin Dragan},
title = {Asymptotically Ideal CRT-based Secret Sharing Schemes for Multilevel
and Compartmented Access Structures},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {933},
year = {2018},
url = {https://eprint.iacr.org/2018/933},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TipleaD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secitc/TipleaDN17,
author = {Ferucio Laurentiu Tiplea and
Constantin Catalin Dragan and
Anca{-}Maria Nica},
editor = {Pooya Farshim and
Emil Simion},
title = {Key-Policy Attribute-Based Encryption from Bilinear Maps},
booktitle = {Innovative Security Solutions for Information Technology and Communications
- 10th International Conference, SecITC 2017, Bucharest, Romania,
June 8-9, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10543},
pages = {28--42},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69284-5\_3},
doi = {10.1007/978-3-319-69284-5\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secitc/TipleaDN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DraganT16,
author = {Constantin Catalin Dragan and
Ferucio Laurentiu Tiplea},
title = {Distributive weighted threshold secret sharing schemes},
journal = {Inf. Sci.},
volume = {339},
pages = {85--97},
year = {2016},
url = {https://doi.org/10.1016/j.ins.2016.01.019},
doi = {10.1016/J.INS.2016.01.019},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DraganT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TipleaL16,
author = {Ferucio Laurentiu Tiplea and
Ioana Leahu},
title = {The Reversible Released Form of Petri Nets and Its Applications to
Soundness of Workflow Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {46},
number = {2},
pages = {303--312},
year = {2016},
url = {https://doi.org/10.1109/TSMC.2015.2426147},
doi = {10.1109/TSMC.2015.2426147},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TipleaL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secitc/TipleaITN16,
author = {Ferucio Laurentiu Tiplea and
Sorin Iftene and
George Teseleanu and
Anca{-}Maria Nica},
editor = {Ion Bica and
Reza Reyhanitabar},
title = {Security of Identity-Based Encryption Schemes from Quadratic Residues},
booktitle = {Innovative Security Solutions for Information Technology and Communications
- 9th International Conference, {SECITC} 2016, Bucharest, Romania,
June 9-10, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10006},
pages = {63--77},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47238-6\_4},
doi = {10.1007/978-3-319-47238-6\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secitc/TipleaITN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TipleaTIN16,
author = {Ferucio Laurentiu Tiplea and
George Teseleanu and
Sorin Iftene and
Anca{-}Maria Nica},
title = {Boneh-Gentry-Hamburg's Identity-based Encryption Schemes Revisited},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {516},
year = {2016},
url = {http://eprint.iacr.org/2016/516},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TipleaTIN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TipleaD15,
author = {Ferucio Laurentiu Tiplea and
Raluca A. Diaconu},
title = {Petri Net Computers and Workflow Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {45},
number = {3},
pages = {496--507},
year = {2015},
url = {https://doi.org/10.1109/TSMC.2014.2347933},
doi = {10.1109/TSMC.2014.2347933},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TipleaD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TipleaBC15,
author = {Ferucio Laurentiu Tiplea and
Corina Bocaneala and
Raluca Chirosca},
title = {On the Complexity of Deciding Soundness of Acyclic Workflow Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {45},
number = {9},
pages = {1292--1298},
year = {2015},
url = {https://doi.org/10.1109/TSMC.2015.2394735},
doi = {10.1109/TSMC.2015.2394735},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TipleaBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/balkancryptsec/DraganT15,
author = {Constantin Catalin Dragan and
Ferucio Laurentiu Tiplea},
editor = {Enes Pasalic and
Lars R. Knudsen},
title = {Key-Policy Attribute-Based Encryption for General Boolean Circuits
from Secret Sharing and Multi-linear Maps},
booktitle = {Cryptography and Information Security in the Balkans - Second International
Conference, BalkanCryptSec 2015, Koper, Slovenia, September 3-4, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9540},
pages = {112--133},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29172-7\_8},
doi = {10.1007/978-3-319-29172-7\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/balkancryptsec/DraganT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secitc/NastaseT15,
author = {George{-}Daniel Nastase and
Ferucio Laurentiu Tiplea},
editor = {Ion Bica and
David Naccache and
Emil Simion},
title = {On a Lightweight Authentication Protocol for {RFID}},
booktitle = {Innovative Security Solutions for Information Technology and Communications
- 8th International Conference, {SECITC} 2015, Bucharest, Romania,
June 11-12, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9522},
pages = {212--225},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27179-8\_15},
doi = {10.1007/978-3-319-27179-8\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/secitc/NastaseT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TipleaS15,
author = {Ferucio Laurentiu Tiplea and
Emil Simion},
title = {New Results on Identity-based Encryption from Quadratic Residuosity},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {900},
year = {2015},
url = {http://eprint.iacr.org/2015/900},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TipleaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TipleaD14,
author = {Ferucio Laurentiu Tiplea and
Constantin Catalin Dragan},
title = {A necessary and sufficient condition for the asymptotic idealness
of the {GRS} threshold secret sharing scheme},
journal = {Inf. Process. Lett.},
volume = {114},
number = {6},
pages = {299--303},
year = {2014},
url = {https://doi.org/10.1016/j.ipl.2014.01.008},
doi = {10.1016/J.IPL.2014.01.008},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/TipleaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TipleaB14,
author = {Ferucio Laurentiu Tiplea and
Corina Bocaneala},
title = {Resource Relocation in Workflow Nets With Time, Resource, and Task
Priority Constraints},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {44},
number = {7},
pages = {953--965},
year = {2014},
url = {https://doi.org/10.1109/TSMC.2013.2295354},
doi = {10.1109/TSMC.2013.2295354},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TipleaB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/balkancryptsec/TipleaD14,
author = {Ferucio Laurentiu Tiplea and
Constantin Catalin Dragan},
editor = {Berna {\"{O}}rs and
Bart Preneel},
title = {Key-Policy Attribute-Based Encryption for Boolean Circuits from Bilinear
Maps},
booktitle = {Cryptography and Information Security in the Balkans - First International
Conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16-17,
2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9024},
pages = {175--193},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-21356-9\_12},
doi = {10.1007/978-3-319-21356-9\_12},
timestamp = {Tue, 16 Nov 2021 09:08:54 +0100},
biburl = {https://dblp.org/rec/conf/balkancryptsec/TipleaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crss/Tiplea14,
author = {Ferucio Laurentiu Tiplea},
editor = {Zbigniew Kotulski and
Bogdan Ksiezopolski and
Katarzyna Mazur},
title = {A Lightweight Authentication Protocol for {RFID}},
booktitle = {Cryptography and Security Systems - Third International Conference,
{CSS} 2014, Lublin, Poland, September 22-24, 2014. Proceedings},
series = {Communications in Computer and Information Science},
volume = {448},
pages = {110--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44893-9\_10},
doi = {10.1007/978-3-662-44893-9\_10},
timestamp = {Mon, 16 Sep 2019 15:28:47 +0200},
biburl = {https://dblp.org/rec/conf/crss/Tiplea14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/DraganT14,
author = {Constantin Catalin Dragan and
Ferucio Laurentiu Tiplea},
title = {Efficient Key-policy Attribute-based Encryption for General Boolean
Circuits from Multilinear Maps},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {462},
year = {2014},
url = {http://eprint.iacr.org/2014/462},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/DraganT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TipleaD14,
author = {Ferucio Laurentiu Tiplea and
Constantin Catalin Dragan},
title = {Key-policy Attribute-based Encryption for Boolean Circuits from Bilinear
Maps},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {608},
year = {2014},
url = {http://eprint.iacr.org/2014/608},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TipleaD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/DraganT14a,
author = {Constantin Catalin Dragan and
Ferucio Laurentiu Tiplea},
title = {On the Asymptotic Idealness of the Asmuth-Bloom Threshold Secret Sharing
Scheme},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {955},
year = {2014},
url = {http://eprint.iacr.org/2014/955},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/DraganT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/TipleaVV13,
author = {Ferucio Laurentiu Tiplea and
Loredana Vamanu and
Cosmin V{\^{a}}rlan},
title = {Reasoning about minimal anonymity in security protocols},
journal = {Future Gener. Comput. Syst.},
volume = {29},
number = {3},
pages = {828--842},
year = {2013},
url = {https://doi.org/10.1016/j.future.2012.02.001},
doi = {10.1016/J.FUTURE.2012.02.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/TipleaVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/BarzuTD13,
author = {Mihai Barzu and
Ferucio Laurentiu Tiplea and
Constantin Catalin Dragan},
title = {Compact sequences of co-primes and their applications to the security
of CRT-based threshold schemes},
journal = {Inf. Sci.},
volume = {240},
pages = {161--172},
year = {2013},
url = {https://doi.org/10.1016/j.ins.2013.03.062},
doi = {10.1016/J.INS.2013.03.062},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/BarzuTD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TipleaB13,
author = {Ferucio Laurentiu Tiplea and
Corina Bocaneala},
title = {Priority Workflow Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {43},
number = {2},
pages = {402--415},
year = {2013},
url = {https://doi.org/10.1109/TSMCA.2012.2198465},
doi = {10.1109/TSMCA.2012.2198465},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TipleaB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TipleaB12,
author = {Ferucio Laurentiu Tiplea and
Corina Bocaneala},
title = {Decidability Results for Soundness Criteria of Resource-Constrained
Workflow Nets},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {42},
number = {1},
pages = {238--249},
year = {2012},
url = {https://doi.org/10.1109/TSMCA.2011.2147310},
doi = {10.1109/TSMCA.2011.2147310},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TipleaB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-4225,
author = {Catalin Dima and
Ferucio Laurentiu Tiplea},
title = {Model-checking {ATL} under Imperfect Information and Perfect Recall
Semantics is Undecidable},
journal = {CoRR},
volume = {abs/1102.4225},
year = {2011},
url = {http://arxiv.org/abs/1102.4225},
eprinttype = {arXiv},
eprint = {1102.4225},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-4225.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/TipleaVV10,
author = {Ferucio Laurentiu Tiplea and
Loredana Vamanu and
Cosmin V{\^{a}}rlan},
editor = {Dimitris Gritzalis and
Bart Preneel and
Marianthi Theoharidou},
title = {Complexity of Anonymity for Security Protocols},
booktitle = {Computer Security - {ESORICS} 2010, 15th European Symposium on Research
in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6345},
pages = {558--572},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15497-3\_34},
doi = {10.1007/978-3-642-15497-3\_34},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/TipleaVV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TipleaM09,
author = {Ferucio Laurentiu Tiplea and
Geanina Ionela Macovei},
title = {Soundness for {S} - and {A} -Timed Workflow Nets Is Undecidable},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {39},
number = {4},
pages = {924--932},
year = {2009},
url = {https://doi.org/10.1109/TSMCA.2008.2010304},
doi = {10.1109/TSMCA.2008.2010304},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TipleaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/Hamza-LupT09,
author = {Felix G. Hamza{-}Lup and
Ferucio Laurentiu Tiplea},
editor = {Henning Bordihn and
Rudolf Freund and
Markus Holzer and
Martin Kutrib and
Friedrich Otto},
title = {An Automaton-based Formalism for Cooperative Augmented Reality Systems},
booktitle = {Workshop on Non-Classical Models for Automata and Applications - {NCMA}
2009, Wroclaw, Poland, August 31 - September 1, 2009. Proceedings},
series = {books@ocg.at},
volume = {256},
pages = {135--150},
publisher = {Austrian Computer Society},
year = {2009},
timestamp = {Thu, 17 Mar 2016 10:50:07 +0100},
biburl = {https://dblp.org/rec/conf/ncma/Hamza-LupT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CojocaruMT09,
author = {Liliana Cojocaru and
Erkki M{\"{a}}kinen and
Ferucio Laurentiu Tiplea},
editor = {Stephen M. Watt and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Classes of Szilard Languages in NC\({}^{\mbox{1}}\)},
booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
26-29, 2009},
pages = {299--306},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SYNASC.2009.58},
doi = {10.1109/SYNASC.2009.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CojocaruMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/TipleaBEB08,
author = {Ferucio Laurentiu Tiplea and
Catalin V. B{\^{\i}}rjoveanu and
Constantin Enea and
Ioana Boureanu},
title = {Secrecy for bounded security protocols with freshness check is NEXPTIME-complete},
journal = {J. Comput. Secur.},
volume = {16},
number = {6},
pages = {689--712},
year = {2008},
url = {https://doi.org/10.3233/JCS-2007-0306},
doi = {10.3233/JCS-2007-0306},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/TipleaBEB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ics2/2006,
editor = {Catalin Dima and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Proceedings of the First Workshop in Information and Computer Security,
ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {186},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/186/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics2/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/TipleaE06,
author = {Ferucio Laurentiu Tiplea and
Constantin Enea},
title = {Abstractions of data types},
journal = {Acta Informatica},
volume = {42},
number = {8-9},
pages = {639--671},
year = {2006},
url = {https://doi.org/10.1007/s00236-006-0010-3},
doi = {10.1007/S00236-006-0010-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/TipleaE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TipleaT06,
author = {Ferucio Laurentiu Tiplea and
Aurora Tiplea},
title = {Petri net reactive modules},
journal = {Theor. Comput. Sci.},
volume = {359},
number = {1-3},
pages = {77--100},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.02.001},
doi = {10.1016/J.TCS.2006.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TipleaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/TipleaM06,
author = {Ferucio Laurentiu Tiplea and
Geanina Ionela Macovei},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {E-timed Workflow Nets},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {423--429},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.33},
doi = {10.1109/SYNASC.2006.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/TipleaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/LeahuT06,
author = {Ioana Leahu and
Ferucio Laurentiu Tiplea},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {The Confluence Property for Petri Nets and its Applications},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {430--436},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.71},
doi = {10.1109/SYNASC.2006.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/LeahuT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DimaMT07,
author = {Catalin Dima and
Marius Minea and
Ferucio Laurentiu Tiplea},
editor = {Catalin Dima and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Preface},
booktitle = {Proceedings of the First Workshop in Information and Computer Security,
ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {186},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.035},
doi = {10.1016/J.ENTCS.2007.05.035},
timestamp = {Tue, 31 Jan 2023 14:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DimaMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vissas/2005,
editor = {Edmund M. Clarke and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Verification of Infinite-State Systems with Applications to Security,
Proceedings of the {NATO} Advanced Research Workshop "Verification
of Infinite State Systems with Applications to Security {VISSAS} 2005",
Timisoara, Romania, March 17-22, 2005},
series = {{NATO} Security through Science Series {D:} Information and Communication
Security},
volume = {1},
publisher = {{IOS} Press},
year = {2006},
isbn = {1-58603-570-3},
timestamp = {Thu, 07 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vissas/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TipleaM05,
author = {Ferucio Laurentiu Tiplea and
Dan C. Marinescu},
title = {Structural soundness of workflow nets is decidable},
journal = {Inf. Process. Lett.},
volume = {96},
number = {2},
pages = {54--58},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.06.002},
doi = {10.1016/J.IPL.2005.06.002},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/TipleaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/TipleaM05,
author = {Ferucio Laurentiu Tiplea and
Geanina Ionela Macovei},
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {Timed Workflow Nets},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {361--366},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.75},
doi = {10.1109/SYNASC.2005.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/TipleaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/TipleaT05,
author = {Ferucio Laurentiu Tiplea and
Aurora Tiplea},
editor = {Daniela Zaharie and
Dana Petcu and
Viorel Negru and
Tudor Jebelean and
Gabriel Ciobanu and
Alexandru Cicortas and
Ajith Abraham and
Marcin Paprzycki},
title = {Instantiating Nets and Their Applications to Workflow Nets},
booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
Romania},
pages = {367--373},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SYNASC.2005.39},
doi = {10.1109/SYNASC.2005.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/TipleaT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/TipleaEB05,
author = {Ferucio Laurentiu Tiplea and
Constantin Enea and
Catalin V. B{\^{\i}}rjoveanu},
editor = {Edmund M. Clarke and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Decidability and Complexity Results for Security Protocols},
booktitle = {Verification of Infinite-State Systems with Applications to Security,
Proceedings of the {NATO} Advanced Research Workshop "Verification
of Infinite State Systems with Applications to Security {VISSAS} 2005",
Timisoara, Romania, March 17-22, 2005},
series = {{NATO} Security through Science Series {D:} Information and Communication
Security},
volume = {1},
pages = {185--211},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Wed, 29 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vissas/TipleaEB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/MelinteOOT02,
author = {Roxana Melinte and
Olivia Oanea and
Ioana Olga and
Ferucio Laurentiu Tiplea},
title = {The Home Marking Problem and Some Related Concepts},
journal = {Acta Cybern.},
volume = {15},
number = {3},
pages = {467--478},
year = {2002},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3590},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/MelinteOOT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TipleaMTE02,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen and
Dragos Trinca and
Costel Enea},
title = {Characterization Results for Time-Varying Codes},
journal = {Fundam. Informaticae},
volume = {53},
number = {2},
pages = {185--198},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-2-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/TipleaMTE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/TipleaME02,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen and
Constantin Enea},
title = {SE-Systems, Timing Mechanisms, and Time-Varying Codes},
journal = {Int. J. Comput. Math.},
volume = {79},
number = {10},
pages = {1083--1091},
year = {2002},
url = {https://doi.org/10.1080/00207160212709},
doi = {10.1080/00207160212709},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/TipleaME02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/TipleaM02,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen},
title = {On the Complexity of a Problem on Monadic String Rewriting Systems},
journal = {J. Autom. Lang. Comb.},
volume = {7},
number = {4},
pages = {599--609},
year = {2002},
url = {https://doi.org/10.25596/jalc-2002-599},
doi = {10.25596/JALC-2002-599},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/TipleaM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/MelinteOOT02,
author = {Roxana Melinte and
Olivia Oanea and
Ioana Olga and
Ferucio Laurentiu Tiplea},
editor = {J{\"{o}}rg Desel and
Mathias Weske},
title = {The home marking problem and some related concepts},
booktitle = {Prozessorientierte Methoden und Werkzeuge f{\"{u}}r die Entwicklung
von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam},
series = {{LNI}},
volume = {{P-21}},
pages = {104--115},
publisher = {{GI}},
year = {2002},
url = {https://dl.gi.de/handle/20.500.12116/30159},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emisa/MelinteOOT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/TipleaT02,
author = {Ferucio Laurentiu Tiplea and
Aurora Tiplea},
editor = {Agostino Cortesi},
title = {A Simulation Preorder for Abstraction of Reactive Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {272--288},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_19},
doi = {10.1007/3-540-47813-2\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/TipleaT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/TipleaMA01,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen and
Corina Apachite},
title = {Synchronized extension systems},
journal = {Acta Informatica},
volume = {37},
number = {6},
pages = {449--465},
year = {2001},
url = {https://doi.org/10.1007/PL00013310},
doi = {10.1007/PL00013310},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/TipleaMA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TipleaM01,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen},
title = {A Note on SE-Systems and Regular Canonical Systems},
journal = {Fundam. Informaticae},
volume = {46},
number = {3},
pages = {253--256},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi46-3-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/TipleaM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TipleaM01,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen},
title = {A note on synchronized extension systems},
journal = {Inf. Process. Lett.},
volume = {79},
number = {1},
pages = {7--9},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(00)00167-8},
doi = {10.1016/S0020-0190(00)00167-8},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/TipleaM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/TipleaM01,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen},
editor = {J{\"{u}}rgen Dassow and
Detlef Wotschke},
title = {On the Complexity of a Problem on Monadic String Rewriting Systems},
booktitle = {Third International Workshop on Descriptional Complexity of Automata,
Grammars and Related Structures - {DCAGRS} 2001, Vienna, Austria,
July 20 - 22, 2001. Preproceedings},
volume = {Preprint Nr. 16},
pages = {187--194},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg, Magdeburg, Germany},
year = {2001},
timestamp = {Sun, 23 Oct 2011 12:03:27 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/TipleaM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/TipleaB00,
author = {Ferucio Laurentiu Tiplea and
Cristina Badarau},
title = {A Note on Decidability of Reachability for Conditional Petri Nets},
journal = {Acta Cybern.},
volume = {14},
number = {3},
pages = {455--459},
year = {2000},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3538},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/TipleaB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awpn/TipleaD99,
author = {Ferucio Laurentiu Tiplea and
J{\"{o}}rg Desel},
editor = {J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Petri Net Process Decomposition with Application to Validation},
booktitle = {6. Workshop Algorithmen und Werkzeuge f{\"{u}}r Petrinetze (AWPN'99),
Frankfurt, Germany, October 11. - 12., 1999},
series = {{CEUR} Workshop Proceedings},
volume = {26},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-26/tiplea.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/awpn/TipleaD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TipleaT98,
author = {Ferucio Laurentiu Tiplea and
Aurora Tiplea},
title = {On Normalization of Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {8},
pages = {151--161},
year = {1998},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/TipleaT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MakinenT97,
author = {Erkki M{\"{a}}kinen and
Ferucio Laurentiu Tiplea},
title = {Pattern Ambiguities for Pure Context-Free Grammars},
journal = {Fundam. Informaticae},
volume = {30},
number = {2},
pages = {183--191},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-30205},
doi = {10.3233/FI-1997-30205},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MakinenT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/TipleaM97,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen},
title = {Jumping Petri Nets. Specific Properties},
journal = {Fundam. Informaticae},
volume = {32},
number = {3-4},
pages = {373--392},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-323411},
doi = {10.3233/FI-1997-323411},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/TipleaM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/TipleaKI97,
author = {Ferucio Laurentiu Tiplea and
Masashi Katsura and
Masami Ito},
title = {Processes and Vectorial Characterizations of Parallel Communicating
Grammar Systems},
journal = {J. Autom. Lang. Comb.},
volume = {2},
number = {1},
pages = {47--73},
year = {1997},
url = {https://doi.org/10.25596/jalc-1997-047},
doi = {10.25596/JALC-1997-047},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/TipleaKI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/TipleaE97,
author = {Ferucio Laurentiu Tiplea and
Cristian Ene},
title = {Hierarchies of Petri Net Languages and a Super-Normal Form},
journal = {J. Autom. Lang. Comb.},
volume = {2},
number = {3},
pages = {187--204},
year = {1997},
url = {https://doi.org/10.25596/jalc-1997-187},
doi = {10.25596/JALC-1997-187},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/TipleaE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/TipleaM97,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen},
editor = {Symeon Bozapalidis},
title = {Jumping Petri Nets - Specific Properties},
booktitle = {Proceedings of the 3rd International Conference Developments in Language
Theory, {DLT} 1997, Thessaloniki, Greece, July 20-23, 1997},
pages = {461--476},
publisher = {Aristotle University of Thessaloniki},
year = {1997},
timestamp = {Tue, 20 May 2008 10:45:10 +0200},
biburl = {https://dblp.org/rec/conf/dlt/TipleaM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/TipleaKI96,
author = {Ferucio Laurentiu Tiplea and
Masashi Katsura and
Masami Ito},
title = {On a Normal Form of Petri Nets},
journal = {Acta Cybern.},
volume = {12},
number = {3},
pages = {295--308},
year = {1996},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3463},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/TipleaKI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/MateiT95,
author = {Codrut Matei and
Ferucio Laurentiu Tiplea},
editor = {J{\"{u}}rgen Dassow and
Grzegorz Rozenberg and
Arto Salomaa},
title = {(0, 1)-Total Pure Context-Free Grammars},
booktitle = {Developments in Language Theory II, At the Crossroads of Mathematics,
Computer Science and Biology, Magdeburg, Germany, 17-21 July 1995},
pages = {148--153},
publisher = {World Scientific, Singapore},
year = {1995},
timestamp = {Fri, 26 May 2017 12:54:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt/MateiT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/TipleaE95,
author = {Ferucio Laurentiu Tiplea and
Cristian Ene},
editor = {J{\"{u}}rgen Dassow and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Hierarchies of Petri Net Languages and a Super-Normal Form},
booktitle = {Developments in Language Theory II, At the Crossroads of Mathematics,
Computer Science and Biology, Magdeburg, Germany, 17-21 July 1995},
pages = {396--405},
publisher = {World Scientific, Singapore},
year = {1995},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/TipleaE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TipleaEIP94,
author = {Ferucio Laurentiu Tiplea and
Cristian Ene and
Cecilia Magdalena Ionescu and
Octavian Procopiuc},
title = {Some Decision Problems for Parallel Communicating Grammar Systems},
journal = {Theor. Comput. Sci.},
volume = {134},
number = {2},
pages = {365--385},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90243-7},
doi = {10.1016/0304-3975(94)90243-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TipleaEIP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/94/Tiplea94,
author = {Ferucio{-}Laurentiu Tiplea},
editor = {Gheorghe Paun},
title = {On Conditional Grammars and Conditional Petri Nets},
booktitle = {Mathematical Aspects of Natural and Formal Languages},
series = {World scientific series in computer science},
volume = {43},
pages = {431--455},
publisher = {World Scientific},
year = {1994},
url = {https://doi.org/10.1142/9789814447133\_0026},
doi = {10.1142/9789814447133\_0026},
timestamp = {Fri, 19 Jul 2019 09:26:49 +0200},
biburl = {https://dblp.org/rec/books/ws/94/Tiplea94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JucanMT93,
author = {Toader Jucan and
Cristian Masalagiu and
Ferucio Laurentiu Tiplea},
title = {Relation Based Controlled Petri Nets},
journal = {Sci. Ann. Cuza Univ.},
volume = {2},
pages = {27--36},
year = {1993},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/JucanMT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/TipleaE93,
author = {Ferucio Laurentiu Tiplea and
Cristian Ene},
title = {A Coverability Structure for Parallel Communicating Grammar Systems},
journal = {J. Inf. Process. Cybern.},
volume = {29},
number = {5},
pages = {303--315},
year = {1993},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/TipleaE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Tiplea92,
author = {Ferucio Laurentiu Tiplea},
title = {Corrections to "Reversible and Strict Reversible P/T-Systems"},
journal = {Sci. Ann. Cuza Univ.},
volume = {1},
pages = {77--80},
year = {1992},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Tiplea92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/Tiplea92,
author = {Ferucio{-}Laurentiu Tiplea},
title = {Selective petri net languages},
journal = {Int. J. Comput. Math.},
volume = {43},
number = {1-2},
pages = {61--80},
year = {1992},
url = {https://doi.org/10.1080/00207169208804073},
doi = {10.1080/00207169208804073},
timestamp = {Fri, 07 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/Tiplea92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/TipleaJM91,
author = {Ferucio Laurentiu Tiplea and
Toader Jucan and
Cristian Masalagiu},
title = {Conditional Petri Net Languages},
journal = {J. Inf. Process. Cybern.},
volume = {27},
number = {1},
pages = {55--66},
year = {1991},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/TipleaJM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-07 02:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
