Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ferucio Laurentiu Tiplea" ( http://dblp.L3S.de/Authors/Ferucio_Laurentiu_Tiplea )

  Author page on DBLP  Author page in RDF  Community of Ferucio Laurentiu Tiplea in ASPL-2

Publication years (Num. hits)
1991-1999 (15) 2000-2005 (15) 2006-2012 (13)
Publication types (Num. hits)
article(27) inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
SYNASC(5) Fundam. Inform.(4) Acta Cybern.(3) Developments in Language Theor...(3) Journal of Automata, Languages...(3) Sci. Ann. Cuza Univ.(3) Acta Inf.(2) Elektronische Informationsvera...(2) IEEE Transactions on Systems, ...(2) Inf. Process. Lett.(2) Theor. Comput. Sci.(2) VISSAS(2) AWPN(1) CoRR(1) DCFS(1) Electr. Notes Theor. Comput. S...(1) More (+10 of total 22)
Authors
Ferucio Laurentiu Tiplea(43) Erkki Mäkinen(11) Aurora Tiplea(4) Constantin Enea(4) Cristian Ene(4) Geanina Ionela Macovei(3) Catalin Dima(2) Catalin V. Birjoveanu(2) Cristian Masalagiu(2) Ioana Olga(2) Marius Minea(2) Masami Ito(2) Masashi Katsura(2) Olivia Oanea(2) Roxana Melinte(2) Toader Jucan(2) More (+10 of total 33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 43 publication records. Showing 43 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ferucio Laurentiu Tiplea, Corina Bocaneala Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets. Search on Bibsonomy IEEE Transactions on Systems, Man, and Cybernetics, Part A The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Catalin Dima, Ferucio Laurentiu Tiplea Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vârlan Complexity of Anonymity for Security Protocols. Search on Bibsonomy ESORICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Geanina Ionela Macovei Soundness for S - and A -Timed Workflow Nets Is Undecidable. Search on Bibsonomy IEEE Transactions on Systems, Man, and Cybernetics, Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Liliana Cojocaru, Erkki Mäkinen, Ferucio Laurentiu Tiplea Classes of Szilard Languages in NC1. Search on Bibsonomy SYNASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Felix G. Hamza-Lup, Ferucio Laurentiu Tiplea An Automaton-based Formalism for Cooperative Augmented Reality Systems. Search on Bibsonomy NCMA The full citation details ... 2009 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Catalin V. Birjoveanu, Constantin Enea, Ioana Boureanu Secrecy for bounded security protocols with freshness check is NEXPTIME-complete. Search on Bibsonomy Journal of Computer Security The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Aurora Tiplea Petri net reactive modules. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Constantin Enea Abstractions of data types. Search on Bibsonomy Acta Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Verification, Abstraction, Data type, Universal algebra
1Ioana Leahu, Ferucio Laurentiu Tiplea The Confluence Property for Petri Nets and its Applications. Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Geanina Ionela Macovei E-timed Workflow Nets. Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea (eds.) 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 Search on Bibsonomy VISSAS The full citation details ... 2006 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Dan C. Marinescu Structural soundness of workflow nets is decidable. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Aurora Tiplea Instantiating Nets and Their Applications to Workflow Nets. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Geanina Ionela Macovei Timed Workflow Nets. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu Decidability and Complexity Results for Security Protocols. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea The Home Marking Problem and Some Related Concepts. Search on Bibsonomy Acta Cybern. The full citation details ... 2002 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen, Dragos Trinca, Costel Enea Characterization Results for Time-Varying Codes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2002 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen On the Complexity of a Problem on Monadic String Rewriting Systems. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 2002 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea SE-Systems, Timing Mechanisms, and Time-Varying Codes. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Roxana Melinte, Olivia Oanea, Ioana Olga, Ferucio Laurentiu Tiplea The home marking problem and some related concepts. Search on Bibsonomy Promise The full citation details ... 2002 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Aurora Tiplea A Simulation Preorder for Abstraction of Reactive Systems. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen A note on synchronized extension systems. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen, Corina Apachite Synchronized extension systems. Search on Bibsonomy Acta Inf. The full citation details ... 2001 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen A Note on SE-Systems and Regular Canonical Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2001 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen On the Complexity of a Problem on Monadic String Rewriting Systems. Search on Bibsonomy DCFS The full citation details ... 2001 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Cristina Badarau A Note on Decidability of Reachability for Conditional Petri Nets. Search on Bibsonomy Acta Cybern. The full citation details ... 2000 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Jörg Desel Petri Net Process Decomposition with Application to Validation. Search on Bibsonomy AWPN The full citation details ... 1999 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Aurora Tiplea On Normalization of Petri Nets. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 1998 DBLP  BibTeX  RDF
1Erkki Mäkinen, Ferucio Laurentiu Tiplea Pattern Ambiguities for Pure Context-Free Grammars. Search on Bibsonomy Fundam. Inform. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen Jumping Petri Nets. Specific Properties. Search on Bibsonomy Fundam. Inform. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Cristian Ene Hierarchies of Petri Net Languages and a Super-Normal Form. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 1997 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Masashi Katsura, Masami Ito Processes and Vectorial Characterizations of Parallel Communicating Grammar Systems. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 1997 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Erkki Mäkinen Jumping Petri Nets - Specific Properties. Search on Bibsonomy Developments in Language Theory The full citation details ... 1997 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Masashi Katsura, Masami Ito On a Normal Form of Petri Nets. Search on Bibsonomy Acta Cybern. The full citation details ... 1996 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Cristian Ene Hierarchies of Petri Net Languages and a Super-Normal Form. Search on Bibsonomy Developments in Language Theory The full citation details ... 1995 DBLP  BibTeX  RDF
1Codrut Matei, Ferucio Laurentiu Tiplea (0, 1)-Total Pure Context-Free Grammars. Search on Bibsonomy Developments in Language Theory The full citation details ... 1995 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc Some Decision Problems for Parallel Communicating Grammar Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Cristian Ene A Coverability Structure for Parallel Communicating Grammar Systems. Search on Bibsonomy Elektronische Informationsverarbeitung und Kybernetik The full citation details ... 1993 DBLP  BibTeX  RDF
1Toader Jucan, Cristian Masalagiu, Ferucio Laurentiu Tiplea Relation Based Controlled Petri Nets. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 1993 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea Corrections to "Reversible and Strict Reversible P/T-Systems". Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 1992 DBLP  BibTeX  RDF
1Ferucio Laurentiu Tiplea, Toader Jucan, Cristian Masalagiu Conditional Petri Net Languages. Search on Bibsonomy Elektronische Informationsverarbeitung und Kybernetik The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.