( en | de | ru )

 

Disambiguierung von "Meel, Kuldeep S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Design and Verification of Distributed Phasers.

, , , , und . Euro-Par, Volume 9833 von Lecture Notes in Computer Science, Seite 405-418. Springer, (2016)

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.

Matthias Meel

Aumaporn Meelursarn

Walter Meels

S Danischewski

S Hilt

 

Weitere Publikationen von Autoren mit dem selben Namen

"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis., , und . FAccT, Seite 138-148. ACM, (2023)Scalable Quantitative Verification For Deep Neural Networks., , , und . ICSE, Seite 312-323. IEEE, (2021)Scalable Probabilistic Routes., , und . ENIGMA@KR, Volume 3495 von CEUR Workshop Proceedings, Seite 64-74. CEUR-WS.org, (2023)Testing of Horn Samplers., , , , , und . AISTATS, Volume 206 von Proceedings of Machine Learning Research, Seite 1301-1330. PMLR, (2023)Designing New Phase Selection Heuristics., und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2020)Formally Certified Approximate Model Counting., , , , und . CAV (1), Volume 14681 von Lecture Notes in Computer Science, Seite 153-177. Springer, (2024)Counting Maximal Satisfiable Subsets., und . AAAI, Seite 3651-3660. AAAI Press, (2021)Estimating the Size of Union of Sets in Streaming Models., , und . PODS, Seite 126-137. ACM, (2021)Engineering an Efficient Boolean Functional Synthesis Engine., , , und . ICCAD, Seite 1-9. IEEE, (2021)Approximate Counting of Minimal Unsatisfiable Subsets., und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 439-462. Springer, (2020)