×

zbMATH — the first resource for mathematics

Schuster, Assaf

Compute Distance To:
Author ID: schuster.assaf Recent zbMATH articles by "Schuster, Assaf"
Published as: Schuster, Assaf; Schuster, A.
Documents Indexed: 39 Publications since 1989

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 75 times in 54 Documents Cited by Year
The power of reconfiguration. Zbl 0769.68023
Ben-Asher, Y.; Peleg, D.; Ramaswami, R.; Schuster, A.
14
1991
Achieving scalability in parallel reachability analysis of very large circuits. Zbl 0974.68547
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2000
Hankel operators on Fock spaces. Zbl 1409.47006
Perälä, A.; Schuster, A.; Virtanen, J. A.
5
2014
A scalable parallel algorithm for reachability analysis of very large circuits. Zbl 1020.68107
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2002
The complexity of reconfiguring network models. Zbl 0832.68045
Ben-Asher, Y.; Lange, K.-J.; Peleg, D.; Schuster, A.
4
1995
A work-efficient distributed algorithm for reachability analysis. Zbl 1278.68174
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
4
2003
Top-\(k\) vectorial aggregation queries in a distributed environment. Zbl 1219.68054
Sagy, Guy; Sharfman, Izchak; Keren, Daniel; Schuster, Assaf
3
2011
Optimal bounds on tail probabilities: A study of an approach. Zbl 0944.60032
Cohen, Aviad; Rabinovich, Yuri; Schuster, Assaf; Shachnai, Hadas
3
1999
A work-efficient distributed algorithm for reachability analysis. Zbl 1110.68075
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2006
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 0996.68106
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2001
Potential function analysis of greedy hot-potato routing. Zbl 0893.68083
Ben-Dor, A.; Halevi, S.; Schuster, A.
3
1998
Randomized single-target hot-potato routing. Zbl 0866.68041
Aroya, Ishai Ben; Newman, Ilan; Schuster, Assaf
2
1997
A lower bound for nearly minimal adaptive and hot potato algorithms. Zbl 0899.68049
Ben-Aroya, I.; Chinn, D. D.; Schuster, A.
2
1998
Memory efficient all-solutions SAT solver and its application for reachability analysis. Zbl 1117.68429
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
2
2004
Achieving speedups in distributed symbolic reachability analysis through asynchronous computation. Zbl 1159.68322
Grumberg, Orna; Heyman, Tamir; Ifergan, Nili; Schuster, Assaf
2
2005
Veracity radius, capturing the locality of distributed computations. Zbl 1314.68056
Birk, Yitzhak; Keidar, Idit; Liss, Liran; Schuster, Assaf; Wolff, Ran
2
2006
A local algorithm for ad hoc majority voting via charge fusion. Zbl 1110.68544
Birk, Yitzhak; Liss, Liran; Schuster, Assaf; Wolff, Ran
2
2004
3-valued circuit SAT for STE with automatic refinement. Zbl 1141.68467
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
1
2007
Efficient dynamic aggregation. Zbl 1155.68324
Birk, Yitzhak; Keidar, Idit; Liss, Liran; Schuster, Assaf
1
2007
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 1083.68069
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
1
2005
Radiative heat transfer with quasi-Monte Carlo methods. Zbl 0809.65141
Kersch, A.; Morokoff, W.; Schuster, A.
1
1994
Optimal point-to-point broadcast algorithms via lopsided trees. Zbl 1031.90006
Golin, Mordecai; Schuster, Assaf
1
1999
Improved memory utilization in deterministic PRAM simulation. Zbl 0753.68097
Aumann, Yonatan; Schuster, Assaf
1
1991
Communication aspects of networks based on geometric incidence relations. Zbl 0669.94025
Shamir, Eli; Schuster, Assaf
1
1989
Potential function analysis of greedy hot-potato routing. Zbl 1373.68036
Ben-Dor, Amir; Halevi, Shai; Schuster, Assaf
1
1994
Distributed geometric query monitoring using prediction models. Zbl 1333.68099
Giatrakos, Nikos; Deligiannakis, Antonios; Garofalakis, Minos; Sharfman, Izchak; Schuster, Assaf
1
2014
Fast, efficient mutual and self simulations for shared memory and reconfigurable mesh. Zbl 1049.68734
Matias, Yossi; Schuster, Assaf
1
1996
A scheduling framework for large-scale, parallel, and topology-aware applications. Zbl 1233.68114
Kravtsov, Valentin; Bar, Pavel; Carmeli, David; Schuster, Assaf; Swain, Martin
1
2010
Hankel operators on Fock spaces. Zbl 1409.47006
Perälä, A.; Schuster, A.; Virtanen, J. A.
5
2014
Distributed geometric query monitoring using prediction models. Zbl 1333.68099
Giatrakos, Nikos; Deligiannakis, Antonios; Garofalakis, Minos; Sharfman, Izchak; Schuster, Assaf
1
2014
Top-\(k\) vectorial aggregation queries in a distributed environment. Zbl 1219.68054
Sagy, Guy; Sharfman, Izchak; Keren, Daniel; Schuster, Assaf
3
2011
A scheduling framework for large-scale, parallel, and topology-aware applications. Zbl 1233.68114
Kravtsov, Valentin; Bar, Pavel; Carmeli, David; Schuster, Assaf; Swain, Martin
1
2010
3-valued circuit SAT for STE with automatic refinement. Zbl 1141.68467
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
1
2007
Efficient dynamic aggregation. Zbl 1155.68324
Birk, Yitzhak; Keidar, Idit; Liss, Liran; Schuster, Assaf
1
2007
A work-efficient distributed algorithm for reachability analysis. Zbl 1110.68075
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2006
Veracity radius, capturing the locality of distributed computations. Zbl 1314.68056
Birk, Yitzhak; Keidar, Idit; Liss, Liran; Schuster, Assaf; Wolff, Ran
2
2006
Achieving speedups in distributed symbolic reachability analysis through asynchronous computation. Zbl 1159.68322
Grumberg, Orna; Heyman, Tamir; Ifergan, Nili; Schuster, Assaf
2
2005
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 1083.68069
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
1
2005
Memory efficient all-solutions SAT solver and its application for reachability analysis. Zbl 1117.68429
Grumberg, Orna; Schuster, Assaf; Yadgar, Avi
2
2004
A local algorithm for ad hoc majority voting via charge fusion. Zbl 1110.68544
Birk, Yitzhak; Liss, Liran; Schuster, Assaf; Wolff, Ran
2
2004
A work-efficient distributed algorithm for reachability analysis. Zbl 1278.68174
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
4
2003
A scalable parallel algorithm for reachability analysis of very large circuits. Zbl 1020.68107
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2002
Distributed symbolic model checking for \(\mu\)-calculus. Zbl 0996.68106
Grumberg, Orna; Heyman, Tamir; Schuster, Assaf
3
2001
Achieving scalability in parallel reachability analysis of very large circuits. Zbl 0974.68547
Heyman, Tamir; Geist, Danny; Grumberg, Orna; Schuster, Assaf
5
2000
Optimal bounds on tail probabilities: A study of an approach. Zbl 0944.60032
Cohen, Aviad; Rabinovich, Yuri; Schuster, Assaf; Shachnai, Hadas
3
1999
Optimal point-to-point broadcast algorithms via lopsided trees. Zbl 1031.90006
Golin, Mordecai; Schuster, Assaf
1
1999
Potential function analysis of greedy hot-potato routing. Zbl 0893.68083
Ben-Dor, A.; Halevi, S.; Schuster, A.
3
1998
A lower bound for nearly minimal adaptive and hot potato algorithms. Zbl 0899.68049
Ben-Aroya, I.; Chinn, D. D.; Schuster, A.
2
1998
Randomized single-target hot-potato routing. Zbl 0866.68041
Aroya, Ishai Ben; Newman, Ilan; Schuster, Assaf
2
1997
Fast, efficient mutual and self simulations for shared memory and reconfigurable mesh. Zbl 1049.68734
Matias, Yossi; Schuster, Assaf
1
1996
The complexity of reconfiguring network models. Zbl 0832.68045
Ben-Asher, Y.; Lange, K.-J.; Peleg, D.; Schuster, A.
4
1995
Radiative heat transfer with quasi-Monte Carlo methods. Zbl 0809.65141
Kersch, A.; Morokoff, W.; Schuster, A.
1
1994
Potential function analysis of greedy hot-potato routing. Zbl 1373.68036
Ben-Dor, Amir; Halevi, Shai; Schuster, Assaf
1
1994
The power of reconfiguration. Zbl 0769.68023
Ben-Asher, Y.; Peleg, D.; Ramaswami, R.; Schuster, A.
14
1991
Improved memory utilization in deterministic PRAM simulation. Zbl 0753.68097
Aumann, Yonatan; Schuster, Assaf
1
1991
Communication aspects of networks based on geometric incidence relations. Zbl 0669.94025
Shamir, Eli; Schuster, Assaf
1
1989
all top 5

