![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Seif Haridi
Person information
- affiliation: Swedish Institute of Computer Science, Stockholm, Sweden
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c123]Klas Segeljakt
, Seif Haridi
, Paris Carbone
:
AquaLang: A Dataflow Programming Language. DEBS 2024: 42-53 - 2023
- [c122]Harald Ng
, Seif Haridi
, Paris Carbone
:
Omni-Paxos: Breaking the Barriers of Partial Connectivity. EuroSys 2023: 314-330 - [i13]Peter Van Roy, Seif Haridi:
Ideas for the future of Prolog inspired by Oz. CoRR abs/2302.00558 (2023) - 2022
- [j32]Majed S. Alsayfi
, Mohamed Yehia Dahab
, Fathy E. Eassa
, Reda Salama, Seif Haridi, Abdullah S. Al-Malaise Al-Ghamdi:
Securing Real-Time Video Surveillance Data in Vehicular Cloud Computing: A Survey. IEEE Access 10: 51525-51547 (2022) - [j31]Huda Saleh Basloom
, Mohamed Yehia Dahab
, Ahmed Mohammed Alghamdi
, Fathy Elbouraey Eassa
, Abdullah Saad Al-Malaise Al-Ghamdi
, Seif Haridi
:
Errors Classification and Static Detection Techniques for Dual-Programming Model (OpenMP and OpenACC). IEEE Access 10: 117808-117826 (2022) - 2021
- [c121]Jingna Zeng, Shady Issa, Paolo Romano, Luís E. T. Rodrigues, Seif Haridi:
Investigating the semantics of futures in transactional memory systems. PPoPP 2021: 16-30 - 2020
- [j30]Fathy Elbouraey Eassa
, Ahmed Mohammed Alghamdi
, Seif Haridi
, Maher Khemakhem
, Abdullah S. Al-Malaise Al-Ghamdi, Eesa A. Alsolami
:
ACC_TEST: Hybrid Testing Approach for OpenACC-Based Programs. IEEE Access 8: 80358-80368 (2020) - [j29]Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka:
A history of the Oz multiparadigm language. Proc. ACM Program. Lang. 4(HOPL): 83:1-83:56 (2020) - [c120]Mahmoud Ismail, Salman Niazi, Mauritz Sundell, Mikael Ronström, Seif Haridi, Jim Dowling:
Distributed Hierarchical File Systems strike back in the Cloud. ICDCS 2020: 820-830 - [c119]Mahmoud Ismail, Salman Niazi, Gautier Berthou, Mikael Ronström, Seif Haridi, Jim Dowling:
HopsFS-S3: Extending Object Stores with POSIX-like Semantics and more (industry track). Middleware Industry 2020: 23-30 - [c118]Alexandru A. Ormenisan, Moritz Meister, Fabio Buso, Robin Andersson, Seif Haridi, Jim Dowling:
Time Travel and Provenance for Machine Learning Pipelines. OpML 2020 - [c117]Jingna Zeng, Seif Haridi, Shady Issa, Paolo Romano
, Luís E. T. Rodrigues:
Giving Future(s) to Transactional Memory. SPAA 2020: 587-589 - [i12]Seif Haridi, Lars Kroll, Paris Carbone:
Lecture Notes on Leader-based Sequence Paxos - An Understandable Sequence Consensus Algorithm. CoRR abs/2008.13456 (2020)
2010 – 2019
- 2019
- [c116]Mahmoud Ismail, August Bonds, Salman Niazi, Seif Haridi, Jim Dowling:
Scalable Block Reporting for HopsFS. BigData Congress 2019: 157-164 - [c115]Max Meldrum, Klas Segeljakt, Lars Kroll
, Paris Carbone, Christian Schulte, Seif Haridi:
Arcon: Continuous and Deep Data Stream Analytics. BIRTE 2019: 3:1-3:3 - [c114]Mahmoud Ismail, Mikael Ronström, Seif Haridi, Jim Dowling:
ePipe: Near Real-Time Polyglot Persistence of HopsFS Metadata. CCGRID 2019: 92-101 - [c113]Lars Kroll
, Klas Segeljakt, Paris Carbone, Christian Schulte, Seif Haridi:
Arc: an IR for batch and stream programming. DBPL 2019: 53-58 - [c112]Manolis Koubarakis, Konstantina Bereta
, Dimitris Bilidas, Konstantinos Giannousis, Theofilos Ioannidis, Despina-Athanasia Pantazi, George Stamoulis, Jim Dowling, Seif Haridi, Vladimir Vlassov
, Lorenzo Bruzzone, Claudia Paris
, Torbjørn Eltoft, Thomas Krämer
, Angelos Charalambidis, Vangelis Karkaletsis, Stasinos Konstantopoulos, Theofilos Kakantousis, Mihai Datcu, Corneliu Octavian Dumitru, Florian Appel, Heike Bach, Silke Migdall, Nick Hughes, David Arthurs, Andrew Fleming:
From Copernicus Big Data to Extreme Earth Analytics. EDBT 2019: 690-693 - [r2]Paris Carbone, Asterios Katsifodimos, Seif Haridi:
Stream Window Aggregation Semantics and Optimization. Encyclopedia of Big Data Technologies 2019 - [r1]Salman Niazi, Mahmoud Ismail, Seif Haridi, Jim Dowling:
HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases. Encyclopedia of Big Data Technologies 2019 - 2018
- [j28]Vasiliki Kalavri
, Vladimir Vlassov
, Seif Haridi:
High-Level Programming Abstractions for Distributed Graph Processing. IEEE Trans. Knowl. Data Eng. 30(2): 305-324 (2018) - [c111]Jingna Zeng, Paolo Romano
, João Pedro Barreto
, Luís E. T. Rodrigues, Seif Haridi:
Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory. IPDPS 2018: 474-483 - [c110]Salman Niazi, Mikael Ronström, Seif Haridi, Jim Dowling:
Size Matters: Improving the Performance of Small Files in Hadoop. Middleware 2018: 26-39 - 2017
- [j27]Paris Carbone, Stephan Ewen, Gyula Fóra, Seif Haridi, Stefan Richter, Kostas Tzoumas:
State Management in Apache Flink®: Consistent Stateful Distributed Stream Processing. Proc. VLDB Endow. 10(12): 1718-1729 (2017) - [c109]Mahmoud Ismail, Salman Niazi, Mikael Ronström, Seif Haridi, Jim Dowling:
Scaling HDFS to more than 1 million operations per second with HopsFS. CCGrid 2017: 683-688 - [c108]Salman Niazi, Mahmoud Ismail, Seif Haridi, Jim Dowling, Steffen Grohsschmiedt, Mikael Ronström:
HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases. FAST 2017: 89-104 - [c107]Ying Liu, Xi Guan, Vladimir Vlassov
, Seif Haridi:
MeteorShower: Minimizing Request Latency for Majority Quorum-Based Data Consistency Algorithms in Multiple Data Centers. ICDCS 2017: 57-67 - [c106]Sileshi Demesie Yalew, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid. NCA 2017: 351-358 - [c105]Lars Kroll
, Paris Carbone, Seif Haridi:
Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper). SCALA@SPLASH 2017: 73-77 - [c104]Sileshi Demesie Yalew, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications. TrustCom/BigDataSE/ICESS 2017: 240-247 - [c103]Sileshi Demesie Yalew, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
DroidPosture: A trusted posture assessment service for mobile devices. WiMob 2017: 1-8 - [c102]Sileshi Demesie Yalew, Pedro Mendonça, Gerald Q. Maguire Jr.
, Seif Haridi, Miguel Correia:
TruApp: A TrustZone-based authenticity detection service for mobile apps. WiMob 2017: 1-9 - [p3]Paris Carbone, Gábor E. Gévay, Gábor Hermann, Asterios Katsifodimos, Juan Soto
, Volker Markl, Seif Haridi:
Large-Scale Data Stream Processing Systems. Handbook of Big Data Technologies 2017: 219-260 - [i11]Ifeanyi W. Ubah, Lars Kroll, Alexandru A. Ormenisan, Seif Haridi:
KompicsTesting - Unit Testing Event Streams. CoRR abs/1705.04669 (2017) - 2016
- [c101]Hooman Peiro Sajjad, Amir Hossein Payberah, Fatemeh Rahimian, Vladimir Vlassov
, Seif Haridi:
Boosting Vertex-Cut Partitioning for Streaming Graphs. BigData Congress 2016: 1-8 - [c100]Paris Carbone, Jonas Traub, Asterios Katsifodimos, Seif Haridi, Volker Markl:
Cutty: Aggregate Sharing for User-Defined Windows. CIKM 2016: 1201-1210 - [c99]Lars Kroll
, Jim Dowling, Seif Haridi:
Static Type Checking for the Kompics Component Model: Kola - The Kompics Language. PMLDC@ECOOP 2016: 2 - [c98]Jingna Zeng, João Pedro Barreto
, Seif Haridi, Luís E. T. Rodrigues, Paolo Romano
:
The Future(s) of Transactional Memory. ICPP 2016: 442-451 - [c97]Niklas Ekström, Seif Haridi:
A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof. NETYS 2016: 183-192 - [i10]Salman Niazi, Mahmoud Ismail, Steffen Grohsschmiedt, Mikael Ronström, Seif Haridi, Jim Dowling:
HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases. CoRR abs/1606.01588 (2016) - [i9]Vasiliki Kalavri, Vladimir Vlassov, Seif Haridi:
High-Level Programming Abstractions for Distributed Graph Processing. CoRR abs/1607.02646 (2016) - [i8]Niklas Ekström, Seif Haridi:
A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof. CoRR abs/1608.02442 (2016) - [i7]András A. Benczúr, Róbert Pálovics, Márton Balassi, Volker Markl, Tilmann Rabl, Juan Soto, Björn Hovstadius, Jim Dowling, Seif Haridi:
Towards Streamlined Big Data Analytics. ERCIM News 2016(107) (2016) - 2015
- [j26]Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, Kostas Tzoumas:
Apache Flink™: Stream and Batch Processing in a Single Engine. IEEE Data Eng. Bull. 38(4): 28-38 (2015) - [j25]Fatemeh Rahimian, Amir Hossein Payberah, Sarunas Girdzijauskas
, Márk Jelasity
, Seif Haridi:
A Distributed Algorithm for Large-Scale Graph Partitioning. ACM Trans. Auton. Adapt. Syst. 10(2): 12:1-12:24 (2015) - [c96]Roberto Roverso, Riccardo Reale, Sameh El-Ansary, Seif Haridi:
SmoothCache 2.0: CDN-quality adaptive HTTP live streaming on peer-to-peer overlays. MMSys 2015: 61-72 - [i6]Paris Carbone, Gyula Fóra, Stephan Ewen, Seif Haridi, Kostas Tzoumas:
Lightweight Asynchronous Snapshots for Distributed Dataflows. CoRR abs/1506.08603 (2015) - 2014
- [c95]Fatemeh Rahimian, Amir Hossein Payberah, Sarunas Girdzijauskas
, Seif Haridi:
Distributed Vertex-Cut Partitioning. DAIS 2014: 186-200 - [c94]Vasiliki Kalavri, Stephan Ewen, Kostas Tzoumas, Vladimir Vlassov, Volker Markl, Seif Haridi:
Asymmetry in Large-Scale Graph Analysis, Explained. GRADES 2014: 4:1-4:7 - [c93]Fatemeh Rahimian, Sarunas Girdzijauskas
, Seif Haridi:
Parallel Community Detection for Cross-Document Coreference. WI-IAT (1) 2014: 46-53 - 2013
- [c92]Cosmin Arad, Tallat M. Shafaat, Seif Haridi:
CATS: a linearizable and self-organizing key-value store. SoCC 2013: 37:1-37:2 - [c91]Amir Hossein Payberah, Hanna Kavalionak, Alberto Montresor
, Jim Dowling, Seif Haridi:
Lightweight gossip-based distribution estimation. ICC 2013: 3439-3443 - [c90]Daniela Bordencea, Tallat M. Shafaat, Cosmin Arad, Seif Haridi, Honoriu Valean:
Efficient Linearizable Write Operations Using Bounded Global Time Uncertainty. ISPDC 2013: 59-66 - [c89]Fatemeh Rahimian, Amir Hossein Payberah, Sarunas Girdzijauskas
, Márk Jelasity
, Seif Haridi:
JA-BE-JA: A Distributed Algorithm for Balanced Graph Partitioning. SASO 2013: 51-60 - 2012
- [j24]Amir Hossein Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi:
Distributed optimization of P2P live streaming overlays. Computing 94(8-10): 621-647 (2012) - [j23]Anwitaman Datta
, Marios D. Dikaiakos, Seif Haridi, Liviu Iftode:
Infrastructures for Online Social Networking Services [Guest editorial]. IEEE Internet Comput. 16(3): 10-12 (2012) - [c88]Tallat M. Shafaat, Bilal Ahmad, Seif Haridi:
ID-Replication for Structured Peer-to-Peer Systems. Euro-Par 2012: 364-376 - [c87]Riccardo Reale, Roberto Roverso, Sameh El-Ansary, Seif Haridi:
DTL: Dynamic Transport Library for Peer-to-Peer Applications. ICDCN 2012: 428-442 - [c86]Cosmin Arad, Jim Dowling, Seif Haridi:
Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware. Middleware 2012: 208-228 - [c85]Roberto Roverso, Sameh El-Ansary, Seif Haridi:
SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer. Networking (2) 2012: 29-43 - [c84]Roberto Roverso, Sameh El-Ansary, Seif Haridi:
Peer2View: A peer-to-peer HTTP-live streaming platform. P2P 2012: 65-66 - [c83]Amir Hossein Payberah, Hanna Kavalionak, Vimalkumar Kumaresan
, Alberto Montresor
, Seif Haridi:
CLive: Cloud-assisted P2P live streaming. P2P 2012: 79-90 - [c82]Tallat M. Shafaat, Ali Ghodsi, Seif Haridi:
Dealing with Bootstrapping, Maintenance, and Network Partitions and Mergers in Structured Overlay Networks. SASO 2012: 149-158 - [c81]Cosmin Arad, Tallat M. Shafaat, Seif Haridi:
Brief Announcement: Atomic Consistency and Partition Tolerance in Scalable Key-Value Stores. DISC 2012: 445-446 - [c80]Frej Drejhammar, Seif Haridi:
Efficient simulation of view synchrony. WSC 2012: 380:1-380:2 - [e2]Karl M. Göschka
, Seif Haridi:
Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture Notes in Computer Science 7272, Springer 2012, ISBN 978-3-642-30822-2 [contents] - 2011
- [c79]Roberto Roverso, Amgad Naiem, Mohammed Reda, Mohammed El-Beltagy, Sameh El-Ansary, Nils Franzen, Seif Haridi:
On the feasibility of centrally-coordinated Peer-to-Peer live streaming. CCNC 2011: 1061-1065 - [c78]Amir Hossein Payberah, Jim Dowling, Seif Haridi:
Gozar: NAT-Friendly Peer Sampling with One-Hop Distributed NAT Traversal. DAIS 2011: 1-14 - [c77]Fatemeh Rahimian, Sarunas Girdzijauskas
, Amir Hossein Payberah, Seif Haridi:
Vitis: A Gossip-based Hybrid Overlay for Internet-scale Publish/Subscribe Enabling Rendezvous Routing in Unstructured Overlay Networks. IPDPS 2011: 746-757 - [c76]Amir Hossein Payberah, Jim Dowling, Seif Haridi:
GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming. ISPDC 2011: 153-162 - [c75]Roberto Roverso, Sameh El-Ansary, Alexandros Gkogkas, Seif Haridi:
Mesmerizer: a effective tool for a complete peer-to-peer software development life-cycle. SimuTools 2011: 506-515 - [c74]Alexandros Gkogkas, Roberto Roverso, Seif Haridi:
Accurate and efficient simulation of bandwidth dynamics for peer-to-peer overlay networks. VALUETOOLS 2011: 352-361 - 2010
- [c73]Florian Schintke, Alexander Reinefeld, Seif Haridi, Thorsten Schütt:
Enhanced Paxos Commit for Transactions on DHTs. CCGRID 2010: 448-454 - [c72]Amir Hossein Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi:
gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay. DAIS 2010: 212-225 - [c71]Amir Hossein Payberah, Fatemeh Rahimian, Seif Haridi, Jim Dowling:
Sepidar: Incentivized Market-Based P2P Live-Streaming on the Gradient Overlay Network. ISM 2010: 1-8 - [c70]Cosmin Arad, Tallat M. Shafaat, Seif Haridi:
Self-Distributing Software Updates through Epidemic Dissemination. SASO Workshops 2010: 243-246
2000 – 2009
- 2009
- [j22]Tallat M. Shafaat, Ali Ghodsi, Seif Haridi:
Dealing with network partitions in structured overlay networks. Peer-to-Peer Netw. Appl. 2(4): 334-347 (2009) - [c69]Cosmin Arad, Jim Dowling, Seif Haridi:
Developing, simulating, and deploying peer-to-peer systems using the Kompics component model. COMSWARE 2009: 16 - [c68]Ahmad Al-Shishtawy
, Vladimir Vlassov
, Per Brand, Seif Haridi:
A Design Methodology for Self-Management in Distributed Environments. CSE (1) 2009: 430-436 - [c67]Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Seif Haridi:
A Scalable, Transactional Data Store for Future Internet Services. Future Internet Assembly 2009: 148-159 - [c66]Roberto Roverso, Sameh El-Ansary, Seif Haridi:
NATCracker: NAT Combinations Matter. ICCCN 2009: 1-7 - [c65]Cosmin Arad, Jim Dowling, Seif Haridi:
Building and Evaluating P2P Systems using the Kompics Component Framework. Peer-to-Peer Computing 2009: 93-94 - 2008
- [j21]Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
An analytical study of a structured overlay in the presence of dynamic membership. IEEE/ACM Trans. Netw. 16(4): 814-825 (2008) - [c64]Tallat M. Shafaat, Monika Moser, Ali Ghodsi, Thorsten Schütt, Seif Haridi, Alexander Reinefeld:
On Consistency Of Data In Structured Overlay Networks. CoreGRID Integration Workshop 2008: 249-260 - [c63]Paolo Trunfio, Domenico Talia, Ali Ghodsi, Seif Haridi:
Implementing Dynamic Querying Search in k-ary DHT-based Overlays. CoreGRID Integration Workshop 2008: 275-286 - [c62]Tallat M. Shafaat, Thorsten Schütt, Monika Moser, Seif Haridi, Ali Ghodsi, Alexander Reinefeld:
Key-based consistency and availability in structured overlay networks. HPDC 2008: 235-236 - [c61]Tallat M. Shafaat, Monika Moser, Thorsten Schütt, Alexander Reinefeld, Ali Ghodsi, Seif Haridi:
Key-based consistency and availability in structured overlay networks. Infoscale 2008: 13 - [c60]Tallat M. Shafaat, Ali Ghodsi, Seif Haridi:
A Practical Approach to Network Size Estimation for Structured Overlays. IWSOS 2008: 71-83 - [c59]Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
Comparing Maintenance Strategies for Overlays. PDP 2008: 473-482 - [c58]Mikael Högqvist, Seif Haridi, Nico Kruber, Alexander Reinefeld, Thorsten Schütt:
Using Global Information for Load Balancing in DHTs. SASO Workshops 2008: 236-241 - [c57]Cosmin Arad, Seif Haridi:
Practical Protocol Composition, Encapsulation and Sharing in Kompics. SASO Workshops 2008: 266-271 - [c56]Roberto Roverso, Mohammad Al-Aggan
, Amgad Naiem, Andreas Dahlstrom, Sameh El-Ansary, Mohammed El-Beltagy, Seif Haridi:
MyP2PWorld: Highly Reproducible Application-Level Emulation of P2P Systems. SASO Workshops 2008: 272-277 - [i5]Jim Dowling, Seif Haridi:
Developing a Distributed Electronic Health-Record Store for India. ERCIM News 2008(75) (2008) - 2007
- [j20]Paolo Trunfio
, Domenico Talia
, Harris Papadakis
, Paraskevi Fragopoulou, Matteo Mordacchini
, M. Pennanen, Konstantin Popov, Vladimir Vlassov
, Seif Haridi:
Peer-to-Peer resource discovery in Grids: Models and systems. Future Gener. Comput. Syst. 23(7): 864-878 (2007) - [j19]Ali Ghodsi, Seif Haridi, Hakim Weatherspoon:
Exploiting the synergy between gossiping and structured overlays. ACM SIGOPS Oper. Syst. Rev. 41(5): 61-66 (2007) - [c55]Monika Moser, Seif Haridi:
Atomic Commitment in Transactional DHTs. CoreGRID 2007: 151-161 - [c54]Roberto Roverso, Cosmin Arad, Ali Ghodsi, Seif Haridi:
DKS: Distributed K-Ary System. A Middleware for Building Large Scale Dynamic Distributed Applications. CoreGRID Workshop - Making Grids Work 2007: 323-335 - [c53]Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye:
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. FMCO 2007: 153-178 - [c52]Tallat M. Shafaat, Ali Ghodsi, Seif Haridi:
Handling Network Partitions and Mergers in Structured Overlay Networks. Peer-to-Peer Computing 2007: 132-139 - [c51]Jim Dowling, Jan Sacha, Seif Haridi:
Improving ICE Service Selection in a P2P System using the Gradient Topology. SASO 2007: 285-288 - [i4]Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
An Analytical Study of a Structured Overlay in the presence of Dynamic Membership. CoRR abs/0710.0270 (2007) - [i3]Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
Comparing Maintenance Strategies for Overlays. CoRR abs/0710.0386 (2007) - 2006
- [c50]Jimmy Jernberg, Vladimir Vlassov, Ali Ghodsi, Seif Haridi:
DOH: A Content Delivery Peer-to-Peer Network. Euro-Par 2006: 1026-1039 - [c49]Vladimir Vlassov, Dong Li, Konstantin Popov, Seif Haridi:
A Scalable Autonomous Replica Management Framework for Grids. John Vincent Atanasoff Symposium 2006: 33-40 - 2005
- [j18]Konstantin Popov, Vladimir Vlassov
, Per Brand, Seif Haridi:
An efficient incremental marshaling framework for distributed systems. Future Gener. Comput. Syst. 21(4): 717-724 (2005) - [c48]Ali Ghodsi, Luc Onana Alima, Seif Haridi:
Symmetric Replication for Structured Peer-to-Peer Systems. DBISP2P 2005: 74-85 - [c47]Ali Ghodsi, Luc Onana Alima, Seif Haridi:
Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks. HICSS 2005 - [c46]Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
A Statistical Theory of Chord Under Churn. IPTPS 2005: 93-103 - [c45]Karl Aberer, Luc Onana Alima, Ali Ghodsi, Sarunas Girdzijauskas
, Seif Haridi, Manfred Hauswirth:
The Essence of P2P: A Reference Architecture for Overlay Networks. Peer-to-Peer Computing 2005: 11-20 - [c44]Sameh El-Ansary, Erik Aurell, Seif Haridi:
A Physics-Inspired Performance Evaluation of a Structured Peer-to-Peer Overlay Network. Parallel and Distributed Computing and Networks 2005: 116-122 - [p2]Sameh El-Ansary, Seif Haridi:
An Overview of Structured P2P Overlay Networks. Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks 2005: 665-684 - [i2]Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi:
A Statistical Theory of Chord under Churn. CoRR abs/cs/0501069 (2005) - 2004
- [b1]Peter Van Roy, Seif Haridi:
Concepts, Techniques, and Models of Computer Programming. MIT Press 2004, ISBN 0-262-22069-5 - [j17]Petros Kavassalis, Stelios Lelis, Mahmoud Rafea, Seif Haridi:
What makes a Web site popular? Commun. ACM 47(2): 50-55 (2004) - [c43]Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni:
Topic 18: Peer-to-Peer and Web Computing. Euro-Par 2004: 1013 - [c42]Luc Onana Alima, Ali Ghodsi, Seif Haridi:
A Framework for Structured Peer-to-Peer Overlay Networks. Global Computing 2004: 223-249 - [c41]Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi:
The DSS, a Middleware Library for Ef.cient and Transparent Distribution of Language Entities. HICSS 2004 - [c40]Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi:
Thread-Based Mobility in Oz. MOZ 2004: 137-148 - 2003
- [j16]Konstantin Popov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Vladimir Vlassov
, Seif Haridi:
Parallel Agent-Based Simulation On A Cluster Of Workstations. Parallel Process. Lett. 13(4): 629-641 (2003) - [j15]Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz
, Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. 3(6): 715-763 (2003) - [c39]Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi:
The Design and Evaluation of a Middleware Library for Distribution of Language Entities. ASIAN 2003: 243-259 - [c38]Luc Onana Alima, Sameh El-Ansary, Per Brand, Seif Haridi:
DKS (N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications. CCGRID 2003: 344-350 - [c37]Konstantin Popov, Vladimir Vlassov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Seif Haridi:
Parallel Agent-Based Simulation on a Cluster of Workstations. Euro-Par 2003: 470-480 - [c36]Mahmoud Rafea, Konstantin Popov, Per Brand, Fredrik Holmgren, Seif Haridi:
Parallel Distributed Algorithms of the beta-Model of the Small World Graphs. Euro-Par 2003: 675-680 - [c35]Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi:
Flow Java: Declarative Concurrency for Java. ICLP 2003: 346-360 - [c34]Sameh El-Ansary, Luc Onana Alima, Per Brand, Seif Haridi:
Efficient Broadcast in Structured P2P Networks. IPTPS 2003: 304-314 - [c33]Erik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi:
A Peer-to-Peer Approach to Enhance Middleware Connectivity. OPODIS 2003: 71-82 - [c32]Luc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi:
Multicast in DKS(N, k, f) Overlay Networks. OPODIS 2003: 83-95 - [c31]Luc Onana Alima, Ali Ghodsi, Sameh El-Ansary, Per Brand, Seif Haridi:
Multicast in DKS(N, k, f) Overlay Networks. Peer-to-Peer Computing 2003: 196-197 - [c30]Konstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi:
An Efficient Marshaling Framework for Distributed Systems. PaCT 2003: 324-331 - 2002
- [c29]Peter Van Roy, Seif Haridi:
Teaching Programming Broadly and Deeply: The Kernel Language Approach. Informatics Curricula and Teaching Methods 2002: 53-62 - [c28]Luc Onana Alima, Valentin Mesaros, Peter Van Roy, Seif Haridi:
NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems. Peer-to-Peer Computing 2002: 25-32 - [i1]Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience. CoRR cs.PL/0208029 (2002) - 2001
- [c27]Stelios Lelis, Petros Kavassalis, Jakka Sairamesh, Seif Haridi, Fredrik Holmgren, Mahmoud Rafea, Antonis Hatzistamatiou:
Regularities in the Formation and Evolution of Information Cities. Digital Cities 2001: 41-55 - [c26]Erik Klintskog, Anna Neiderud, Per Brand, Seif Haridi:
Fractional Weighted Reference Counting. Euro-Par 2001: 486-490
1990 – 1999
- 1999
- [j14]Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka:
Efficient logic variables for distributed computing. ACM Trans. Program. Lang. Syst. 21(3): 569-626 (1999) - 1998
- [j13]Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte:
Programming Languages for Distributed Applications. New Gener. Comput. 16(3): 223-261 (1998) - [c25]Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet:
A Lightweight Object Migration Protocol. ICCL Workshop: Internet Programming Languages 1998: 32-46 - 1997
- [j12]Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer:
Mobile Objects in Distributed Oz. ACM Trans. Program. Lang. Syst. 19(5): 804-851 (1997) - [c24]Johan Montelius, Seif Haridi:
An evaluation of Penny: a system for fine grain implicit parallelism. PASCO 1997: 46-57 - [c23]Seif Haridi, Peter Van Roy, Gert Smolka:
An overview of the design of Distributed Oz. PASCO 1997: 176-187 - 1996
- [j11]Tomas Axling, Seif Haridi:
A Tool for Developing Interactive Configuration Applications. J. Log. Program. 26(2): 147-168 (1996) - 1995
- [e1]Seif Haridi, Khayri A. M. Ali, Peter Magnusson:
Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings. Lecture Notes in Computer Science 966, Springer 1995, ISBN 3-540-60247-X [contents] - 1994
- [c22]Björn Carlson, Seif Haridi, Sverker Janson:
AKL(FD) - A Concurrent Language for FD Programming. ILPS 1994: 521-535 - 1993
- [c21]Sverker Janson, Johan Montelius, Seif Haridi:
A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming 1993 - [c20]Sverker Janson, Seif Haridi:
An Introduction to AKL A Multi-Paradigm Programming Language. NATO ASI CP 1993: 414-449 - [c19]Erik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi:
Simulating the Data Diffusion Machine. PARLE 1993: 24-41 - [c18]Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzén, Per Brand, Kent Boortz, Björn Danielsson, Björn Carlson, Torbjörn Keisu, Dan Sahlin, Thomas Sjöland:
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). PPCP 1993: 107-116 - 1992
- [j10]Erik Hagersten, Anders Landin, Seif Haridi:
DDM - A Cache-Only Memory Architecture. Computer 25(9): 44-54 (1992) - [j9]Seif Haridi, Sverker Janson, Catuscia Palamidessi
:
Structural operational semantics for AKL. Future Gener. Comput. Syst. 8(4): 409-421 (1992) - [j8]Dan Sahlin, Torkel Franzén, Seif Haridi:
An Intuitionistic Predicate Logic Theorem Prover. J. Log. Comput. 2(5): 619-656 (1992) - 1991
- [c17]Torkel Franzén, Seif Haridi, Sverker Janson:
An Overview of the Andorra Kernel Language. ELP 1991: 163-179 - [c16]Seif Haridi:
Parallel Logic Programming based on the Andorra Principle. ICLP 1991: 943 - [c15]Anders Landin, Erik Hagersten, Seif Haridi:
Race-Free Interconnection Networks and Multiprocessor Consistency. ISCA 1991: 106-115 - [c14]Seif Haridi, Catuscia Palamidessi
:
Structural Operational Semantics for Kernel Andorra Prolog. PARLE (2) 1991: 238-253 - [c13]Sverker Janson, Seif Haridi:
Programming Paradigms of the Andorra Kernel Language. ISLP 1991: 167-183 - 1990
- [j7]Seif Haridi:
A logic programming language based on the Andorra model. New Gener. Comput. 7(2-3): 109-125 (1990) - [j6]Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi:
The Aurora or-parallel Prolog system. New Gener. Comput. 7(2-3): 243-271 (1990) - [c12]Seif Haridi, Sverker Janson:
Kernel Andorra Prolog and its Computation Model. ICLP 1990: 31-46
1980 – 1989
- 1989
- [j5]Seif Haridi, Robert Keller:
Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming. J. Log. Program. 6(1&2): 1-2 (1989) - [j4]Andrzej Ciepielewski, Seif Haridi, Bogumil Hausman:
Or-Parallel Prolog on Shared Memory Multiprocessors. J. Log. Program. 7(2): 125-148 (1989) - [c11]Seif Haridi, Erik Hagersten:
The Cache Coherence Protocol of the Data Diffusion Machine. PARLE (1) 1989: 1-18 - 1988
- [j3]Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin:
Garbage Collection for Prolog Based on WAM. Commun. ACM 31(6): 719-741 (1988) - [c10]Seif Haridi, Per Brand:
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. FGCS 1988: 745-754 - [c9]Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman:
The Aurora Or-Parallel Prolog System. FGCS 1988: 819-830 - [c8]David H. D. Warren, Seif Haridi:
Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor. FGCS 1988: 943-952 - 1987
- [c7]Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi:
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. SLP 1987: 69-79 - 1986
- [j2]Khayri A. M. Ali, Seif Haridi:
Global garbage collection for distributed heap storage systems. Int. J. Parallel Program. 15(5): 339-387 (1986) - 1984
- [c6]Andrzej Ciepielewski, Seif Haridi:
Execution of Bagof on the Or-Parallel Token Machine. FGCS 1984: 551-560 - [c5]Andrzej Ciepielewski, Seif Haridi:
Control of Activities in the Or-Parallel Token Machine. SLP 1984: 49-57 - [p1]Seif Haridi, Dan Sahlin:
Efficient Implementation of Unification of Cyclic Structures. Implementations of Prolog 1984: 234-249 - 1983
- [c4]Andrzej Ciepielewski, Seif Haridi:
Control of Activities in the Or-Parallel Token Machine (Abstract). Logic Programming Workshop 1983: 536 - [c3]Seif Haridi, Andrzej Ciepielewski:
An Or-Parallel Token Machine. Logic Programming Workshop 1983: 537-552 - [c2]Seif Haridi, Dan Sahlin:
Evaluation of Logic Programs Based on Natural Deduction (DRAFT). Logic Programming Workshop 1983: 560-574 - [c1]Andrzej Ciepielewski, Seif Haridi:
A Formal Model for Or-Parallel Execution of Logic Programs. IFIP Congress 1983: 299-305 - 1981
- [j1]Seif Haridi, John-Olof Bauner, Gert Svensson:
An implementation and empirical evaluation of the tasking facilities in ADA. ACM SIGPLAN Notices 16(2): 35-47 (1981)
Coauthor Index
aka: Abdullah S. Al-Malaise Al-Ghamdi
aka: Abdullah Saad Al-Malaise Al-Ghamdi
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint