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

Formal testing from timed finite state machines., , and . Computer Networks, 52 (2): 432-460 (2008)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)Comparing Learning Methods., , and . IJCINI, 3 (3): 12-26 (2009)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)Data-aware automatic derivation of choreography-conforming systems of services., , , and . Computer Standards & Interfaces, (2017)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)