Accepting PhD Students

PhD projects

Development of high performance discrete optimization solving technology Development of high-level modelling languages for discrete optimization Multi-agent path finding problems and extensions Hybrid approaches to solving discrete optimization

1986 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference Paper
2006

ACD term rewriting

Duck, G. J., Stuckey, P. J. & Brand, S., 1 Jan 2006, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer, p. 117-131 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4079 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

13 Citations (Scopus)

A framework for extended algebraic data types

Sulzmann, M., Wazny, J. & Stuckey, P. J., 17 Jul 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Proceedings. p. 47-64 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3945 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

12 Citations (Scopus)

A stochastic non-CNF SAT solver

Muhammad, R. & Stuckey, P. J., 1 Jan 2006, PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer, p. 120-129 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4099 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Finite domain bounds consistency revisited

Choi, C. W., Harvey, W., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2006, AI 2006: Advances in Artificial Intelligence - 19th Australian Joint Conference on Artificial Intelligence, Proceedings. Springer, p. 49-58 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4304 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

28 Citations (Scopus)

Principal type inference for GHC-style multi-parameter type classes

Sulzmann, M., Schrijvers, T. & Stuckey, P. J., 1 Dec 2006, Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings. p. 26-43 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4279 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)

Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware

Ni, L., Harwood, A. & Stuckey, P. J., 1 Dec 2006, ACM International Conference Proceeding Series - Proceedings of the 4th International Workshop on Middleware for Grid Computing (MGC'06) held at the ACM/IFIP/USENIX International Middleware Conference. 1 p. (ACM International Conference Proceeding Series; vol. 194).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Size-change termination analysis in k-bits

Codish, M., Lagoon, V., Schachte, P. & Stuckey, P. J., 14 Jul 2006, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3924 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

5 Citations (Scopus)

Solving partial order constraints for LPO termination

Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2006, Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer, p. 4-18 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4098 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

14 Citations (Scopus)

Type processing by constraint reasoning

Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Jan 2006, Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings. Springer, p. 1-25 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4279 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)
2005

Abstract interpretation for constraint handling rules

Schrijvers, T., Stuckey, P. J. & Duck, G. J., 1 Dec 2005, PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 218-229 12 p. (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; vol. 2005).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

14 Citations (Scopus)

A hybrid BDD and SAT finite domain constraint solver

Hawkins, P. & Stuckey, P. J., 1 Dec 2005, Practical Aspects of Declarative Languages - 8th International Symposium, PADL 2006, Proceedings. p. 103-117 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3819 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)
2004

