The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ferucio Laurentiu Tiplea: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  34. Jumping Petri Nets - Specific Properties. [Citation Graph (, )][DBLP]


  35. Complexity of Anonymity for Security Protocols. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002