No photo of Michelle Aluf Medina

View Scopus Profile

Michelle Aluf Medina

20212023

Research activity per year

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 7 - Affordable and Clean Energy

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

  • 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