Author of the publication

Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility.

, , and . ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 432-443. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Reflexive Domain of CPO's Ideals.. Acta Cybern., 12 (3): 249-260 (1996)Topological spaces of the web., and . WWW (Special interest tracks and posters), page 1112-1113. ACM, (2005)Mealy multiset automata., and . Int. J. Found. Comput. Sci., 17 (1): 111-126 (2006)Information Theory over Multisets., , and . Comput. Informatics, 27 (3+): 441-451 (2008)Abstract Structures for Communication between Processes., and . Ershov Memorial Conference, volume 1755 of Lecture Notes in Computer Science, page 221-227. Springer, (1999)Behavioural Equivalences over Migrating Processes with Timers., , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 52-66. Springer, (2012)Timed Migration and Interaction with Access Permissions., and . FM, volume 6664 of Lecture Notes in Computer Science, page 293-307. Springer, (2011)Molecular structures.. Where Mathematics, Computer Science, Linguistics and Biology Meet, page 299-317. Kluwer Academic Publishers, (2001)Mobility Types for Cloud Computing., and . EGC, volume 514 of Communications in Computer and Information Science, page 43-53. Springer, (2015)Specification and Verification of Synchronizing Concurrent Objects., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 307-327. Springer, (2004)