Mauricio Varea - Concepedia

Author

Mauricio Varea

Also Known As

M. Varea, Mauricio Varea

Publications

147

Citations

H-Index

Concepts

All Affiliations

Mauricio Varea is an author at University of Southampton specializing in engineering, computer science, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	129
2	Computer Science	6	6	129
3	Computer Engineering	4	4	93
4	Management	1	1	17
5	Data Science	1	1	17

Mauricio Varea

Publications

129

Citations

H-Index

Page 1

	Year	Citations
Efficient and flexible access control via logic program specialisation Steve Barker, Michaël Leuschel, Mauricio Varea Access Control ChecksEngineeringInformation SecurityVerificationSoftware Engineering	2004	43
Dual transitions petri net based modelling technique for embedded systems specification Mauricio Varea, Bashir M. Al‐Hashimi Design, Automation, and Test in Europe Petri NetNew Modelling TechniqueEngineeringComputer ArchitectureSoftware Engineering	2001	20
Dual Flow Nets Mauricio Varea, Bashir M. Al‐Hashimi, Luis Alejandro Cortés, ACM Transactions on Embedded Computing Systems Petri NetEngineeringComputer ArchitectureNetwork AnalysisDual Flow Net	2006	19
Towards context-aware testing for semantic interoperability on PvC environments Andrés Flores, Juan Carlos Augusto, Macario Polo, Software MaintenanceEngineeringLanguage InteroperabilitySoftware EngineeringSemantic Web	2005	19
The Ecce and Logen partial evaluators and their web interfaces Michaël Leuschel, Dan Elphick, Mauricio Varea, EngineeringSoftware EngineeringPartial EvaluatorsSemantic WebEvaluation Strategy	2006	17
Efficient and flexible access control via Jones-optimal logic program specialisation Steve Barker, Michaël Leuschel, Mauricio Varea LISP and Symbolic Computation Mathematical ProgrammingHardware SecurityApplied LogicLogic SynthesisEngineering	2008	11

Page 1