sign in · help · news · about ·

BibSonomy :: author :: Tiplea ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(41)

<< < 1 | 2 | 3 > >>

Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets.
Ferucio Laurentiu Tiplea, and Corina Bocaneala IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(1):238-249 (2012)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable
Catalin Dima, and Ferucio Laurentiu Tiplea CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On the Complexity of a Problem on Monadic String Rewriting Systems.
Ferucio Laurentiu Tiplea, and Erkki Mäkinen DCFS, Preprint Nr. 16, page 187-194. Fakultät für Informatik, Universität Magdeburg, Magdeburg, Germany, (2001)
to dblp by dblp on Oct 23, 2011, 12:00 AM
URL | BibTeX
An Automaton-based Formalism for Cooperative Augmented Reality Systems.
Felix G. Hamza-Lup, and Ferucio Laurentiu Tiplea NCMA, volume 256 of books@ocg.at, page 135-150. Austrian Computer Society, (2009)
to dblp by dblp on Oct 21, 2011, 12:00 AM
URL | BibTeX
Characterization Results for Time-Varying Codes.
Ferucio Laurentiu Tiplea, Erkki Mäkinen, Dragos Trinca, and Costel Enea Fundam. Inform. 53(2):185-198 (2002)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Pattern Ambiguities for Pure Context-Free Grammars.
Erkki Mäkinen, and Ferucio Laurentiu Tiplea Fundam. Inform. 30(2):183-191 (1997)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Jumping Petri Nets. Specific Properties.
Ferucio Laurentiu Tiplea, and Erkki Mäkinen Fundam. Inform. 32(3-4):373-392 (1997)
to dblp by dblp and 1 other user on Sep 12, 2011, 12:00 AM
URL | BibTeX
A Note on SE-Systems and Regular Canonical Systems.
Ferucio Laurentiu Tiplea, and Erkki Mäkinen Fundam. Inform. 46(3):253-256 (2001)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Some Decision Problems for Parallel Communicating Grammar Systems.
Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, and Octavian Procopiuc Theor. Comput. Sci. 134(2):365-385 (1994)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
SE-Systems, Timing Mechanisms, and Time-Varying Codes.
Ferucio Laurentiu Tiplea, Erkki Mäkinen, and Constantin Enea Int. J. Comput. Math. 79(10):1083-1091 (2002)
to dblp by dblp on Aug 15, 2011, 12:00 AM
URL | BibTeX
A Simulation Preorder for Abstraction of Reactive Systems.
Ferucio Laurentiu Tiplea, and Aurora Tiplea VMCAI, volume 2294 of Lecture Notes in Computer Science, page 272-288. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
The home marking problem and some related concepts.
Roxana Melinte, Olivia Oanea, Ioana Olga, and Ferucio Laurentiu Tiplea Promise, volume 21 of LNI, page 104-115. GI, (2002)
to dblp by dblp and 1 other user on May 31, 2011, 12:00 AM
URL | BibTeX
Relation Based Controlled Petri Nets.
Toader Jucan, Cristian Masalagiu, and Ferucio Laurentiu Tiplea Sci. Ann. Cuza Univ. (1993)
to dblp by dblp on Feb 8, 2011, 12:00 AM
URL | BibTeX
Corrections to "Reversible and Strict Reversible P/T-Systems".
Ferucio Laurentiu Tiplea Sci. Ann. Cuza Univ. (1992)
to dblp by dblp on Feb 8, 2011, 12:00 AM
URL | BibTeX
On Normalization of Petri Nets.
Ferucio Laurentiu Tiplea, and Aurora Tiplea Sci. Ann. Cuza Univ. (1998)
to dblp by dblp on Feb 8, 2011, 12:00 AM
URL | BibTeX
Soundness for S - and A -Timed Workflow Nets Is Undecidable.
Ferucio Laurentiu Tiplea, and Geanina Ionela Macovei IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(4):924-932 (2009)
to dblp by dblp on Feb 8, 2011, 12:00 AM
URL | BibTeX
Complexity of Anonymity for Security Protocols.
Ferucio Laurentiu Tiplea, Loredana Vamanu, and Cosmin Vârlan ESORICS, volume 6345 of Lecture Notes in Computer Science, page 558-572. Springer, (2010)
to dblp by dblp on Sep 6, 2010, 12:00 AM
URL | BibTeX
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete.
Ferucio Laurentiu Tiplea, Catalin V. Birjoveanu, Constantin Enea, and Ioana Boureanu Journal of Computer Security 16(6):689-712 (2008)
to dblp by dblp on Nov 19, 2008, 12:00 AM
URL | BibTeX
Jumping Petri Nets - Specific Properties.
Ferucio Laurentiu Tiplea, and Erkki Mäkinen Developments in Language Theory, page 461-476. Aristotle University of Thessaloniki, (1997)
to dblp by dblp and 1 other user on May 20, 2008, 12:00 AM
URL | BibTeX
Preface.
Catalin Dima, Marius Minea, and Ferucio Laurentiu Tiplea Electr. Notes Theor. Comput. Sci. (2007)
to dblp by dblp on Sep 21, 2007, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper