Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: José Ignacio Requeno
@article{DBLP:journals/isse/AhishakiyeJKS24,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
title = {Coverage visualization and analysis of net inscriptions in coloured
Petri net models},
journal = {Innov. Syst. Softw. Eng.},
volume = {20},
number = {1},
pages = {17--30},
year = {2024},
url = {https://doi.org/10.1007/s11334-023-00528-z},
doi = {10.1007/S11334-023-00528-Z},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/AhishakiyeJKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BernardiGMPR22,
author = {Simona Bernardi and
Abel G{\'{o}}mez and
Jos{\'{e}} Merseguer and
Diego Perez{-}Palacin and
Jos{\'{e}} Ignacio Requeno},
title = {{DICE} simulation: a tool for software performance assessment at the
design stage},
journal = {Autom. Softw. Eng.},
volume = {29},
number = {1},
pages = {36},
year = {2022},
url = {https://doi.org/10.1007/s10515-022-00335-z},
doi = {10.1007/S10515-022-00335-Z},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/BernardiGMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Gomez-MartinezR22,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Jos{\'{e}} Ignacio Requeno},
editor = {Michael K{\"{o}}hler{-}Bussmeier and
Daniel Moldt and
Heiko R{\"{o}}lke},
title = {Adaptative Systems Based on Continuous Observation of Petri Net Product
Lines},
booktitle = {Petri Nets and Software Engineering 2022 co-located with the 43rd
International Conference on Application and Theory of Petri Nets and
Concurrency {(PETRI} {NETS} 2022), Bergen, Norway, June 20th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3170},
pages = {211--212},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3170/poster1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/Gomez-MartinezR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-06722,
author = {Jos{\'{e}} Ignacio Requeno},
title = {Detection of Smart Grid Integrity Attacks Using Signal Temporal Logic},
journal = {CoRR},
volume = {abs/2209.06722},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.06722},
doi = {10.48550/ARXIV.2209.06722},
eprinttype = {arXiv},
eprint = {2209.06722},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AhishakiyeJPS21,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Violet Ka I Pun and
Volker Stolz},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Hardware-Assisted Online Data Race Detection},
booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
pages = {108--126},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6\_6},
doi = {10.1007/978-3-030-87348-6\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AhishakiyeJPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/BernardiJMR21,
author = {Simona Bernardi and
Ra{\'{u}}l Javierre and
Jos{\'{e}} Merseguer and
Jos{\'{e}} Ignacio Requeno},
title = {Detectors of Smart Grid Integrity Attacks: an Experimental Assessment},
booktitle = {17th European Dependable Computing Conference, {EDCC} 2021, Munich,
Germany, September 13-16, 2021},
pages = {75--82},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EDCC53658.2021.00018},
doi = {10.1109/EDCC53658.2021.00018},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/BernardiJMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AhishakiyeJKS21,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {{MC/DC} Test Cases Generation Based on BDDs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {178--197},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_10},
doi = {10.1007/978-3-030-91265-9\_10},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/AhishakiyeJKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BassetDMJ20,
author = {Nicolas Basset and
Thao Dang and
Akshay Mambakam and
Jos{\'{e}}{-}Ignacio Requeno Jarabo},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Learning Specifications for Labelled Patterns},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {76--93},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_5},
doi = {10.1007/978-3-030-57628-8\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BassetDMJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AhishakiyeJKS20,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
editor = {Belgacem Ben Hedia and
Yu{-}Fang Chen and
Gaiyun Liu and
Zhenhua Yu},
title = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
booktitle = {Verification and Evaluation of Computer and Communication Systems
- 14th International Conference, VECoS 2020, Xi'an, China, October
26-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12519},
pages = {68--83},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65955-4\_6},
doi = {10.1007/978-3-030-65955-4\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/AhishakiyeJKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09806,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
title = {Coverage Analysis of Net Inscriptions in Coloured Petri Net Models},
journal = {CoRR},
volume = {abs/2005.09806},
year = {2020},
url = {https://arxiv.org/abs/2005.09806},
eprinttype = {arXiv},
eprint = {2005.09806},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/RequenoMBPGP19,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Merseguer and
Simona Bernardi and
Diego Perez{-}Palacin and
Giorgos Giotis and
Vasilis K. Papanikolaou},
title = {Quantitative Analysis of Apache Storm Applications: The NewsAsset
Case Study},
journal = {Inf. Syst. Frontiers},
volume = {21},
number = {1},
pages = {67--85},
year = {2019},
url = {https://doi.org/10.1007/s10796-018-9851-x},
doi = {10.1007/S10796-018-9851-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isf/RequenoMBPGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Perez-PalacinMR19,
author = {Diego Perez{-}Palacin and
Jos{\'{e}} Merseguer and
Jos{\'{e}} Ignacio Requeno and
Michele Guerriero and
Elisabetta Di Nitto and
Damian A. Tamburri},
title = {A {UML} Profile for the Design, Quality Assessment and Deployment
of Data-intensive Applications},
journal = {Softw. Syst. Model.},
volume = {18},
number = {6},
pages = {3577--3614},
year = {2019},
url = {https://doi.org/10.1007/s10270-019-00730-3},
doi = {10.1007/S10270-019-00730-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Perez-PalacinMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BakhirkinBMJ19,
author = {Alexey Bakhirkin and
Nicolas Basset and
Oded Maler and
Jos{\'{e}}{-}Ignacio Requeno Jarabo},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {ParetoLib: {A} Python Library for Parameter Synthesis},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {114--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_7},
doi = {10.1007/978-3-030-29662-9\_7},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BakhirkinBMJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/BernardiDGJMPRR18,
author = {Simona Bernardi and
Juan L. Dom{\'{\i}}nguez and
Abel G{\'{o}}mez and
Christophe Joubert and
Jos{\'{e}} Merseguer and
Diego Perez{-}Palacin and
Jos{\'{e}} Ignacio Requeno and
Alberto Romeu},
title = {A systematic approach for performance assessment using process mining
- An industrial experience report},
journal = {Empir. Softw. Eng.},
volume = {23},
number = {6},
pages = {3394--3441},
year = {2018},
url = {https://doi.org/10.1007/s10664-018-9606-9},
doi = {10.1007/S10664-018-9606-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/BernardiDGJMPRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MateescuR18,
author = {Radu Mateescu and
Jos{\'{e}} Ignacio Requeno},
title = {On-the-fly model checking for extended action-based probabilistic
operators},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {5},
pages = {563--587},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0499-0},
doi = {10.1007/S10009-018-0499-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MateescuR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/RequenoGM18,
author = {Jos{\'{e}} Ignacio Requeno and
I{\~{n}}igo Gasc{\'{o}}n and
Jos{\'{e}} Merseguer},
editor = {Katinka Wolter and
William J. Knottenbelt and
Andr{\'{e}} van Hoorn and
Manoj Nambiar},
title = {Towards the Performance Analysis of Apache Tez Applications},
booktitle = {Companion of the 2018 {ACM/SPEC} International Conference on Performance
Engineering, {ICPE} 2018, Berlin, Germany, April 09-13, 2018},
pages = {147--152},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3185768.3186284},
doi = {10.1145/3185768.3186284},
timestamp = {Fri, 02 Jun 2023 16:15:08 +0200},
biburl = {https://dblp.org/rec/conf/wosp/RequenoGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/RequenoMB17,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Merseguer and
Simona Bernardi},
editor = {Chengcui Zhang and
Balaji Palanisamy and
Latifur Khan and
Sahra Sedigh Sarvestani},
title = {Performance Analysis of Apache Storm Applications Using Stochastic
Petri Nets},
booktitle = {2017 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
pages = {411--418},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRI.2017.64},
doi = {10.1109/IRI.2017.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/RequenoMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/RequenoC16,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Manuel Colom},
title = {Evaluation of properties over phylogenetic trees using stochastic
logics},
journal = {{BMC} Bioinform.},
volume = {17},
pages = {235},
year = {2016},
url = {https://doi.org/10.1186/s12859-016-1077-7},
doi = {10.1186/S12859-016-1077-7},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/RequenoC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/ArdagnaBGAPR16,
author = {Danilo Ardagna and
Simona Bernardi and
Eugenio Gianniti and
Soroush Karimian Aliabadi and
Diego Perez{-}Palacin and
Jos{\'{e}} Ignacio Requeno},
editor = {Jes{\'{u}}s Carretero and
Javier Garc{\'{\i}}a Blas and
Ryan K. L. Ko and
Peter Mueller and
Koji Nakano},
title = {Modeling Performance of Hadoop Applications: {A} Journey from Queueing
Networks to Stochastic Well Formed Nets},
booktitle = {Algorithms and Architectures for Parallel Processing - 16th International
Conference, {ICA3PP} 2016, Granada, Spain, December 14-16, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10048},
pages = {599--613},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49583-5\_47},
doi = {10.1007/978-3-319-49583-5\_47},
timestamp = {Sun, 12 Nov 2023 02:14:42 +0100},
biburl = {https://dblp.org/rec/conf/ica3pp/ArdagnaBGAPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BernardiRJR16,
author = {Simona Bernardi and
Jos{\'{e}} Ignacio Requeno and
Christophe Joubert and
Alberto Romeu},
editor = {Danilo Ardagna and
Giuliano Casale and
Andr{\'{e}} van Hoorn and
Felix Willnecker},
title = {A systematic approach for performance evaluation using process mining:
the {POSIDONIA} operations case study},
booktitle = {Proceedings of the 2nd International Workshop on Quality-Aware DevOps,
QUDOS@ISSTA 2016, Saarbr{\"{u}}cken, Germany, July 21, 2016},
pages = {24--29},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2945408.2945413},
doi = {10.1145/2945408.2945413},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BernardiRJR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/MateescuR16,
author = {Radu Mateescu and
Jos{\'{e}} Ignacio Requeno},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {On-the-Fly Model Checking for Extended Action-Based Probabilistic
Operators},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {189--207},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_13},
doi = {10.1007/978-3-319-32582-8\_13},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/MateescuR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/RequenoC14,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Manuel Colom},
title = {Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking:
The Lactose Persistence Case Study},
journal = {J. Integr. Bioinform.},
volume = {11},
number = {3},
year = {2014},
url = {https://doi.org/10.2390/biecoll-jib-2014-248},
doi = {10.2390/BIECOLL-JIB-2014-248},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/RequenoC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/RequenoC14,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Manuel Colom},
editor = {Julio Saez{-}Rodriguez and
Miguel P. Rocha and
Florentino Fdez{-}Riverola and
Juan F. De Paz Santana},
title = {Timed and Probabilistic Model Checking over Phylogenetic Trees},
booktitle = {8th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, {PACBB} 2014, 4-6 June, 2014, Salamanca,
Spain},
series = {Advances in Intelligent Systems and Computing},
volume = {294},
pages = {105--112},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07581-5\_13},
doi = {10.1007/978-3-319-07581-5\_13},
timestamp = {Wed, 12 Oct 2022 08:58:54 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/RequenoC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/RequenoC13,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Manuel Colom},
title = {Model checking software for phylogenetic trees using distribution
and database methods},
journal = {J. Integr. Bioinform.},
volume = {10},
number = {3},
year = {2013},
url = {https://doi.org/10.2390/biecoll-jib-2013-229},
doi = {10.2390/BIECOLL-JIB-2013-229},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/RequenoC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/RequenoCBC13,
author = {Jos{\'{e}} Ignacio Requeno and
Gregorio de Miguel Casado and
Roberto Blanco and
Jos{\'{e}} Manuel Colom},
title = {Temporal Logics for Phylogenetic Analysis via Model Checking},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {10},
number = {4},
pages = {1058--1070},
year = {2013},
url = {https://doi.org/10.1109/TCBB.2013.87},
doi = {10.1109/TCBB.2013.87},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/RequenoCBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/RequenoC13,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Manuel Colom},
editor = {Mohd Saberi Mohamad and
Loris Nanni and
Miguel P. Rocha and
Florentino Fdez{-}Riverola},
title = {Speeding Up Phylogenetic Model Checking},
booktitle = {7th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, {PACBB} 2013, 22-14 May, 2013, Salamanca,
Spain},
series = {Advances in Intelligent Systems and Computing},
volume = {222},
pages = {119--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-00578-2\_16},
doi = {10.1007/978-3-319-00578-2\_16},
timestamp = {Wed, 12 Oct 2022 08:58:54 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/RequenoC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/RequenoBCC12,
author = {Jos{\'{e}} Ignacio Requeno and
Roberto Blanco and
Gregorio de Miguel Casado and
Jos{\'{e}} Manuel Colom},
editor = {Miguel P. Rocha and
Nicholas M. Luscombe and
Florentino Fdez{-}Riverola and
Juan M. Corchado Rodr{\'{\i}}guez},
title = {Sliced Model Checking for Phylogenetic Analysis},
booktitle = {6th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, Salamanca, Spain},
series = {Advances in Intelligent and Soft Computing},
volume = {154},
pages = {95--103},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28839-5\_11},
doi = {10.1007/978-3-642-28839-5\_11},
timestamp = {Wed, 12 Oct 2022 08:58:54 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/RequenoBCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/RequenoC12,
author = {Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Manuel Colom},
editor = {Miguel P. Rocha and
Nicholas M. Luscombe and
Florentino Fdez{-}Riverola and
Juan M. Corchado Rodr{\'{\i}}guez},
title = {Compact Representation of Biological Sequences Using Set Decision
Diagrams},
booktitle = {6th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, Salamanca, Spain},
series = {Advances in Intelligent and Soft Computing},
volume = {154},
pages = {231--239},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28839-5\_27},
doi = {10.1007/978-3-642-28839-5\_27},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/RequenoC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/RequenoBCC11,
author = {Jos{\'{e}} Ignacio Requeno and
Roberto Blanco and
Gregorio de Miguel Casado and
Jos{\'{e}} Manuel Colom},
editor = {Miguel P. Rocha and
Juan M. Corchado Rodr{\'{\i}}guez and
Florentino Fdez{-}Riverola and
Alfonso Valencia},
title = {Phylogenetic Analysis Using an {SMV} Tool},
booktitle = {5th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, {PACBB} 2011, April 6-8, 2011, Salamanca,
Spain},
series = {Advances in Intelligent and Soft Computing},
volume = {93},
pages = {167--174},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19914-1\_23},
doi = {10.1007/978-3-642-19914-1\_23},
timestamp = {Wed, 12 Oct 2022 08:58:54 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/RequenoBCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/BlancoCRC10,
author = {Roberto Blanco and
Gregorio de Miguel Casado and
Jos{\'{e}} Ignacio Requeno and
Jos{\'{e}} Manuel Colom},
title = {Temporal logics for phylogenetic analysis via model checking},
booktitle = {2010 {IEEE} International Conference on Bioinformatics and Biomedicine
Workshops, {BIBMW} 2010, Hong Kong, December 18, 2010},
pages = {152--157},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/BIBMW.2010.5703790},
doi = {10.1109/BIBMW.2010.5703790},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/BlancoCRC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
