PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rodríguez, Ismael"

Author of the publication

copydeleteadd this publication to your clipboard
Tactile sheets: using engraved paper overlays to facilitate access to a digital document's layout and logical structure.

, , , , and . PETRA, page 165-169. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ana Rodriguez Quiroga University of Stuttgart

Rocio Belen Rodriguez University of Stuttgart

 

Other publications of authors with the same name

PAMR: A Process Algebra for the Management of Resources in Concurrent Systems., and . FORTE, volume 197 of IFIP Conference Proceedings, page 169-184. Kluwer, (2001)Applications of river formation dynamics., , and . J. Comput. Science, (2017)Formal specification of multi-agent e-barter systems., , and . Sci. Comput. Program., 57 (2): 187-216 (2005)Guest editorial., , and . J. Systems and IT, 20 (4): 402-403 (2018)A Preliminary General Testing Method Based on Genetic Algorithms., , and . IWANN (2), volume 6692 of Lecture Notes in Computer Science, page 356-363. Springer, (2011)THOTL: A Timed Extension of HOTL., , and . TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, page 86-102. Springer, (2008)SPAMR: Extending PAMR with stochastic time., , and . EPEW, volume 4748 of Lecture Notes in Computer Science, page 63-79. Springer, (2007)A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras., , , and . IICS, volume 2346 of Lecture Notes in Computer Science, page 217-228. Springer, (2002)Introducing CEES: Complex Economic Environments Simulator., and . International Conference on Computational Science, volume 2658 of Lecture Notes in Computer Science, page 658-667. Springer, (2003)Towards Testing Stochastic Timed Systems., and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 335-350. Springer, (2003)