Ivan Porro
Orcid: 0000-0002-0601-8071
According to our database1,
Ivan Porro
authored at least 31 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
J. Log. Comput., 2024
2023
J. Log. Comput., June, 2023
2022
Theory Pract. Log. Program., 2022
2021
Theory Pract. Log. Program., 2021
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming.
Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020
An ASP based Solution for Operating Room Scheduling with Surgical Teams in Hospital Environments.
Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020
Proceedings of the Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, 2020
2019
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
2018
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018
2015
Optimization and planning of operating theatre activities: an original definition of pathways and process modeling.
BMC Medical Informatics Decis. Mak., 2015
2013
2012
A repository based on a dynamically extensible data model supporting multidisciplinary research in neuroscience.
BMC Medical Informatics Decis. Mak., 2012
2011
Concurr. Comput. Pract. Exp., 2011
2009
Survival Online: a web-based service for the analysis of correlations between gene expression and clinical and follow-up data.
BMC Bioinform., 2009
Proceedings of the International Workshop on Portals for Life Sciences, 2009
Proceedings of the Healthgrid Research, Innovation and Business Case - Proceedings of HealthGrid 2009, Berlin, Germany, 29 June, 2009
2008
A Web-based and Grid-enabled dChip version for the analysis of large sets of gene expression data.
BMC Bioinform., 2008
2007
GEMMA - A Grid environment for microarray management and analysis in bone marrow stem cells experiments.
Future Gener. Comput. Syst., 2007
SYMBIOmatics: Synergies in Medical Informatics and Bioinformatics - exploring current scientific literature for emerging topics.
BMC Bioinform., 2007
A Grid-based solution for management and analysis of microarrays in distributed experiments.
BMC Bioinform., 2007
2006
J. Integr. Bioinform., 2006