Nina Amla

Identifiers

• name variant Nina Amla 0.60 · backfill

Papers (2)

1. Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review cs.CY · 2016 · author #3
2. A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction cs.LO · 2010 · author #3

Mentions

• 1008.2021 #3 · backfill · confidence 0.70 Nina Amla

Frequent Coauthors

• Admela Jukan 1 shared papers
• Alan Mishchenko 1 shared papers
• Niklas Een 1 shared papers
• Xavi Masip-Bruin 1 shared papers