Giso H. Dal

According to our database, Giso H. Dal authored at least 7 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

ParaGnosis: A Tool for Parallel Knowledge Compilation.

Giso H. Dal, Alfons Laarman, Peter J. F. Lucas

Proceedings of the Model Checking Software - 29th International Symposium, 2023

2021

A compositional approach to probabilistic knowledge compilation.

Giso H. Dal, Alfons W. Laarman, Arjen Hommersom, Peter J. F. Lucas

Int. J. Approx. Reason., 2021

2018

Parallel Probabilistic Inference by Weighted Model Counting.

Giso H. Dal, Alfons W. Laarman, Peter J. F. Lucas

Proceedings of the International Conference on Probabilistic Graphical Models, 2018

2017

Weighted positive binary decision diagrams for exact probabilistic inference.

Giso H. Dal, Peter J. F. Lucas

Int. J. Approx. Reason., 2017

Reducing the Cost of Probabilistic Knowledge Compilation.

Peter J. F. Lucas, Giso H. Dal, Steffen Michels

Proceedings of the 3rd Workshop on Advanced Methodologies for Bayesian Networks, 2017

2014

Fast Diameter Computation of Large Sparse Graphs Using GPUs.

Giso H. Dal, Walter A. Kosters, Frank W. Takes

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

MoSHCA - my mobile and smart health care assistant.

Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Giso H. Dal, Joaquim Bastos, Jonathan Rodriguez, Marleen Germs, Henk Schwietert

Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013