Cited by 130 Authors

6 Schuster, Assaf
4 Grumberg, Orna
3 Heyman, Tamir
3 Trahan, Jerry L.
2 Bourgeois, Anu G.
2 Chen, Genhuey
2 Chen, Wen-Tsuen
2 Eyal, Ittay
2 Keidar, Idit
2 Rom, Raphael
2 Sharfman, Izchak
1 Abujarad, Fuad
1 Amit, Alon
1 Baker, Johnnie W.
1 Barringer, Howard
1 Ben-Aroya, Ishai
1 Bensalah, Mohamed Oudi
1 Bernet, Julien
1 Bhaduri, Kanishka
1 Bouattane, Omar
1 Braberman, Víctor
1 Brim, Luboš
1 Bruda, Stefan D.
1 Bryant, Randal E.
1 Busch, Costas
1 Cárdenas-Haro, José Antonio
1 Češka, Milan
1 Chantamas, Wittaya
1 Chao, Chia-Chiang
1 Chen, Guoliang
1 Chen, Xiongzhi
1 Cherradi, Bouchaib
1 Cicalese, Ferdinando
1 Cohen, Gérard Denis
1 Czumaj, Artur
1 Dal, Giso H.
1 Dams, Dennis René
1 Deligiannakis, Antonios
1 Edelkamp, Stefan
1 Eilam, Tamar
1 Ezekiel, Jonathan
1 Fajardo-Delgado, Daniel
1 Fargier, Hélène
1 Feige, Uriel
1 Feldmann, Rainer
1 Fernández-Zepeda, José Alberto
1 Fix, Limor
1 Fraigniaud, Pierre
1 Gargano, Luisa
1 Garofalakis, Minos
1 Giatrakos, Nikos
1 Gu, Xiaodong
1 Gu, Yi
1 Hao, He
1 Heyman, Amnon
1 Hommersom, Arjen
1 Hoory, Shlomo
1 Horng, Shi-Jinn
1 Hromkovič, Juraj
1 Hsieh, Kuen-Rong
1 Inggs, Cornelia P.
1 Jabbar, Shahid
1 Janin, David
1 Jin, Mingxian
1 Kargupta, Hillol
1 Keren, Daniel
1 Kim, Hyoung Joong
1 Krauthgamer, Robert
1 Kuhn, Fabian
1 Kulkarni, Sandeep S.
1 Laarman, Alfons W.
1 Lazard, Emmanuel
1 Lee, PeiZong
1 Li, Hungwen
1 Linial, Nathan
1 Lopes, Nuno P.
1 Lucas, Peter J. F.
1 Lüttgen, Gerald
1 Madhavapeddy, Seshu
1 Magdon-Ismail, Malik
1 Marquis, Pierre
1 Mavronicolas, Marios
1 Meyer auf der Heide, Friedhelm
1 Monien, Burkhard
1 Moscibroda, Thomas
1 Mysliwietz, Peter
1 Nakano, Koji
1 Olivero, Alfredo
1 Pantziou, Grammati E.
1 Park, Heonchul
1 Phillips, Jeff M.
1 Pietracaprina, Andrea
1 Pinelis, Iosif Froimovich
1 Prasanna, Viktor K.
1 Preparata, Franco P.
1 Ritter, Gerhard X.
1 Roberts, Alan
1 Rybalchenko, Andrey
1 Šafránek, David
1 Sagy, Guy
...and 30 more Authors

Citations by Year