Author of the publication

A Model for Phase Transition of Random Answer-Set Programs.

, , , and . ACM Trans. Comput. Log., 17 (3): 22 (2016)

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

Reducing the structural complexity and transaction cost of collaborative networks using extended axiomatic design theory and virtual brokerage., , and . Concurrent Engineering: R&A, 22 (4): 320-332 (2014)Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification., , , and . SPICE, volume 609 of Communications in Computer and Information Science, page 362-376. Springer, (2016)A class of fourth order nonlinear boundary value problem with singular perturbation., and . Appl. Math. Lett., (2021)Evaluating GPT's Programming Capability through CodeWars' Katas., , , , and . CoRR, (2023)Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures., , , , , and . Australasian Conference on Artificial Intelligence, volume 9992 of Lecture Notes in Computer Science, page 255-267. Springer, (2016)Using Composition Trees to Model and Compare Software Process., , and . SPICE, volume 155 of Communications in Computer and Information Science, page 1-15. Springer, (2011)Formalisation of the integration of behavior trees., , , and . ASE, page 779-784. ACM, (2014)Enterprise Architecture Cybernetics for Complex Global Software Development: Reducing the Complexity of Global Software Development Using Extended Axiomatic Design Theory., , and . ICGSE, page 169-173. IEEE Computer Society, (2012)From Requirements Change to Design Change: A Formal Path., and . SEFM, page 104-113. IEEE Computer Society, (2004)"Integrare", a Collaborative Environment for Behavior-Oriented Design., , , , , and . CDVE, volume 4674 of Lecture Notes in Computer Science, page 122-131. Springer, (2007)