Sara Mohammadinejad
Orcid: 0000-0002-4986-5553
According to our database1,
Sara Mohammadinejad
authored at least 8 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Bridging the Gap Between AI and Reality, 2024
2022
Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic.
CoRR, 2022
2021
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
Interpretable classification of time-series data using efficient enumerative techniques.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
2019
Power Reduction and BTI Mitigation of Data-Cache Memory Based on the Storage Management of Narrow-Width Values.
IEEE Trans. Very Large Scale Integr. Syst., 2019
2017
Efficient Hardware Implementation of Real-Time Low-Power Movement Intention Detector System Using FFT and Adaptive Wavelet Transform.
IEEE Trans. Biomed. Circuits Syst., 2017