Sela Mador-Haim
According to our database1,
Sela Mador-Haim
authored at least 10 papers
between 1998 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
2
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Executing United States Bills into Law: A Working Application in the United States House.
Proceedings of the Legal Knowledge and Information Systems, 2023
"Comparative Prints Suite" of the United States House of Representatives: NLP for Tracking Changes in Bills and Laws.
Proceedings of the Legal Knowledge and Information Systems, 2023
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the 48th Design Automation Conference, 2011
2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2003
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998