| 2008 |
|---|
| 36 | EE | Ferucio Laurentiu Tiplea,
Catalin V. Birjoveanu,
Constantin Enea,
Ioana Boureanu:
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete.
Journal of Computer Security 16(6): 689-712 (2008) |
| 2007 |
|---|
| 35 | EE | Catalin Dima,
Marius Minea,
Ferucio Laurentiu Tiplea:
Preface.
Electr. Notes Theor. Comput. Sci. 186: 1-2 (2007) |
| 2006 |
|---|
| 34 | | Edmund M. Clarke,
Marius Minea,
Ferucio Laurentiu Tiplea:
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
IOS Press 2006 |
| 33 | EE | Ferucio Laurentiu Tiplea,
Geanina Ionela Macovei:
E-timed Workflow Nets.
SYNASC 2006: 423-429 |
| 32 | EE | Ioana Leahu,
Ferucio Laurentiu Tiplea:
The Confluence Property for Petri Nets and its Applications.
SYNASC 2006: 430-436 |
| 31 | EE | Ferucio Laurentiu Tiplea,
Constantin Enea:
Abstractions of data types.
Acta Inf. 42(8-9): 639-671 (2006) |
| 30 | EE | Ferucio Laurentiu Tiplea,
Aurora Tiplea:
Petri net reactive modules.
Theor. Comput. Sci. 359(1-3): 77-100 (2006) |
| 2005 |
|---|
| 29 | EE | Ferucio Laurentiu Tiplea,
Geanina Ionela Macovei:
Timed Workflow Nets.
SYNASC 2005: 361-366 |
| 28 | EE | Ferucio Laurentiu Tiplea,
Aurora Tiplea:
Instantiating Nets and Their Applications to Workflow Nets.
SYNASC 2005: 367-373 |
| 27 | | Ferucio Laurentiu Tiplea,
Constantin Enea,
Catalin V. Birjoveanu:
Decidability and Complexity Results for Security Protocols.
VISSAS 2005: 185-211 |
| 26 | EE | Ferucio Laurentiu Tiplea,
Dan C. Marinescu:
Structural soundness of workflow nets is decidable.
Inf. Process. Lett. 96(2): 54-58 (2005) |
| 2002 |
|---|
| 25 | | Roxana Melinte,
Olivia Oanea,
Ioana Olga,
Ferucio Laurentiu Tiplea:
The home marking problem and some related concepts.
Promise 2002: 104-115 |
| 24 | EE | Ferucio Laurentiu Tiplea,
Aurora Tiplea:
A Simulation Preorder for Abstraction of Reactive Systems.
VMCAI 2002: 272-288 |
| 23 | EE | Roxana Melinte,
Olivia Oanea,
Ioana Olga,
Ferucio Laurentiu Tiplea:
The Home Marking Problem and Some Related Concepts.
Acta Cybern. 15(3): 467-478 (2002) |
| 22 | EE | Ferucio Laurentiu Tiplea,
Erkki Mäkinen,
Dragos Trinca,
Costel Enea:
Characterization Results for Time-Varying Codes.
Fundam. Inform. 53(2): 185-198 (2002) |
| 21 | EE | Ferucio Laurentiu Tiplea,
Erkki Mäkinen,
Constantin Enea:
SE-Systems, Timing Mechanisms, and Time-Varying Codes.
Int. J. Comput. Math. 79(10): 1083-1091 (2002) |
| 20 | | Ferucio Laurentiu Tiplea,
Erkki Mäkinen:
On the Complexity of a Problem on Monadic String Rewriting Systems.
Journal of Automata, Languages and Combinatorics 7(4): 599-609 (2002) |
| 2001 |
|---|
| 19 | EE | Ferucio Laurentiu Tiplea,
Erkki Mäkinen,
Corina Apachite:
Synchronized extension systems.
Acta Inf. 37(6): 449-465 (2001) |
| 18 | | Ferucio Laurentiu Tiplea,
Erkki Mäkinen:
A Note on SE-Systems and Regular Canonical Systems.
Fundam. Inform. 46(3): 253-256 (2001) |
| 17 | EE | Ferucio Laurentiu Tiplea,
Erkki Mäkinen:
A note on synchronized extension systems.
Inf. Process. Lett. 79(1): 7-9 (2001) |
| 2000 |
|---|
| 16 | EE | Ferucio Laurentiu Tiplea,
Cristina Badarau:
A Note on Decidability of Reachability for Conditional Petri Nets.
Acta Cybern. 14(3): 455-459 (2000) |
| 1999 |
|---|
| 15 | EE | Ferucio Laurentiu Tiplea,
Jörg Desel:
Petri Net Process Decomposition with Application to Validation.
AWPN 1999 |
| 1998 |
|---|
| 14 | | Ferucio Laurentiu Tiplea,
Aurora Tiplea:
On Normalization of Petri Nets.
Sci. Ann. Cuza Univ. 8: 151-161 (1998) |
| 1997 |
|---|
| 13 | | Ferucio Laurentiu Tiplea,
Erkki Mäkinen:
Jumping Petri Nets - Specific Properties.
Developments in Language Theory 1997: 461-476 |
| 12 | | Erkki Mäkinen,
Ferucio Laurentiu Tiplea:
Pattern Ambiguities for Pure Context-Free Grammars.
Fundam. Inform. 30(2): 183-191 (1997) |
| 11 | | Ferucio Laurentiu Tiplea,
Erkki Mäkinen:
Jumping Petri Nets. Specific Properties.
Fundam. Inform. 32(3-4): 373-392 (1997) |
| 10 | | Ferucio Laurentiu Tiplea,
Masashi Katsura,
Masami Ito:
Processes and Vectorial Characterizations of Parallel Communicating Grammar Systems.
Journal of Automata, Languages and Combinatorics 2(1): 47-78 (1997) |
| 9 | | Ferucio Laurentiu Tiplea,
Cristian Ene:
Hierarchies of Petri Net Languages and a Super-Normal Form.
Journal of Automata, Languages and Combinatorics 2(3): 187-208 (1997) |
| 1996 |
|---|
| 8 | EE | Ferucio Laurentiu Tiplea,
Masashi Katsura,
Masami Ito:
On a Normal Form of Petri Nets.
Acta Cybern. 12(3): 295-308 (1996) |
| 1995 |
|---|
| 7 | | Codrut Matei,
Ferucio Laurentiu Tiplea:
(0, 1)-Total Pure Context-Free Grammars.
Developments in Language Theory 1995: 148-153 |
| 6 | | Ferucio Laurentiu Tiplea,
Cristian Ene:
Hierarchies of Petri Net Languages and a Super-Normal Form.
Developments in Language Theory 1995: 396-405 |
| 1994 |
|---|
| 5 | | Ferucio Laurentiu Tiplea,
Cristian Ene,
Cecilia Magdalena Ionescu,
Octavian Procopiuc:
Some Decision Problems for Parallel Communicating Grammar Systems.
Theor. Comput. Sci. 134(2): 365-385 (1994) |
| 1993 |
|---|
| 4 | | Ferucio Laurentiu Tiplea,
Cristian Ene:
A Coverability Structure for Parallel Communicating Grammar Systems.
Elektronische Informationsverarbeitung und Kybernetik 29(5): 303-315 (1993) |
| 3 | | Toader Jucan,
Cristian Masalagiu,
Ferucio Laurentiu Tiplea:
Relation Based Controlled Petri Nets.
Sci. Ann. Cuza Univ. 2: 27-36 (1993) |
| 1992 |
|---|
| 2 | | Ferucio Laurentiu Tiplea:
Corrections to "Reversible and Strict Reversible P/T-Systems".
Sci. Ann. Cuza Univ. 1: 77-80 (1992) |
| 1991 |
|---|
| 1 | | Ferucio Laurentiu Tiplea,
Toader Jucan,
Cristian Masalagiu:
Conditional Petri Net Languages.
Elektronische Informationsverarbeitung und Kybernetik 27(1): 55-66 (1991) |
