Kaija I. Metuzals - Concepedia

Author

Kaija I. Metuzals

Also Known As

Kaija I. Metuzals, Kaija Metuzals

Publications

687

Citations

H-Index

Concepts

All Affiliations

Kaija I. Metuzals is an author at Inter-American Tropical Tuna Commission specializing in formal methods, verification, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	673
2	Computer Science	1	1	673
3	Software Analysis	1	1	673
4	Automated Reasoning	1	1	673
5	Formal Methods	1	1	673

Kaija I. Metuzals

Publications

683

Citations

H-Index

Page 1

	Year	Citations
By-Catch: Problems and Solutions Martín Hall, Dayton L. Alverson, Kaija I. Metuzals Marine Pollution Bulletin EngineeringAutomated ReasoningVerificationFormal MethodsSoftware Analysis	2000	673
One fish, two fish, IUU and no fish: unreported fishing worldwide Kaija I. Metuzals, Rachel Baird, Tony J. Pitcher,	2010	10

Page 1