Rami Marelly
About
Rami Marelly has authored 8 papers that have received a total of 201 indexed citations.
This includes 6 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Software. The topics of these papers are Advanced Software Engineering Methodologies (5 papers), Formal Methods in Verification (3 papers) and Embedded Systems Design Techniques (2 papers). Rami Marelly is often cited by papers focused on Advanced Software Engineering Methodologies (5 papers), Formal Methods in Verification (3 papers) and Embedded Systems Design Techniques (2 papers) and collaborates with scholars based in Israel, United States and United Kingdom. Rami Marelly's co-authors include David Harel, Assaf Marron, Hillel Kugler, Amir Pnueli and Guy Katz and has published in prestigious journals such as Developmental Biology, IEEE Transactions on Software Engineering and Computer
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Montserrat Puiggròs Top journals papers by Charles Zammit are published in Top fields papers by Andreas Schlapbach are about Top journals papers by Madeleine Konig are published in Top journals papers by Kinuka Ohtaka are published in Top authors papers by Donald Bogle are co-authored with Top journals papers by F. Reiche are published in Top journals papers by Mike Gill are published in