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

Search results

  • 2020

    A First-Order Logic with Frames

    Murali, A., Peña, L., Löding, C. & Madhusudan, P., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 515-543 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Decidable Synthesis of Programs with Uninterpreted Functions

    Krogmeier, P., Mathur, U., Murali, A., Madhusudan, P. & Viswanathan, M., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 634-657 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • What’s Decidable About Program Verification Modulo Axioms?

    Mathur, U., Madhusudan, P. & Viswanathan, M., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2019

    Kaizen: Building a performant blockchain system verified for consensus and integrity

    Kalim, F., Palmskog, K., Mehar, J., Murali, A., Gupta, I. & Madhusudan, P., Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 96-104 9 p. 8894248. (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Learning stateful preconditions modulo a test generator

    Astorga, A., Madhusudan, P., Saha, S., Wang, S. & Xie, T., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 775-787 13 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Reachability in concurrent uninterpreted programs

    Torre, S. L. & Parthasarathy, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants

    Neider, D., Saha, S., Garg, P. & Madhusudan, P., 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 323-346 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2018

    A decidable fragment of second order logic with applications to synthesis

    Madhusudan, P., Mathur, U., Saha, S. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Invariant synthesis for incomplete verification engines

    Neider, D., Garg, P., Madhusudan, P., Saha, S. & Park, D., 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer, p. 232-250 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Lagrange’s theorem for binary squares

    Madhusudan, P., Nowotka, D., Rajasekaran, A. & Shallit, J., Aug 1 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 117).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2017

    Efficient Incrementalized Runtime Checking of Linear Measures on Lists

    Gyori, A., Garg, P., Pek, E. & Madhusudan, P., May 15 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Institute of Electrical and Electronics Engineers Inc., p. 310-320 11 p. 7927985. (Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2016

    Abstract learning frameworks for synthesis

    Löding, C., Madhusudan, P. & Neider, D., 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Learning invariants using decision trees and implication counterexamples

    Garg, P., Neider, D., Madhusudan, P. & Roth, D., Jan 11 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). Association for Computing Machinery, p. 499-512 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Synthesizing piece-wise functions by learning classifiers

    Neider, D., Saha, S. & Madhusudan, P., 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer, p. 186-203 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    Alchemist: Learning guarded affine functions

    Saha, S., Garg, P. & Madhusudan, P., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Pasareanu, C. S., Kroening, D., Pasareanu, C. S. & Kroening, D. (eds.). Springer, p. 440-446 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9206).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • NetGen: Synthesizing data-plane configurations for network policies

    Saha, S., Prabhu, S. & Madhusudan, P., Jun 17 2015, Symposium on Software Defined Networking (SDN) Research, SOSR 2015. Association for Computing Machinery, Inc, 2775006. (Symposium on Software Defined Networking (SDN) Research, SOSR 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2014

    ICE: A robust framework for learning invariants

    Garg, P., Löding, C., Madhusudan, P. & Neider, D., Jan 1 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer, p. 69-87 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Natural proofs for asynchronous programs using almost-synchronous reductions

    Desai, A., Garg, P. & Madhusudan, P., Oct 15 2014, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. Association for Computing Machinery, p. 709-725 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Natural proofs for data structure manipulation in C using separation logic

    Pek, E., Qiu, X. & Madhusudan, P., 2014, PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 440-451 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Vac - Verifier of administrative role-based access control policies

    Ferrara, A. L., Madhusudan, P., Nguyen, T. L. & Parlato, G., 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer, p. 184-191 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2013

    Learning universally quantified invariants of linear data structures

    Garg, P., Löding, C., Madhusudan, P. & Neider, D., Aug 12 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 813-829 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Natural proofs for structure, data, and separation

    Qiu, X., Garg, P., Ştefanescu, A. & Parthasarathy, M., Sep 2 2013, PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 231-242 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Policy analysis for self-administrated role-based access control

    Ferrara, A. L., Madhusudan, P. & Parlato, G., 2013, Tools and Algorithms for the Construction and Analysis of Systems - 19th Int. Conf., TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. p. 432-447 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Quantified data automata on skinny trees: An abstract domain for lists

    Garg, P., Madhusudan, P. & Parlato, G., 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. p. 172-193 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Verifying security invariants in expressOS

    Edgar, H. M., Xue, P. H., King, S. T. & Madhusudan, P., 2013, ASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 293-303 11 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2012

    Analyzing temporal role based access control models

    Uzun, E., Atluri, V., Sural, S., Vaidya, J., Parlato, G., Ferrara, A. L. & Madhusudan, P., 2012, SACMAT'12 - Proceedings of the 17th ACM Symposium on Access Control Models and Technologies. p. 177-186 10 p. (Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Automated reasoning and natural proofs for programs manipulating data structures

    Parthasarathy, M., 2012, 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012. Vol. 18. p. 34-35 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Predicting null-pointer dereferences in concurrent programs

    Farzan, A., Madhusudan, P., Razavi, N. & Sorrentino, F., Dec 24 2012, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012. (Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Reachability under contextual locking

    Chadha, R., Madhusudan, P. & Viswanathan, M., 2012, Tools and Algorithms for the Construction and Analysis of Systems - 18th Int. Conf., TACAS 2012, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 437-450 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7214 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Recursive proofs for inductive tree data-structures

    Madhusudan, P., Qiu, X. & Stefanescu, A., Mar 12 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 123-135 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Security analysis of role-based access control through program verification

    Ferrara, A. L., Madhusudan, P. & Parlato, G., 2012, Proceedings - 2012 IEEE 25th Computer Security Foundations Symposium, CSF 2012. p. 113-125 13 p. 6266155. (Proceedings of the Computer Security Foundations Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    Compositionality entails sequentializability

    Garg, P. & Madhusudan, P., 2011, Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6605 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Efficient decision procedures for heaps using strand

    Madhusudan, P. & Qiu, X., 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. p. 43-59 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6887 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Synthesizing reactive programs

    Madhusudan, P., 2011, Computer Science Logic 2011 - 25th International Workshop/20th Annual Conference of the EACSL, CSL 2011. p. 428-442 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Thread contracts for safe parallelism

    Karmani, R. K., Parthasarathy, M. & Moore, B. M., Mar 25 2011, PPoPP'11 - Proceedings of the 2011 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 125-134 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2010

    Decidable logics combining heap structures and data

    Madhusudan, P., Parlato, G. & Qiu, X., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 611-622 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Model-checking parameterized concurrent programs using linear interfaces

    La Torre, S., Madhusudan, P. & Parlato, G., 2010, Computer Aided Verification - 22nd International Conference, CAV 2010, Proceedings. p. 629-644 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6174 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • PENELOPE: Weaving threads to expose atomicity violations

    Sorrentino, F., Farzan, A. & Madhusudan, P., Dec 1 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18. p. 37-46 10 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The language theory of bounded context-switching

    La Torre, S., Madhusudan, P. & Parlato, G., 2010, LATIN 2010: Theoretical Informatics - 9th Latin American Symposium, Proceedings. p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6034 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The tree width of auxiliary storage

    Madhusudan, P. & Parlato, G., 2010, POPL'11 - Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 283-294 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • VEX: Vetting browser extensions for security vulnerabilities

    Bandhakavi, S., King, S. T., Madhusudan, P. & Winslett, M., 2010, Proceedings of the 19th USENIX Security Symposium. USENIX Association, p. 339-354 16 p. (Proceedings of the 19th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2009

    Analyzing recursive programs using a fixed-point calculus

    La Torre, S., Madhusudan, P. & Parlato, G., 2009, PLDI'09 - Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 211-222 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Meta-analysis for atomicity violations under nested locking

    Farzan, A., Madhusudan, P. & Sorrentino, F., 2009, Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. p. 248-262 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5643 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Query automata for nested words

    Madhusudan, P. & Viswanathan, M., Sep 28 2009, Mathematical Foundations of Computer Science 2009 - 34th International Symposium, MFCS 2009, Proceedings. p. 561-573 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5734 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Reducing context-bounded concurrent reachability to sequential reachability

    La Torre, S., Madhusudan, P. & Parlato, G., 2009, Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings. p. 477-492 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5643 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The complexity of predicting atomicity violations

    Farzan, A. & Madhusudan, P., 2009, Tools and Algorithms for the Construction and Analysis of Systems - 15th International Conference, TACAS 2009 - Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2009, Proc.. p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5505 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2008

    A formal framework for reflective database access control policies

    Olson, L. E., Gunter, C. A. & Madhusudan, P., Dec 1 2008, Proceedings of the 15th ACM Conference on Computer and Communications Security, CCS'08. p. 289-298 10 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An infinite automaton characterization of double exponential time

    La Torre, S., Madhusudan, P. & Parlato, G., 2008, Computer Science Logic - 22nd International Workshop, CSL 2008 - 17th Annual Conference of the EACSL, Proceedings. p. 33-48 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5213 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Context-bounded analysis of concurrent queue systems

    La Torre, S., Madhusudan, P. & Parlato, G., 2008, Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. p. 299-314 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4963 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Monitoring atomicity in concurrent programs

    Farzan, A. & Madhusudan, P., 2008, Computer Aided Verification - 20th International Conference, CAV 2008, Proceedings. p. 52-65 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5123 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution