For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

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

Amsterdam University College
Amsterdam University College
Visiting address
  • Science Park 113
Postal address
  • Science Park 113
    1098 XG Amsterdam
Contact details
  • Publications

    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). Springer. https://doi.org/10.1007/978-3-662-46078-8_38 [details]

    2010

    2009

    • 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. https://doi.org/10.3233/978-1-60750-027-8-51 [details]
    • Caroprese, L., Sloot, P. M. A., Ó Nualláin, B., & Zumpano, E. (2009). A logical framework for detecting anomalies in drug resistance algorithms. In B. C. Desai (Ed.), Proceedings of IDEAS'09: International Database Engineering & Applications Symposium : Cetraro - Calabria - Italy : 16-18 September 2009 (pp. 23-30). (ACM International Conference Proceedings Series). New York, NY: Association for Computing Machinery. https://doi.org/10.1145/1620432.1620436 [details]
    • 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. https://doi.org/10.1016/j.newast.2008.10.006 [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. In M. Bubak, G. D. van Albada, J. Dongarra, & P. M. A. Sloot (Eds.), Computational Science – ICCS 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008 : proceedings (Vol. II, pp. 207-216). (Lecture Notes in Computer Science; Vol. 5102). Berlin: Springer. https://doi.org/10.1007/978-3-540-69387-1_23 [details]
    • 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. http://www.science.uva.nl/research/scs/papers/archive/Sloot2008e.pdf [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. http://www.science.uva.nl/research/scs/papers/archive/Sloot2008c.pdf [details]

    2007

    • 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. https://doi.org/10.1016/j.jhydrol.2006.07.004 [details]
    • 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)

    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. https://doi.org/10.1175/JHM504.1
    • Vrugt, J. A., Ó Nualláin, B., 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(8), 1139-1155. https://doi.org/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.
    • Ó 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]
    • 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). 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). [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). 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.

    2008

    Talk / presentation

    • O Nuallain, B. (speaker) (2007). Visiting Scholar, Princeton Institute for Advanced Study, Jan. 24 - 26, Princeton Institute for Advanced Study, NJ, USA.
    • Ó Nualláin, B. S. (speaker) (7-12-2001). Constraint Tableaux, LED-LIT Research Alliance Inaugural Meeting, Nancy.
    • Ó Nualláin, B. S. (speaker) (26-10-2001). Almost Certain Proof, Adult Accolade, Nunspeet.
    • Ó Nualláin, B. S. (speaker) (23-10-2001). Constraint Tableaux, Tableau Extravaganza, Nunspeet.
    • Ó 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) (5-4-2001). Constraint Tableaux, Tableau Methods with Applications to Dynamic and Modal Logics, Amsterdam.

    Others

    • Ó 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, ...).
    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. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    • No ancillary activities
    • Michael Page
      Consultancy
edit contact information   edit profile page