Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Davide Prandi

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Davide Prandi

download as .bib file

@article{DBLP:journals/scp/FerdousHKPS23,
  author       = {Raihana Ferdous and
                  Chia{-}kang Hung and
                  Fitsum Meshesha Kifetew and
                  Davide Prandi and
                  Angelo Susi},
  title        = {EvoMBT: Evolutionary model based testing},
  journal      = {Sci. Comput. Program.},
  volume       = {227},
  pages        = {102942},
  year         = {2023}
}

@inproceedings{DBLP:conf/fase/AnsariPPKDDK23,
  author       = {Saba Gholizadeh Ansari and
                  I. S. W. B. Prasetya and
                  Davide Prandi and
                  Fitsum Meshesha Kifetew and
                  Mehdi Dastani and
                  Frank Dignum and
                  Gabriele Keller},
  title        = {Model-based Player Experience Testing with Emotion Pattern Verification},
  booktitle    = {{FASE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13991},
  pages        = {151--172},
  publisher    = {Springer},
  year         = {2023}
}

@inproceedings{DBLP:conf/icse/FerdousHKPS23,
  author       = {Raihana Ferdous and
                  Chia{-}kang Hung and
                  Fitsum Meshesha Kifetew and
                  Davide Prandi and
                  Angelo Susi},
  title        = {EvoMBT at the {SBFT} 2023 Tool Competition},
  booktitle    = {{SBFT}},
  pages        = {59--60},
  publisher    = {{IEEE}},
  year         = {2023}
}

@inproceedings{DBLP:conf/kbse/FerdousKPS22,
  author       = {Raihana Ferdous and
                  Fitsum Meshesha Kifetew and
                  Davide Prandi and
                  Angelo Susi},
  title        = {Towards Agent-Based Testing of 3D Games using Reinforcement Learning},
  booktitle    = {{ASE}},
  pages        = {211:1--211:8},
  publisher    = {{ACM}},
  year         = {2022}
}

@inproceedings{DBLP:conf/sbst/FerdousHKPS22,
  author       = {Raihana Ferdous and
                  Chia{-}kang Hung and
                  Fitsum Meshesha Kifetew and
                  Davide Prandi and
                  Angelo Susi},
  title        = {EvoMBT at the {SBST} 2022 Tool Competition},
  booktitle    = {SBST@ICSE},
  pages        = {51--52},
  publisher    = {{IEEE}},
  year         = {2022}
}

@inproceedings{DBLP:conf/sigsoft/PrasetyaRKPSVPH22,
  author       = {I. S. W. B. Prasetya and
                  Fernando Pastor Ric{\'{o}}s and
                  Fitsum Meshesha Kifetew and
                  Davide Prandi and
                  Samira Shirzadehhajimahmood and
                  Tanja E. J. Vos and
                  Premysl Paska and
                  Karel Hovorka and
                  Raihana Ferdous and
                  Angelo Susi and
                  Joseph Davidson},
  title        = {An agent-based approach to automated game testing: an experience report},
  booktitle    = {A-TEST@ESEC/SIGSOFT {FSE}},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2211-06386,
  author       = {I. S. W. B. Prasetya and
                  Fernando Pastor Ric{\'{o}}s and
                  Fitsum Meshesha Kifetew and
                  Davide Prandi and
                  Samira Shirzadehhajimahmood and
                  Tanja E. J. Vos and
                  Premysl Paska and
                  Karel Hovorka and
                  Raihana Ferdous and
                  Angelo Susi and
                  Joseph Davidson},
  title        = {An Agent-based Approach to Automated Game Testing: an Experience Report},
  journal      = {CoRR},
  volume       = {abs/2211.06386},
  year         = {2022}
}

@inproceedings{DBLP:conf/ssbse/FerdousKPPSS21,
  author       = {Raihana Ferdous and
                  Fitsum Meshesha Kifetew and
                  Davide Prandi and
                  I. S. W. B. Prasetya and
                  Samira Shirzadehhajimahmood and
                  Angelo Susi},
  title        = {Search-Based Automated Play Testing of Computer Games: {A} Model-Based
                  Approach},
  booktitle    = {{SSBSE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12914},
  pages        = {56--71},
  publisher    = {Springer},
  year         = {2021}
}

@article{DBLP:journals/bioinformatics/LocalloPFD19,
  author       = {Alessio Locallo and
                  Davide Prandi and
                  Tarcisio Fedrizzi and
                  Francesca Demichelis},
  title        = {{TPES:} tumor purity estimation from SNVs},
  journal      = {Bioinform.},
  volume       = {35},
  number       = {21},
  pages        = {4433--4435},
  year         = {2019}
}

@article{DBLP:journals/tcbb/MazzaBGP12,
  author       = {Tommaso Mazza and
                  Paolo Ballarini and
                  Rosita Guido and
                  Davide Prandi},
  title        = {The Relevance of Topology in Parallel Simulation of Biological Networks},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {9},
  number       = {3},
  pages        = {911--923},
  year         = {2012}
}

@inproceedings{DBLP:conf/sdmw/PetkovicPZ11,
  author       = {Milan Petkovic and
                  Davide Prandi and
                  Nicola Zannone},
  title        = {Purpose Control: Did You Process the Data for the Intended Purpose?},
  booktitle    = {Secure Data Management},
  series       = {Lecture Notes in Computer Science},
  volume       = {6933},
  pages        = {145--168},
  publisher    = {Springer},
  year         = {2011}
}

@inproceedings{DBLP:conf/simutools/MazzaP11,
  author       = {Tommaso Mazza and
                  Davide Prandi},
  title        = {Stability analysis of biological network topologies during stochastic
                  simulation},
  booktitle    = {SimuTools},
  pages        = {51--56},
  publisher    = {{ICST/ACM}},
  year         = {2011}
}

@article{DBLP:journals/bib/DematteP10,
  author       = {Lorenzo Dematt{\'{e}} and
                  Davide Prandi},
  title        = {{GPU} computing for systems biology},
  journal      = {Briefings Bioinform.},
  volume       = {11},
  number       = {3},
  pages        = {323--333},
  year         = {2010}
}

@article{DBLP:journals/bib/BallariniGMP09,
  author       = {Paolo Ballarini and
                  Rosita Guido and
                  Tommaso Mazza and
                  Davide Prandi},
  title        = {Taming the complexity of biological pathways through parallel computing},
  journal      = {Briefings Bioinform.},
  volume       = {10},
  number       = {3},
  pages        = {278--288},
  year         = {2009}
}

@inproceedings{DBLP:conf/birthday/GuerrieroPPQ09,
  author       = {Maria Luisa Guerriero and
                  Davide Prandi and
                  Corrado Priami and
                  Paola Quaglia},
  title        = {Process Calculi Abstractions for Biology},
  booktitle    = {Algorithmic Bioprocesses},
  series       = {Natural Computing Series},
  pages        = {463--486},
  publisher    = {Springer},
  year         = {2009}
}

@inproceedings{DBLP:journals/corr/abs-0912-2551,
  author       = {Paolo Ballarini and
                  Michele Forlin and
                  Tommaso Mazza and
                  Davide Prandi},
  title        = {Efficient Parallel Statistical Model Checking of Biochemical Networks},
  booktitle    = {{PDMC}},
  series       = {{EPTCS}},
  volume       = {14},
  pages        = {47--61},
  year         = {2009}
}

@inproceedings{DBLP:journals/entcs/MuraPPR09,
  author       = {Ivan Mura and
                  Davide Prandi and
                  Corrado Priami and
                  Alessandro Romanel},
  title        = {Exploiting non-Markovian Bio-Processes},
  booktitle    = {{QAPL}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {3},
  pages        = {83--98},
  publisher    = {Elsevier},
  year         = {2009}
}

@article{DBLP:journals/jlp/PrandiPQ08,
  author       = {Davide Prandi and
                  Corrado Priami and
                  Paola Quaglia},
  title        = {Communicating by compatibility},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {75},
  number       = {2},
  pages        = {167--181},
  year         = {2008}
}

@inproceedings{DBLP:conf/coordination/PrandiQZ08,
  author       = {Davide Prandi and
                  Paola Quaglia and
                  Nicola Zannone},
  title        = {Formal Analysis of {BPMN} Via a Translation into {COWS}},
  booktitle    = {{COORDINATION}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5052},
  pages        = {249--263},
  publisher    = {Springer},
  year         = {2008}
}

@inproceedings{DBLP:conf/icsoc/PrandiQ07,
  author       = {Davide Prandi and
                  Paola Quaglia},
  title        = {Stochastic {COWS}},
  booktitle    = {{ICSOC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4749},
  pages        = {245--256},
  publisher    = {Springer},
  year         = {2007}
}

@inproceedings{DBLP:conf/cmsb/Prandi06,
  author       = {Davide Prandi},
  title        = {A Formal Approach to Molecular Docking},
  booktitle    = {{CMSB}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4210},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2006}
}

@inproceedings{DBLP:conf/pads/HimmelspachLPPQU06,
  author       = {Jan Himmelspach and
                  Paola Lecca and
                  Davide Prandi and
                  Corrado Priami and
                  Paola Quaglia and
                  Adelinde M. Uhrmacher},
  title        = {Developing An Hierarchical Simulator for Beta-binders},
  booktitle    = {{PADS}},
  pages        = {92--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2006}
}

@inproceedings{DBLP:journals/entcs/DeganoPPQ06,
  author       = {Pierpaolo Degano and
                  Davide Prandi and
                  Corrado Priami and
                  Paola Quaglia},
  title        = {Beta-binders for Biological Quantitative Experiments},
  booktitle    = {{QAPL}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {3},
  pages        = {101--117},
  publisher    = {Elsevier},
  year         = {2006}
}

@article{DBLP:journals/eatcs/PrandiPQ05,
  author       = {Davide Prandi and
                  Corrado Priami and
                  Paola Quaglia},
  title        = {Process Calculi in a Biological Context},
  journal      = {Bull. {EATCS}},
  volume       = {85},
  pages        = {53--69},
  year         = {2005}
}

@inproceedings{DBLP:conf/qest/CurtiPB05,
  author       = {Michele Curti and
                  Davide Prandi and
                  Linda Brodo},
  title        = {Formal Executable Descriptions of Biological Systems},
  booktitle    = {{QEST}},
  pages        = {2--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2005}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.