Autor der Publikation

A Certified Decision Procedure for Tree Shares.

, , , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 226-242. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The max-sum inverse median location problem on trees with budget constraint., , und . Appl. Math. Comput., (Januar 2024)A novel approach based on deep learning techniques and UAVs to yield assessment of paddy fields., , , , , , und . KSE, Seite 257-262. IEEE, (2017)JUDO: Just-in-time rumour detection in streaming social platforms., , , , , und . Inf. Sci., (2021)A Certified Decision Procedure for Tree Shares., , , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 226-242. Springer, (2017)Scalable maximal subgraph mining with backbone-preserving graph convolutions., , , , , , und . Inf. Sci., (Oktober 2023)Realtime Bushfire Detection with Spatial-based Complex Event Processing., , , , und . ACOMP, Seite 1-8. IEEE, (2021)Joint Sequential Data Prediction with Multi-stream Stacked LSTM Network., , , , , und . AusDM, Volume 1127 von Communications in Computer and Information Science, Seite 77-90. Springer, (2019)SL-COMP: Competition of Solvers for Separation Logic., , , , , , , , , und 14 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 116-132. Springer, (2019)10X Faster Subgraph Matching: Dual Matching Networks with Interleaved Diffusion Attention., , , , , und . IJCNN, Seite 1-9. IEEE, (2023)A deep learning approach for early wildfire detection from hyperspectral satellite images., , , und . RiTA, Seite 38-45. IEEE, (2019)