Improving type error diagnosis

Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Dec 2004, Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04. p. 80-91 12 p. (Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

19 Citations (Scopus)

Just enough tabling

Sagonas, K. & Stuckey, P. J., 1 Dec 2004, Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. p. 78-89 12 p. (Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)
2003

Efficient representation of Adhoc constraints

Cheng, K. C. K., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, 18th International Joint Conference on Artificial Intelligence Proceedings. p. 1368-1369 2 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

1 Citation (Scopus)

Improving Nogood Recording using 2SAT

Stuckey, P. J. & Zheng, L., 16 Dec 2003, Proceedings of the International Conference on Tools with Artificial Intelligence. p. 94-99 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Interactive Type Debugging in Haskell

Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Dec 2003, Proceedings of the 2003 ACM SIGPLAN Haskell Workshop. p. 72-83 12 p. (Proceedings of the 2003 ACM SIGPLAN Haskell Workshop).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

38 Citations (Scopus)

Propagation redundancy for permutation channels

Choi, C. W., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, 18th International Joint Conference on Artificial Intelligence Proceedings. p. 1370-1371 2 p. (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

4 Citations (Scopus)
2002

Improving GSAT using 2SAT

Stuckey, P. J. & Zheng, L., 1 Jan 2002, Principles and Practice of Constraint Programming- CP 2002 - 8th International Conference, CP 2002, Proceedings. Van Hentenryck, P. (ed.). Springer, p. 691-695 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2470).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Precise pair-sharing analysis of logic programs

Lagoon, V. & Stuckey, P. J., 1 Jan 2002, Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Association for Computing Machinery (ACM), p. 99-108 10 p. (Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Using the heap to eliminate stack accesses

Somogyi, Z. & Stuckey, P. J., 1 Jan 2002, Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Association for Computing Machinery (ACM), p. 121-132 12 p. (Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2001

A framework for analysis of typed logic programs

Lagoon, V. & Stuckey, P. J., 1 Jan 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kuchen, H. & Ueda, K. (eds.). Springer, p. 296-310 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2024).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

11 Citations (Scopus)

Boolean constraints for binding-time analysis

Glynn, K., Stuckey, P. J., Sulzmann, M. & Søndergaard, H., 1 Dec 2001, Programs as Data Objects - Second Symposium, PADO 2001, Proceedings. p. 39-62 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2053 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

12 Citations (Scopus)

Cost-based unbalanced R-trees

Ross, K. A., Sitzmann, I. & Stuckey, P. J., 1 Jan 2001, Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. p. 203-212 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

5 Citations (Scopus)

Effective strictness analysis with HORN constraints

Glynn, K., Stuckey, P. J. & Sulzmann, M., 1 Dec 2001, Static Analysis - 8th International Symposium, SAS 2001, Proceedings. p. 73-92 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2126 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

3 Citations (Scopus)

Higher-precision groundness analysis

Codish, M., Genaim, S., Søndergaard, H. & Stuckey, P. J., 1 Jan 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). Springer, p. 135-149 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

When do bounds and domain propagation lead to the same search space

Schulte, C. & Stuckey, P. J., 1 Jan 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), p. 115-126 12 p. (Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

12 Citations (Scopus)
2000

Improving temporal joins using histograms

Sitzmann, I. & Stuckey, P. J., 1 Jan 2000, Database and Expert Systems Applications - 11th International Conference, DEXA 2000, Proceedings. Revell, N., Ibrahim, M. & Kung, J. (eds.). Springer, p. 488-498 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1873).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

O-trees: A constraint-based index structure

Sitzmann, I. & Stuckey, P., 1 Jan 2000, Proceedings - 11th Australasian Database Conference, ADC 2000. Orlowska, M. E. (ed.). IEEE, Institute of Electrical and Electronics Engineers, p. 127-134 8 p. 819823. (Proceedings - 11th Australasian Database Conference, ADC 2000).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)
1998

An efficient heuristic-based evolutionary algorithm for solving constraint satisfaction problems

Tam, V. & Stuckey, P., 1 Jan 1998, Proceedings - IEEE International Joint Symposia on Intelligence and Systems. IEEE, Institute of Electrical and Electronics Engineers, p. 75-82 8 p. 685421. (Proceedings - IEEE International Joint Symposia on Intelligence and Systems).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Lagrangian reconstruction of a class of local search methods

Choi, K. M. F., Lee, J. H. M. & Stuckey, P. J., 1 Dec 1998, Proceedings of the International Conference on Tools with Artificial Intelligence. p. 166-175 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

4 Citations (Scopus)
1997

Compiling constraint solving using projection

Harvey, W., Stuckey, P. J. & Borning, A., 1 Jan 1997, Principles and Practice of Constraint Programming - CP 1997 - 3rd International Conference, CP 1997, Proceedings. Smolka, G. (ed.). Springer, p. 491-505 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1330).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

11 Citations (Scopus)

Extending EGENET with lazy constraint consistency

Stuckey, P. & Tam, V., 1 Dec 1997, Proceedings of the International Conference on Tools with Artificial Intelligence. p. 248-257 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)
1996

Low-contact learning in a first year programming course

Johnston, R., Moffat, A., Søndergaard, H. & Stuckey, P., 7 Mar 1996, Proceedings of the 1st Australasian Conference on Computer Science Education, ACSE 1996. Association for Computing Machinery (ACM), p. 19-26 8 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Models for using stochastic constraint solvers in constraint logic programming

