Concepedia

Luca Ferro

LF

Statistics

Publications

5

Citations

81

H-Index

5

Active since

2008

Affiliations

Ghent University(Current)

Luca Ferro is an author at Ghent University specializing in assertion verification, computer science, and formal methods.

Publications per year

2008–2018

5

Publications

5

A Tractable and Fast Method for Monitoring SystemC TLM Specifications

Laurence Pierre, Luca Ferro · IEEE Transactions on Computers · 2008 · 39 citations

Computing, Computer Science, Computer Systems +17

Digest of State Practice: 1 July – 31 December 2016

Tom Ruys, Luca Ferro, Nele Verlinden et al. · Journal on the Use of Force and International Law · 2017 · 11 citations

Law, Conflict Studies, Criminal Law +13

Enhancing the assertion-based verification of TLM designs with reentrancy

Laurence Pierre, Luca Ferro · 2010 · 11 citations

Computing, Computer Engineering, Computer Science +13

WEATHERING THE STORM: LEGALITY AND LEGAL IMPLICATIONS OF THE SAUDI-LED MILITARY INTERVENTION IN YEMEN

Tom Ruys, Luca Ferro · International and Comparative Law Quarterly · 2016 · 10 citations · Full text

Law, International Law, International Relations +15

Neutrality During Armed Conflicts: A Coherent Approach to Third-State Support for Warring Parties

Luca Ferro, Nele Verlinden · Chinese Journal of International Law · 2018 · 10 citations · Full text

Law, Comparative Law, International Law +15

1–5 of 5