( en | de | ru )

 

Disambiguierung von "Nachmanson, Lev"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Navigating the Universe of Z3 Theory Solvers.

, und . SBMF, Volume 12475 von Lecture Notes in Computer Science, Seite 8-24. Springer, (2020)

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.

Ladislav Lev

Lev Stimmer

Lev Baron

Lev Baron

Lev Kadinski

 

Weitere Publikationen von Autoren mit dem selben Namen

A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps., und . CoRR, (2017)Navigating the Universe of Z3 Theory Solvers., und . SBMF, Volume 12475 von Lecture Notes in Computer Science, Seite 8-24. Springer, (2020)Graph Drawing Contest Report, , , und . Proceedings of the 23rd International Symposium on Graph Drawing and Network Visualization (GD'15), Volume 9411 von Lecture Notes in Computer Science, Seite 531--537. Springer, (September 2015)Drawing Permutations with Few Corners., , , und . GD, Volume 8242 von Lecture Notes in Computer Science, Seite 484-495. Springer, (2013)Edge Routing with Ordered Bundles., , , und . GD, Volume 7034 von Lecture Notes in Computer Science, Seite 136-147. Springer, (2011)Play to Test., , , und . FATES, Volume 3997 von Lecture Notes in Computer Science, Seite 32-46. Springer, (2005)A New Approach to GraphMaps, a System Browsing Large Graphs as Interactive Maps., und . VISIGRAPP (3: IVAPP), Seite 108-119. SciTePress, (2018)Node Overlap Removal by Growing a Tree., , , , und . GD, Volume 9801 von Lecture Notes in Computer Science, Seite 33-43. Springer, (2016)Graph Drawing Contest Report, , , und . Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD'16), Volume 9801 von Lecture Notes in Computer Science, Seite 589--595. Springer-Verlag, (September 2016)Fast Edge-Routing for Large Graphs., und . GD, Volume 5849 von Lecture Notes in Computer Science, Seite 147-158. Springer, (2009)