Stuckey, P. J. & Tam, V., 1 Jan 1996, Programming Languages: Implementations, Logics, and Programs - 8th International Symposium, PLILP 1996, Proceedings. Swierstra, S. D. & Kuchen, H. (eds.). Springer, p. 423-437 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1140).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Two applications of an incremental analysis engine for (Constraint) logic programs

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Schmidt, D. A. & Cousot, R. (eds.). Springer, p. 385-386 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1145).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Using stochastic methods to guide search in CLP: A preliminary report

Lee, J. H. M., Leung, H. F., Stuckey, P. J., Tam, V. W. L. & Won, H. W., 1 Jan 1996, Concurrency and Parallelism, Programming, Networking, and Security - 2nd Asian Computing Science Conference, ASIAN 1996, Proceedings. Jaffar, J. & Yap, R. H. C. (eds.). Springer, p. 43-52 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1179).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

3 Citations (Scopus)
1995

An optimizing compiler for CLP(R)

Kelly, A. D., Macdonald, A., Marriott, K., Søndergaard, H., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1995, Principles and Practice of Constraint Programming — CP 1995 - 1st International Conference, CP 1995, Proceedings. Montanari, U. & Rossi, F. (eds.). Springer, p. 222-239 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 976).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

9 Citations (Scopus)

ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS

Kemp, D. B., Ramamohanarao, K. & Stuckey, P. J., 1 Jan 1995, Deductive and Object-Oriented Databases - 4th International Conference, DOOD 1995, Proceedings. Vieille, L., Mendelzon, A. O. & Ling, T. W. (eds.). Springer, p. 91-108 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1013).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

9 Citations (Scopus)
1994

Beyond finite domains

Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 86-94 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

54 Citations (Scopus)

Compiling query constraints

Stuckey, P. J. & Sudarshan, S., 1 Jan 1994, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery (ACM), p. 56-67 12 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

16 Citations (Scopus)

Foundations of aggregation constraints

Ross, K. A., Srivastava, D., Stuckey, P. J. & Sudarshan, S., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 193-204 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)
1993

3 R's of optimizing constraint logic programs: Refinement, removal and reordering

Marriott, K. & Stuckey, P. J., 1 Jan 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 334-344 11 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

33 Citations (Scopus)

Well-founded ordered search

Stuckey, P. J. & Sudarshan, S., 1 Jan 1993, Foundations of Software Technology and Theoretical Computer Science - 13th Conference, Proceedings. Shyamasundar, R. K. (ed.). Springer, p. 161-171 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 761 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

5 Citations (Scopus)
1991

Constructive negation for constraint logic programming

Stuckey, P. J., 1 Jul 1991, Proceedings - Symposium on Logic in Computer Science. IEEE, Institute of Electrical and Electronics Engineers, p. 328-339 12 p. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

64 Citations (Scopus)

Design overview of the Aditi deductive database system

Vaghani, J., Ramamohanarao, K., Kemp, D. B., Somogyi, Z. & Stuckey, P. J., 1 Apr 1991, Proceedings - International Conference on Data Engineering. Publ by IEEE, p. 240-247 8 p. (Proceedings - International Conference on Data Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

The CLP(R) language and system: An overview

Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 1 Dec 1991, Digest of Papers - IEEE Computer Society International Conference. Publ by IEEE, p. 376-381 6 p. (Digest of Papers - IEEE Computer Society International Conference).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1990

A constraint logic programming shell

Lim, P. & Stuckey, P. J., 1 Jan 1990, Programming Language Implementation and Logic Programming - International Workshop PLILP 1990, Proceedings. Deransart, P. & Maluszynski, J. (eds.). Springer, p. 75-88 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 456 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)

Eliminating negation from normal logic programs

Kanchanasut, K. & Stuckey, P., 1 Jan 1990, Algebraic and Logic Programming - 2nd International Conference, Proceedings. Kirchner, H. & Wechler, W. (eds.). Springer, p. 217-231 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 463 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)
1986

Logic program semantics for programming with equations

Jaffar, J. & Stuckey, P. J., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer, p. 313-326 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)