Fernando Soler-Toscano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2006–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | DIAGRAMS | An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. | Fernando Soler-Toscano, Marcos Bautista Lpez Aznar |
| 2014 | JELIA | Efficient Program Transformers for Translating LCC to PDL. | Pere Pardo, Enrique Sarrin-Morillo, Fernando Soler-Toscano, Fernando R. Velzquez-Quesada |
| 2012 | PAAMS | Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. | Hans van Ditmarsch, Jan van Eijck, Ignacio Hernndez-Antn, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano |
| 2012 | PAAMS | Unconditionally Secure Protocols with Genetic Algorithms. | Ignacio Hernndez-Antn, Fernando Soler-Toscano, Hans van Ditmarsch |
| 2011 | DCAI | Secure Communication of Local States in Interpreted Systems. | Michael H. Albert, Andrs Cordn-Franco, Hans van Ditmarsch, David Fernndez-Duque, Joost J. Joosten, Fernando Soler-Toscano |
| 2006 | JELIA | : Tableaux and Resolution for Finite Abduction. | Fernando Soler-Toscano, ngel Nepomuceno-Fernndez |