PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "fung Leung, Ho"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction.

, , , , , , and . PRIMA, volume 7455 of Lecture Notes in Computer Science, page 16-30. Springer, (2012)

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.

Cheng-I Ho University of Stuttgart

Univ. -Prof. Dr. -Ing. Jan Hofmann University of Stuttgart

Influence on the Load-Displacement Behaviour of Steel-To-Concrete Connections with Post-Installed Adhesive Anchors, and . ce/papers, 6 (1): 471-481 (2023)

Sebastian Höpfl University of Stuttgart

Bayesian modelling of time series data (BayModTS)—a FAIR workflow to process sparse and highly variable data, , , , , , , , , and 1 other author(s). Bioinformatics, 40 (5): btae312 (May 2024)

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)
Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)Clustern mit Hintergrundwissen.. Karlsruhe Institute of Technology, (2004)

Géza-Richard Horn University of Stuttgart

 

Other publications of authors with the same name

Top-k typicality queries and efficient query answering methods on large databases., , , , and . VLDB J., 18 (3): 809-835 (2009)Cooperative coevolutionary algorithms for dynamic optimization: an experimental study., and . Evolutionary Intelligence, 7 (4): 201-218 (2014)An Optimal Algorithm for Global Termination Detection in Shared-Memory Asynchronous Multiprocessor Systems., and . IEEE Trans. Parallel Distrib. Syst., 8 (5): 538-543 (1997)Anonymity and Security Support for Persistent Enterprise Conversation., , and . EDOC, page 471-476. IEEE Computer Society, (2006)Group extinction heuristics in evolution strategy., and . IEEE Congress on Evolutionary Computation, page 2871-2878. IEEE, (2009)Investigating collaboration methods of random immigrant scheme in cooperative coevolution., and . IEEE Congress on Evolutionary Computation, page 2701-2707. IEEE, (2009)Eigenspace sampling in the mirrored variant of (1, λ)-CMA-ES., and . IEEE Congress on Evolutionary Computation, page 1-8. IEEE, (2012)On the behavior of cooperative coevolution in dynamic environments., and . IEEE Congress on Evolutionary Computation, page 2827-2836. IEEE, (2008)Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem., , and . FLAIRS Conference, page 141-146. AAAI Press, (2006)Distributed Constraint Logic Programming. World Scientific Series in Computer Science World Scientific, (1993)