dhr. B.S. (Breanndán) Ó Nualláin BSc


  • Amsterdam University College
  • Bezoekadres
    Science Park AUC
    Science Park 113  Amsterdam
  • Postadres:
    Science Park  113
    1098 XG  Amsterdam
  • B.S.ONuallain@uva.nl

2015

  • Romijn, L., Ó Nualláin, B., & Torenvliet, L. (2015). Discovering motifs in real-world social networks. In G. F. Italiano, T. Margaria-Steffen, J. Pokorný, J-J. Quisquater, & R. Wattenhofer (Eds.), SOFSEM 2015: Theory and Practice of Computer Science: 41th International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015: proceedings. (pp. 463-474). (Lecture Notes in Computer Science ; Vol. 8939). Heidelberg: Springer. DOI: 10.1007/978-3-662-46078-8_38 [details]

2010

  • Bui, Q. C., Ó Nualláin, B., Boucher, C. A., & Sloot, P. M. A. (2010). Extracting causal relations on HIV drug resistance from literature. BMC Bioinformatics, 11, 101. DOI: 10.1186/1471-2105-11-101 [details] [PDF]
  • Frentz, D., Boucher, C. A. B., Assel, M., De Luca, A., Fabbiani, M., Incardona, F., ... van de Vijver, D. A. M. C. (2010). Comparison of HIV-1 genotypic resistance test interpretation systems in predicting virological outcomes over time. PLoS One, 5(7), e11505. DOI: 10.1371/journal.pone.0011505 [details] [PDF]

2009

  • Portegies Zwart, S., McMillan, S., Harfst, S., Groen, D., Fujii, M., Ó Nualláin, B., ... Zemp, M. (2009). A multiphysics and multiscale software environment for modeling astrophysical systems. New Astronomy, 14(4), 369-378. DOI: 10.1016/j.newast.2008.10.006 [details]
  • Assel, M., van de Vijver, D., Libin, P., Theys, K., Harezlak, D., Ó Nualláin, B., ... Sloot, P. (2009). A collaborative environment allowing clinical investigations on integrated biomedical databases. Studies in Health Technology and Informatics, 147, 51-61. DOI: 10.3233/978-1-60750-027-8-51 [details]
  • Caroprese, L., Ó Nualláin, B., Sloot, P. M. A., & Zumpano, E. (2009). A logical framework for detecting anomalies in drug resistance algorithms. ACM International Conference Proceedings Series, 23-30. [details]

2008

  • Portegies Zwart, S., McMillan, S., Ó Nualláin, B., Heggie, D., Lombardi, J., Hut, P., ... Zemp, M. (2008). A multiphysics and multiscale software environment for modeling astrophysical systems. Lecture Notes in Computer Science, 5102, 207-216. DOI: 10.1007/978-3-540-69387-1_23 [details] [PDF]
  • Sloot, P., Coveney, P., Bubak, M. T., Vandamme, A-M., Ó Nuallain, B., van de Vijver, D., & Boucher, C. (2008). ViroLab: A collaborative decision support system in viral disease treatment. Reviews in Antiviral Therapy, 3, 4-7. [details]
  • Sloot, P., Coveney, P., Bubak, M. T., Vandamme, A-M., Ó Nualláin, B., van de Vijver, D., & Boucher, C. (2008). Multi-science decision support for HIV drug resistance treatment. Studies in Health Technology and Informatics, 138, 188-198. [details]

2007

  • Olabarriaga, S. D., Nederveen, A. J., & Ó Nualláin, B. (2007). Parameter Sweeps for Functional MRI Research in the ``Virtual Laboratory for e-Science'' Project. In CCGRID 2007. Seventh IEEE International Symposium on Cluster Computing and the Grid, 2007.. (pp. 685-690) [details]
  • Feyen, L., Vrugt, J. A., Ó Nualláin, B. S., Knijff, J., & De Roo, A. (2007). Parameter optimisation and uncertainty assessment for large-scale streamflow simulation with the LISFLOOD model. Journal of Hydrology, 332, 276-289. DOI: 10.1016/j.jhydrol.2006.07.004 [details]

2006

  • Vrugt, J. A., Gupta, H. V., Ó Nualláin, B. S., & Bouten, W. (2006). Real-time data assimilation for operational ensemble streamflow forecasting. Journal of hydrometeorology, 7, 548-565. DOI: 10.1175/JHM504.1 [details]
  • Vrugt, J. A., Ó Nualláin, B. S., Robinson, B. A., Bouten, W., Dekker, S. C., & Sloot, P. M. A. (2006). Application of parallel computing to stochastic parameter estimation in environmental models. Computers & Geosciences, 32, 1139-1155. DOI: 10.1016/j.cageo.2005.10.015 [details]

