( en | de | ru )

 

Disambiguation of "Rosa, Fernando"

Author of the publication

copydeleteadd this publication to your clipboard
Need and Requirements Elicitation for Electronic Access to Patient's Medication History in the Emergency Department.

, , and . CBMS, page 497-498. IEEE Computer Society, (2014)

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.

Anne Rosahl

Verena Rosauer

Walter Rosam

Carl Werner Rosarius

Claudia Rosanowski

 

Other publications of authors with the same name

Need and Requirements Elicitation for Electronic Access to Patient's Medication History in the Emergency Department., , and . CBMS, page 497-498. IEEE Computer Society, (2014)Petri nets with name creation for transient secure association.. Acta Inf., 50 (7-8): 403-436 (2013)Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data., and . LATA, volume 6031 of Lecture Notes in Computer Science, page 524-535. Springer, (2010)Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets., and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 461-476. Springer, (2006)Ordinal recursive complexity of Unordered Data Nets.. Inf. Comput., (2017)Safety and Soundness for Priced Resource-Constrained Workflow Nets., and . Fundam. Informaticae, 131 (1): 55-80 (2014)On the coverability and reachability languages of monotonic extensions of Petri nets., and . Theor. Comput. Sci., (2013)Portable data acquisition system for EKG measurements in marine environments., , , , , and . Comput. Methods Programs Biomed., 62 (2): 145-152 (2000)Multiset rewriting for the verification of depth-bounded processes with name binding., and . Inf. Comput., (2012)Tagged Systems: A Framework for the Specification of History-dependent Properties., , and . PROLE, volume 137 of Electronic Notes in Theoretical Computer Science, page 151-174. Elsevier, (2004)