|
Search the dblp DataBase
Breanndán Ó Nualláin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sílvia Delgado Olabarriaga, Aart J. Nederveen, Breanndán Ó Nualláin
Parameter Sweeps for Functional MRI Research in the "Virtual Laboratory for e-Science" Project. [Citation Graph (0, 0)][DBLP] CCGRID, 2007, pp:685-690 [Conf]
- Breanndán Ó Nualláin, Steven de Rooij
Online Suffix Trees with Counts. [Citation Graph (0, 0)][DBLP] Data Compression Conference, 2004, pp:555- [Conf]
- Breanndán Ó Nualláin
Mixing metafor. [Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:357-359 [Conf]
- Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
Theorem Proving and Programming with Dynamic First Order Logic. [Citation Graph (0, 0)][DBLP] WFLP, 2000, pp:56-71 [Conf]
- Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
Tableau Reasoning and Programming with Dynamic First Order Logic. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:3, pp:- [Journal]
A Multiphysics and Multiscale Software Environment for Modeling Astrophysical Systems. [Citation Graph (, )][DBLP]
A logical framework for detecting anomalies in drug resistance algorithms. [Citation Graph (, )][DBLP]
Extracting causal relations on HIV drug resistance from literature. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|