2004

  • Ó Nualláin, B. S., & de Rooij, S. (2004). Online Suffix Trees with Counts. In Proceedings of the Data Compression Conference 2004. (pp. 555). IEEE Computer Society Press. [details]
  • Ó Nualláin, B. S., & de Rooij, S. (2004). Online Suffix Trees with Counts. In Proceedings of the Data Compression Conference 2004. IEEE Computer Society Press. [details]

2001

  • de Rijke, M., Ó Nualláin, B. S., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In H. Kautz, & B. Selman (Eds.), Electronic Notes in Discrete Mathematics, volume 9. Elsevier Science Publishers. [details] [PDF]
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2001). Tableau reasoning and programming with dynamic first order logic. Logic Journal of the IGPL, 9(3), 411-445. [details]
  • Ó Nualláin, B. S., Marx, M. J., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings SAT 2001. [details]

2000

  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). A tableau calculus for dynamic first order logic with applications in natural language semantics. In J. Bos, & M. Kohlhase (Eds.), ICOS-2 Proceedings. (pp. 25-40) [details]
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and programming with dynamic first order logic. In M. Alpuente (Ed.), Functional and Logic Programming: Ninth International Workshop, WFLP'2000, Benicàssim, Spain, September 28-30, 2000. (pp. 56-71). Universidad Politéchnica de Valencia. [details]

2008

  • Sloot, P. M. A., Tirado-Ramos, A., Ertaylan, G., O Nuallain, B., van de Vijver, D., Boucher, C. A., & Bubak, M. (2008). VIROLAB: A distributed decision support system for viral disease treatment. In M. Bubak, M. Turała, & K. Wiatr (Eds.), Cracow'07 Grid Workshop: October 15-17, 2007 Cracow, Poland: proceedings. (pp. 33-34). Kraków: Academic Computer Centre CYFRONET AGH. [details]

2005

  • Hertzberger, L. O., Belleman, R. G., Jansen, M. G., Zhao, Z., van Hooft, P., Belloum, A. S. Z., ... Bouwhuis, M. C. (2005). Recommendation to VLeIT: Scientific workflow management systems for the PoC r1. Amsterdam: Informatics Institute. [details]

2001

  • O Nuallain, B., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In Proceedings LICS 2001 Workshop on Theory and Applications of Satisfiability Testing. [details]
  • Ó Nualláin, B. S., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT research behaviour. In Proceedings of BNAIC 2001. (pp. 423-424). Amsterdam. [details]

2000

  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and porgramming with dynamic first order logic - full version. (technical Report; No. INS-R0020). Amsterdam: Institute for Logic Language and Computation. [details]

1997

  • Ó Nualláin, B. S. (1997). Theorem proving with equations (Handout for the lecture series "theoremproving" by Cees Doets). Amsterdam: vakgroep methoden en technieken. [details]

1996

  • Masuch, J. M. F., Ó Nualláin, B. S., & Kamps, J. A. (1996). Applying Automated Reasoning to Theory Building in the Social Sciences. (CCSOM Report 96-144). Amsterdam: vakgroep methoden en technieken. [details]

1995

  • Bruggeman, J. P., & Ó Nualláin, B. S. (1995). A Niche Width Model of Optimal Specialism. Amsterdam: vakgroep methoden en technieken. [details]

2015

  • Ó Nualláin, B. S. (2015). Executable Pseudocode for Graph Algorithms[details]

2008

  • Ó Nualláin, B., van de Vijver, D., Boucher, C., Tirado Ramos, A., & Sloot, P. (2008). Enhanced decision support for HIV drug resistance interpretation. Reviews in Antiviral Therapy, 2008-2[details]

Andere

  • Ó Nualláin, B.S. (participant), van Eijck, D.J.N. (participant) & de Rijke, M. (participant) (5-4-2001 - 6-4-2001): Tableau Methods with Applications to Dynamic and Modal Logics, Amsterdam (participating in a conference, workshop, ...).

Spreker

  • Ó Nualláin, B.S. (speaker) (2007): Visiting Scholar, Princeton Institute for Advanced Study, Jan. 24 - 26, Princeton Institute for Advanced Study, NJ, USA.
  • Ó Nualláin, B.S. (speaker) (14-6-2001): Ensemble-based prediction of SAT search behaviour, SAT 2001: Theory and Applications of Satisfiability Testing, Boston, MA.
  • Ó Nualláin, B.S. (speaker) (23-10-2001): Constraint Tableaux, Tableau Extravaganza, Nunspeet.
  • Ó Nualláin, B.S. (speaker) (26-10-2001): Almost Certain Proof, Adult Accolade, Nunspeet.
  • Ó Nualláin, B.S. (speaker) (5-4-2001): Constraint Tableaux, Tableau Methods with Applications to Dynamic and Modal Logics, Amsterdam.
  • Ó Nualláin, B.S. (speaker) (7-12-2001): Constraint Tableaux, LED-LIT Research Alliance Inaugural Meeting, Nancy.
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications.
  • Geen nevenwerkzaamheden
  • Michael Page
    Consultancy

contactgegevens bewerken bewerk tabbladen