Seif Haridi
Seif Haridi
Professor of Computer Systems, KTH, SICS
Verified email at - Homepage
TitleCited byYear
Concepts, techniques, and models of computer programming
P Van-Roy, S Haridi
MIT press, 2004
Apache flink: Stream and batch processing in a single engine
P Carbone, A Katsifodimos, S Ewen, V Markl, S Haridi, K Tzoumas
Bulletin of the IEEE Computer Society Technical Committee on Data†…, 2015
The Aurora or-parallel Prolog system
E Lusk, R Butler, T Disz, R Olson, R Overbeek, R Stevens, DHD Warren, ...
New Generation Computing 7 (2-3), 243-271, 1990
DDM-a cache-only memory architecture
E Hagersten, A Landin, S Haridi
Computer 25 (9), 44-54, 1992
Efficient broadcast in structured P2P networks
S El-Ansary, LO Alima, P Brand, S Haridi
International workshop on Peer-to-Peer systems, 304-314, 2003
Peer-to-Peer resource discovery in Grids: Models and systems
P Trunfio, D Talia, H Papadakis, P Fragopoulou, M Mordacchini, ...
Future Generation Computer Systems 23 (7), 864-878, 2007
Programming paradigms of the Andorra kernel language
S Janson, S Haridi
Swedish Institute of Computer Science, 1991
The essence of P2P: A reference architecture for overlay networks
K Aberer, LO Alima, A Ghodsi, S Girdzijauskas, S Haridi, M Hauswirth
Fifth IEEE International Conference on Peer-to-Peer Computing (P2P'05), 11-20, 2005
DKS (N, k, f): a family of low communication, scalable and fault-tolerant infrastructures for P2P applications
L Onana Alima, S El-Ansary, P Brand, S Haridi
3rd IEEE/ACM International Symposium on Cluster Computing and the Grid†…, 2003
Mobile objects in distributed Oz
P Van Roy, S Haridi, P Brand, G Smolka, M Mehl, R Scheidhauer
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 804-851, 1997
Kernel Andorra Prolog and its computational model
S Haridi, S Janson
Swedish Institute of Computer Science, 1990
Symmetric replication for structured peer-to-peer systems
A Ghodsi, LO Alima, S Haridi
Databases, Information Systems, and Peer-to-Peer Computing, 74-85, 2006
Garbarge collection for Prolog based on WAM
K Appleby, M Carllson, S Haridi, D Sawhlin
Communications of the ACM 31 (6), 719-741, 1988
Programming languages for distributed applications
S Haridi, P Van Roy, P Brand, C Schulte
New generation computing 16 (3), 223-261, 1998
A statistical theory of chord under churn
S Krishnamurthy, S El-Ansary, E Aurell, S Haridi
International Workshop on Peer-to-Peer Systems, 93-103, 2005
Data Diffusion Machien―A Scalable Shared Virtual Memory Multiprocessor
D Warren
Proc. International Conference Fifth Generation Computer Systems, 943-952, 1988
ANDORRA Prolog-an integration of Prolog and committed choice languages
S Haridi
Proc. of Int. Conf. on Fifth Generation Computer Systems, 745-754, 1988
Ja-be-ja: A distributed algorithm for balanced graph partitioning
F Rahimian, AH Payberah, S Girdzijauskas, M Jelasity, S Haridi
2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing†…, 2013
Clive: Cloud-assisted p2p live streaming
AH Payberah, H Kavalionak, V Kumaresan, A Montresor, S Haridi
2012 IEEE 12th International Conference on Peer-to-Peer Computing (P2P), 79-90, 2012
A Formal Model for Or-Parallel Execution of Logic Programs.
A Ciepielewski, S Haridi
IFIP Congress, 299-305, 1983
The system can't perform the operation now. Try again later.
Articles 1–20