AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Marcelo F Frias

Marcelo F Frias

Instituto Tecnológico de Buenos Aires - Buenos Aires / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 833820
Technological Institute of Buenos Aires
person_outline Marcelo F Frias's MOST POPULAR ARTICLES
1-) DynAlloy: upgrading alloy with actions Proceedings of the 27th international conference on Software engineering …, 2005
2-) Analysis of invariants for efficient bounded verification Proceedings of the 19th international symposium on Software testing and …, 2010
3-) TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds IEEE Transactions on Software Engineering 39 (9), 1283-1307, 2013
4-) Fork algebras in algebra, logic and computer science World Scientific, 2002
5-) A finite axiomatization for fork algebras Logic Journal of IGPL 5 (3), 1-10, 1997