Skip to main navigation Skip to search Skip to main content
No photo of Michelle Aluf Medina

View Scopus Profile

Michelle Aluf Medina

 https://orcid.org/0009-0002-5969-4599
20212023

Research activity per year

Personal profile

Fingerprint

Dive into the research topics where Michelle Aluf Medina is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Conference contribution

  • Learning Through Imitation by Using Formal Verification

    Raviv, A., Bronshtein, E., Reginiano, O., Aluf-Medina, M. & Kugler, H., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (ed.). Springer Science and Business Media Deutschland GmbH, p. 342-355 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Simulation and Verification of Network-Based Biocomputation Circuits

    Aluf-Medina, M., Raviv, A., Arora, H., Korten, T. & Kugler, H., 2023, ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2023-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Formal Semantics and Verification of Network-Based Biocomputation Circuits

    Aluf-Medina, M., Korten, T., Raviv, A., Nicolau, D. V. & Kugler, H., 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 464-485 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Scopus citations