Seif Haridi - RankMe

174 papers A* 1A 12B 22C 6Misc 2Journal 45Unranked 79

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	AquaLang: A Dataflow Programming Language. DEBS Klas Segeljakt, Seif Haridi, Paris Carbone
2023	J	`jnl`	Ideas for the future of Prolog inspired by Oz. CoRR Peter Van Roy, Seif Haridi
2023	A	`conf`	Omni-Paxos: Breaking the Barriers of Partial Connectivity. EuroSys Harald Ng, Seif Haridi, Paris Carbone
2022	J	`jnl`	Errors Classification and Static Detection Techniques for Dual-Programming Model (OpenMP and OpenACC). IEEE Access Huda Saleh Basloom, Mohamed Yehia Dahab, Ahmed Mohammed Alghamdi, Fathy Elbouraey Eassa, Abdullah Saad Al-Malaise Al-Ghamdi, Seif Haridi
2022	J	`jnl`	Securing Real-Time Video Surveillance Data in Vehicular Cloud Computing: A Survey. IEEE Access Majed S. Alsayfi, Mohamed Yehia Dahab, Fathy E. Eassa, Reda Salama, Seif Haridi, Abdullah S. Al-Malaise Al-Ghamdi
2021	B	`conf`	Investigating the semantics of futures in transactional memory systems. PPoPP Jingna Zeng, Shady Issa, Paolo Romano, Luís E. T. Rodrigues, Seif Haridi
2020	J	`jnl`	A history of the Oz multiparadigm language. Proc. ACM Program. Lang. Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
2020	J	`jnl`	ACC_TEST: Hybrid Testing Approach for OpenACC-Based Programs. IEEE Access Fathy Elbouraey Eassa, Ahmed Mohammed Alghamdi, Seif Haridi, Maher Khemakhem, Abdullah S. Al-Malaise Al-Ghamdi, Eesa A. Alsolami
2020	A	`conf`	Distributed Hierarchical File Systems strike back in the Cloud. ICDCS Mahmoud Ismail, Salman Niazi, Mauritz Sundell, Mikael Ronström, Seif Haridi, Jim Dowling
2020	B	`conf`	Giving Future(s) to Transactional Memory. SPAA Jingna Zeng, Seif Haridi, Shady Issa, Paolo Romano, Luís E. T. Rodrigues
2020	—	`conf`	HopsFS-S3: Extending Object Stores with POSIX-like Semantics and more (industry track). Middleware Industry Mahmoud Ismail, Salman Niazi, Gautier Berthou, Mikael Ronström, Seif Haridi, Jim Dowling
2020	J	`jnl`	Lecture Notes on Leader-based Sequence Paxos - An Understandable Sequence Consensus Algorithm. CoRR Seif Haridi, Lars Kroll, Paris Carbone
2020	—	`conf`	Time Travel and Provenance for Machine Learning Pipelines. OpML Alexandru A. Ormenisan, Moritz Meister, Fabio Buso, Robin Andersson, Seif Haridi, Jim Dowling
2019	—	`conf`	Arc: an IR for batch and stream programming. DBPL Lars Kroll, Klas Segeljakt, Paris Carbone, Christian Schulte, Seif Haridi
2019	—	`conf`	Arcon: Continuous and Deep Data Stream Analytics. BIRTE Max Meldrum, Klas Segeljakt, Lars Kroll, Paris Carbone, Christian Schulte, Seif Haridi
2019	B	`conf`	From Copernicus Big Data to Extreme Earth Analytics. EDBT 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
2019	—	`ch.`	HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases. Encyclopedia of Big Data Technologies Salman Niazi, Mahmoud Ismail, Seif Haridi, Jim Dowling
2019	—	`conf`	Scalable Block Reporting for HopsFS. BigData Congress Mahmoud Ismail, August Bonds, Salman Niazi, Seif Haridi, Jim Dowling
2019	—	`ch.`	Stream Window Aggregation Semantics and Optimization. Encyclopedia of Big Data Technologies Paris Carbone, Asterios Katsifodimos, Seif Haridi
2019	B	`conf`	ePipe: Near Real-Time Polyglot Persistence of HopsFS Metadata. CCGRID Mahmoud Ismail, Mikael Ronström, Seif Haridi, Jim Dowling
2018	J	`jnl`	High-Level Programming Abstractions for Distributed Graph Processing. IEEE Trans. Knowl. Data Eng. Vasiliki Kalavri, Vladimir Vlassov, Seif Haridi
2018	A	`conf`	Online Tuning of Parallelism Degree in Parallel Nesting Transactional Memory. IPDPS Jingna Zeng, Paolo Romano, João Pedro Barreto, Luís E. T. Rodrigues, Seif Haridi
2018	A	`conf`	Size Matters: Improving the Performance of Small Files in Hadoop. Middleware Salman Niazi, Mikael Ronström, Seif Haridi, Jim Dowling
2017	B	`conf`	DroidPosture: A trusted posture assessment service for mobile devices. WiMob Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2017	B	`conf`	Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid. NCA Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2017	A	`conf`	HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases. FAST Salman Niazi, Mahmoud Ismail, Seif Haridi, Jim Dowling, Steffen Grohsschmiedt, Mikael Ronström
2017	—	`conf`	Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper). SCALA@SPLASH Lars Kroll, Paris Carbone, Seif Haridi
2017	J	`jnl`	KompicsTesting - Unit Testing Event Streams. CoRR Ifeanyi W. Ubah, Lars Kroll, Alexandru A. Ormenisan, Seif Haridi
2017	—	`ch.`	Large-Scale Data Stream Processing Systems. Handbook of Big Data Technologies Paris Carbone, Gábor E. Gévay, Gábor Hermann, Asterios Katsifodimos, Juan Soto, Volker Markl, Seif Haridi
2017	A	`conf`	MeteorShower: Minimizing Request Latency for Majority Quorum-Based Data Consistency Algorithms in Multiple Data Centers. ICDCS Ying Liu, Xi Guan, Vladimir Vlassov, Seif Haridi
2017	B	`conf`	Scaling HDFS to more than 1 million operations per second with HopsFS. CCGrid Mahmoud Ismail, Salman Niazi, Mikael Ronström, Seif Haridi, Jim Dowling
2017	J	`jnl`	State Management in Apache Flink®: Consistent Stateful Distributed Stream Processing. Proc. VLDB Endow. Paris Carbone, Stephan Ewen, Gyula Fóra, Seif Haridi, Stefan Richter, Kostas Tzoumas
2017	—	`conf`	T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications. TrustCom/BigDataSE/ICESS Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2017	B	`conf`	TruApp: A TrustZone-based authenticity detection service for mobile apps. WiMob Sileshi Demesie Yalew, Pedro Mendonça, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
2016	J	`jnl`	A Fault-Tolerant Sequentially Consistent DSM With a Compositional Correctness Proof. CoRR Niklas Ekström, Seif Haridi
2016	—	`conf`	A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof. NETYS Niklas Ekström, Seif Haridi
2016	—	`conf`	Boosting Vertex-Cut Partitioning for Streaming Graphs. BigData Congress Hooman Peiro Sajjad, Amir Hossein Payberah, Fatemeh Rahimian, Vladimir Vlassov, Seif Haridi
2016	A	`conf`	Cutty: Aggregate Sharing for User-Defined Windows. CIKM Paris Carbone, Jonas Traub, Asterios Katsifodimos, Seif Haridi, Volker Markl
2016	J	`jnl`	High-Level Programming Abstractions for Distributed Graph Processing. CoRR Vasiliki Kalavri, Vladimir Vlassov, Seif Haridi
2016	J	`jnl`	HopsFS: Scaling Hierarchical File System Metadata Using NewSQL Databases. CoRR Salman Niazi, Mahmoud Ismail, Steffen Grohsschmiedt, Mikael Ronström, Seif Haridi, Jim Dowling
2016	—	`conf`	Static Type Checking for the Kompics Component Model: Kola - The Kompics Language. PMLDC@ECOOP Lars Kroll, Jim Dowling, Seif Haridi
2016	B	`conf`	The Future(s) of Transactional Memory. ICPP Jingna Zeng, João Pedro Barreto, Seif Haridi, Luís E. T. Rodrigues, Paolo Romano
2016	J	`jnl`	Towards Streamlined Big Data Analytics. ERCIM News 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
2015	J	`jnl`	A Distributed Algorithm for Large-Scale Graph Partitioning. ACM Trans. Auton. Adapt. Syst. Fatemeh Rahimian, Amir Hossein Payberah, Sarunas Girdzijauskas, Márk Jelasity, Seif Haridi
2015	J	`jnl`	Apache Flink™: Stream and Batch Processing in a Single Engine. IEEE Data Eng. Bull. Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, Kostas Tzoumas
2015	J	`jnl`	Lightweight Asynchronous Snapshots for Distributed Dataflows. CoRR Paris Carbone, Gyula Fóra, Stephan Ewen, Seif Haridi, Kostas Tzoumas
2015	A	`conf`	SmoothCache 2.0: CDN-quality adaptive HTTP live streaming on peer-to-peer overlays. MMSys Roberto Roverso, Riccardo Reale, Sameh El-Ansary, Seif Haridi
2014	—	`conf`	Asymmetry in Large-Scale Graph Analysis, Explained. GRADES Vasiliki Kalavri, Stephan Ewen, Kostas Tzoumas, Vladimir Vlassov, Volker Markl, Seif Haridi
2014	C	`conf`	Distributed Vertex-Cut Partitioning. DAIS Fatemeh Rahimian, Amir Hossein Payberah, Sarunas Girdzijauskas, Seif Haridi
2014	—	`conf`	Parallel Community Detection for Cross-Document Coreference. WI-IAT (1) Fatemeh Rahimian, Sarunas Girdzijauskas, Seif Haridi
2013	—	`conf`	CATS: a linearizable and self-organizing key-value store. SoCC Cosmin Arad, Tallat M. Shafaat, Seif Haridi
2013	C	`conf`	Efficient Linearizable Write Operations Using Bounded Global Time Uncertainty. ISPDC Daniela Bordencea, Tallat M. Shafaat, Cosmin Arad, Seif Haridi, Honoriu Valean
2013	—	`conf`	JA-BE-JA: A Distributed Algorithm for Balanced Graph Partitioning. SASO Fatemeh Rahimian, Amir Hossein Payberah, Sarunas Girdzijauskas, Márk Jelasity, Seif Haridi
2013	—	`conf`	Lightweight gossip-based distribution estimation. ICC Amir Hossein Payberah, Hanna Kavalionak, Alberto Montresor, Jim Dowling, Seif Haridi
2012	A	`conf`	Brief Announcement: Atomic Consistency and Partition Tolerance in Scalable Key-Value Stores. DISC Cosmin Arad, Tallat M. Shafaat, Seif Haridi
2012	—	`conf`	CLive: Cloud-assisted P2P live streaming. P2P Amir Hossein Payberah, Hanna Kavalionak, Vimalkumar Kumaresan, Alberto Montresor, Seif Haridi
2012	Misc	`conf`	DTL: Dynamic Transport Library for Peer-to-Peer Applications. ICDCN Riccardo Reale, Roberto Roverso, Sameh El-Ansary, Seif Haridi
2012	—	`conf`	Dealing with Bootstrapping, Maintenance, and Network Partitions and Mergers in Structured Overlay Networks. SASO Tallat M. Shafaat, Ali Ghodsi, Seif Haridi
2012	C	`ed.`	Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings DAIS Karl M. Göschka, Seif Haridi
2012	J	`jnl`	Distributed optimization of P2P live streaming overlays. Computing Amir Hossein Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi
2012	Misc	`conf`	Efficient simulation of view synchrony. WSC Frej Drejhammar, Seif Haridi
2012	—	`conf`	ID-Replication for Structured Peer-to-Peer Systems. Euro-Par Tallat M. Shafaat, Bilal Ahmad, Seif Haridi
2012	J	`jnl`	Infrastructures for Online Social Networking Services [Guest editorial]. IEEE Internet Comput. Anwitaman Datta, Marios D. Dikaiakos, Seif Haridi, Liviu Iftode
2012	A	`conf`	Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware. Middleware Cosmin Arad, Jim Dowling, Seif Haridi
2012	—	`conf`	Peer2View: A peer-to-peer HTTP-live streaming platform. P2P Roberto Roverso, Sameh El-Ansary, Seif Haridi
2012	B	`conf`	SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer. Networking (2) Roberto Roverso, Sameh El-Ansary, Seif Haridi
2011	—	`conf`	Accurate and efficient simulation of bandwidth dynamics for peer-to-peer overlay networks. VALUETOOLS Alexandros Gkogkas, Roberto Roverso, Seif Haridi
2011	C	`conf`	GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming. ISPDC Amir Hossein Payberah, Jim Dowling, Seif Haridi
2011	—	`conf`	Mesmerizer: a effective tool for a complete peer-to-peer software development life-cycle. SimuTools Roberto Roverso, Sameh El-Ansary, Alexandros Gkogkas, Seif Haridi
2011	—	`conf`	On the feasibility of centrally-coordinated Peer-to-Peer live streaming. CCNC Roberto Roverso, Amgad Naiem, Mohammed Reda, Mohammed El-Beltagy, Sameh El-Ansary, Nils Franzen, Seif Haridi
2011	A	`conf`	Vitis: A Gossip-based Hybrid Overlay for Internet-scale Publish/Subscribe Enabling Rendezvous Routing in Unstructured Overlay Networks. IPDPS Fatemeh Rahimian, Sarunas Girdzijauskas, Amir Hossein Payberah, Seif Haridi
2010	B	`conf`	Enhanced Paxos Commit for Transactions on DHTs. CCGRID Florian Schintke, Alexander Reinefeld, Seif Haridi, Thorsten Schütt
2010	—	`conf`	Self-Distributing Software Updates through Epidemic Dissemination. SASO Workshops Cosmin Arad, Tallat M. Shafaat, Seif Haridi
2010	C	`conf`	Sepidar: Incentivized Market-Based P2P Live-Streaming on the Gradient Overlay Network. ISM Amir Hossein Payberah, Fatemeh Rahimian, Seif Haridi, Jim Dowling
2009	—	`conf`	A Design Methodology for Self-Management in Distributed Environments. CSE (1) Ahmad Al-Shishtawy, Vladimir Vlassov, Per Brand, Seif Haridi
2009	—	`conf`	A Scalable, Transactional Data Store for Future Internet Services. Future Internet Assembly Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Seif Haridi
2009	—	`conf`	Building and Evaluating P2P Systems using the Kompics Component Framework. Peer-to-Peer Computing Cosmin Arad, Jim Dowling, Seif Haridi
2009	J	`jnl`	Dealing with network partitions in structured overlay networks. Peer-to-Peer Netw. Appl. Tallat M. Shafaat, Ali Ghodsi, Seif Haridi
2009	—	`conf`	Developing, simulating, and deploying peer-to-peer systems using the Kompics component model. COMSWARE Cosmin Arad, Jim Dowling, Seif Haridi
2009	B	`conf`	NATCracker: NAT Combinations Matter. ICCCN Roberto Roverso, Sameh El-Ansary, Seif Haridi
2008	—	`conf`	A Practical Approach to Network Size Estimation for Structured Overlays. IWSOS Tallat M. Shafaat, Ali Ghodsi, Seif Haridi
2008	J	`jnl`	An analytical study of a structured overlay in the presence of dynamic membership. IEEE/ACM Trans. Netw. Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
2008	C	`conf`	Comparing Maintenance Strategies for Overlays. PDP Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
2008	J	`jnl`	Developing a Distributed Electronic Health-Record Store for India. ERCIM News Jim Dowling, Seif Haridi
2008	—	`conf`	Implementing Dynamic Querying Search in k-ary DHT-based Overlays. CoreGRID Integration Workshop Paolo Trunfio, Domenico Talia, Ali Ghodsi, Seif Haridi
2008	A	`conf`	Key-based consistency and availability in structured overlay networks. HPDC Tallat M. Shafaat, Thorsten Schütt, Monika Moser, Seif Haridi, Ali Ghodsi, Alexander Reinefeld
2008	—	`conf`	Key-based consistency and availability in structured overlay networks. Infoscale Tallat M. Shafaat, Monika Moser, Thorsten Schütt, Alexander Reinefeld, Ali Ghodsi, Seif Haridi
2008	—	`conf`	MyP2PWorld: Highly Reproducible Application-Level Emulation of P2P Systems. SASO Workshops Roberto Roverso, Mohammad Al-Aggan, Amgad Naiem, Andreas Dahlstrom, Sameh El-Ansary, Mohammed El-Beltagy, Seif Haridi
2008	—	`conf`	On Consistency Of Data In Structured Overlay Networks. CoreGRID Integration Workshop Tallat M. Shafaat, Monika Moser, Ali Ghodsi, Thorsten Schütt, Seif Haridi, Alexander Reinefeld
2008	—	`conf`	Practical Protocol Composition, Encapsulation and Sharing in Kompics. SASO Workshops Cosmin Arad, Seif Haridi
2008	—	`conf`	Using Global Information for Load Balancing in DHTs. SASO Workshops Mikael Högqvist, Seif Haridi, Nico Kruber, Alexander Reinefeld, Thorsten Schütt
2007	J	`jnl`	An Analytical Study of a Structured Overlay in the presence of Dynamic Membership CoRR Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
2007	—	`conf`	Atomic Commitment in Transactional DHTs. CoreGRID Monika Moser, Seif Haridi
2007	J	`jnl`	Comparing Maintenance Strategies for Overlays CoRR Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
2007	—	`conf`	DKS: Distributed K-Ary System. A Middleware for Building Large Scale Dynamic Distributed Applications. CoreGRID Workshop - Making Grids Work Roberto Roverso, Cosmin Arad, Ali Ghodsi, Seif Haridi
2007	J	`jnl`	Exploiting the synergy between gossiping and structured overlays. ACM SIGOPS Oper. Syst. Rev. Ali Ghodsi, Seif Haridi, Hakim Weatherspoon
2007	—	`conf`	Handling Network Partitions and Mergers in Structured Overlay Networks. Peer-to-Peer Computing Tallat M. Shafaat, Ali Ghodsi, Seif Haridi
2007	—	`conf`	Improving ICE Service Selection in a P2P System using the Gradient Topology. SASO Jim Dowling, Jan Sacha, Seif Haridi
2007	J	`jnl`	Peer-to-Peer resource discovery in Grids: Models and systems. Future Gener. Comput. Syst. Paolo Trunfio, Domenico Talia, Harris Papadakis, Paraskevi Fragopoulou, Matteo Mordacchini, M. Pennanen, Konstantin Popov, Vladimir Vlassov, Seif Haridi
2007	—	`conf`	Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. FMCO Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye
2006	—	`conf`	A Scalable Autonomous Replica Management Framework for Grids. John Vincent Atanasoff Symposium Vladimir Vlassov, Dong Li, Konstantin Popov, Seif Haridi
2006	—	`conf`	DOH: A Content Delivery Peer-to-Peer Network. Euro-Par Jimmy Jernberg, Vladimir Vlassov, Ali Ghodsi, Seif Haridi
2005	—	`conf`	A Physics-Inspired Performance Evaluation of a Structured Peer-to-Peer Overlay Network. Parallel and Distributed Computing and Networks Sameh El-Ansary, Erik Aurell, Seif Haridi
2005	—	`conf`	A Statistical Theory of Chord Under Churn. IPTPS Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
2005	J	`jnl`	A Statistical Theory of Chord under Churn CoRR Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
2005	—	`ch.`	An Overview of Structured P2P Overlay Networks. Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks Sameh El-Ansary, Seif Haridi
2005	J	`jnl`	An efficient incremental marshaling framework for distributed systems. Future Gener. Comput. Syst. Konstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi
2005	—	`conf`	Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks. HICSS Ali Ghodsi, Luc Onana Alima, Seif Haridi
2005	—	`conf`	Symmetric Replication for Structured Peer-to-Peer Systems. DBISP2P Ali Ghodsi, Luc Onana Alima, Seif Haridi
2005	—	`conf`	The Essence of P2P: A Reference Architecture for Overlay Networks. Peer-to-Peer Computing Karl Aberer, Luc Onana Alima, Ali Ghodsi, Sarunas Girdzijauskas, Seif Haridi, Manfred Hauswirth
2004	—	`conf`	A Framework for Structured Peer-to-Peer Overlay Networks. Global Computing Luc Onana Alima, Ali Ghodsi, Seif Haridi
2004	—	`book`	Concepts, Techniques, and Models of Computer Programming Peter Van Roy, Seif Haridi
2004	—	`conf`	The DSS, a Middleware Library for Ef.cient and Transparent Distribution of Language Entities. HICSS Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi
2004	—	`conf`	Thread-Based Mobility in Oz. MOZ Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
2004	—	`conf`	Topic 18: Peer-to-Peer and Web Computing. Euro-Par Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni
2004	J	`jnl`	What makes a Web site popular? Commun. ACM Petros Kavassalis, Stelios Lelis, Mahmoud Rafea, Seif Haridi
2003	B	`conf`	A Peer-to-Peer Approach to Enhance Middleware Connectivity. OPODIS Erik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi
2003	B	`conf`	An Efficient Marshaling Framework for Distributed Systems. PaCT Konstantin Popov, Vladimir Vlassov, Per Brand, Seif Haridi
2003	B	`conf`	DKS (N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications. CCGRID Luc Onana Alima, Sameh El-Ansary, Per Brand, Seif Haridi
2003	—	`conf`	Efficient Broadcast in Structured P2P Networks. IPTPS Sameh El-Ansary, Luc Onana Alima, Per Brand, Seif Haridi
2003	B	`conf`	Flow Java: Declarative Concurrency for Java. ICLP Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi
2003	J	`jnl`	Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2003	B	`conf`	Multicast in DKS(N, k, f) Overlay Networks. OPODIS Luc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi
2003	—	`conf`	Multicast in DKS(N, k, f) Overlay Networks. Peer-to-Peer Computing Luc Onana Alima, Ali Ghodsi, Sameh El-Ansary, Per Brand, Seif Haridi
2003	J	`jnl`	Parallel Agent-Based Simulation On A Cluster Of Workstations. Parallel Process. Lett. Konstantin Popov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Vladimir Vlassov, Seif Haridi
2003	—	`conf`	Parallel Agent-Based Simulation on a Cluster of Workstations. Euro-Par Konstantin Popov, Vladimir Vlassov, Mahmoud Rafea, Fredrik Holmgren, Per Brand, Seif Haridi
2003	—	`conf`	Parallel Distributed Algorithms of the beta-Model of the Small World Graphs. Euro-Par Mahmoud Rafea, Konstantin Popov, Per Brand, Fredrik Holmgren, Seif Haridi
2003	—	`conf`	The Design and Evaluation of a Middleware Library for Distribution of Language Entities. ASIAN Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi
2002	J	`jnl`	Logic programming in the context of multiparadigm programming: the Oz experience CoRR Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002	—	`conf`	NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems. Peer-to-Peer Computing Luc Onana Alima, Valentin Mesaros, Peter Van Roy, Seif Haridi
2002	—	`conf`	Teaching Programming Broadly and Deeply: The Kernel Language Approach. Informatics Curricula and Teaching Methods Peter Van Roy, Seif Haridi
2001	—	`conf`	Fractional Weighted Reference Counting. Euro-Par Erik Klintskog, Anna Neiderud, Per Brand, Seif Haridi
2001	—	`conf`	Regularities in the Formation and Evolution of Information Cities. Digital Cities Stelios Lelis, Petros Kavassalis, Jakka Sairamesh, Seif Haridi, Fredrik Holmgren, Mahmoud Rafea, Antonis Hatzistamatiou
1999	J	`jnl`	Efficient logic variables for distributed computing. ACM Trans. Program. Lang. Syst. Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
1998	—	`conf`	A Lightweight Object Migration Protocol. ICCL Workshop: Internet Programming Languages Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet
1998	J	`jnl`	Programming Languages for Distributed Applications. New Gener. Comput. Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
1997	—	`conf`	An evaluation of Penny: a system for fine grain implicit parallelism. PASCO Johan Montelius, Seif Haridi
1997	—	`conf`	An overview of the design of Distributed Oz. PASCO Seif Haridi, Peter Van Roy, Gert Smolka
1997	J	`jnl`	Mobile Objects in Distributed Oz. ACM Trans. Program. Lang. Syst. Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
1996	J	`jnl`	A Tool for Developing Interactive Configuration Applications. J. Log. Program. Tomas Axling, Seif Haridi
1995	—	`ed.`	Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings Euro-Par Seif Haridi, Khayri A. M. Ali, Peter Magnusson
1994	—	`conf`	AKL(FD) - A Concurrent Language for FD Programming. ILPS Björn Carlson, Seif Haridi, Sverker Janson
1993	—	`conf`	A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming Sverker Janson, Johan Montelius, Seif Haridi
1993	—	`conf`	An Introduction to AKL A Multi-Paradigm Programming Language. NATO ASI CP Sverker Janson, Seif Haridi
1993	—	`conf`	Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). PPCP 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
1993	—	`conf`	Simulating the Data Diffusion Machine. PARLE Erik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi
1992	J	`jnl`	An Intuitionistic Predicate Logic Theorem Prover. J. Log. Comput. Dan Sahlin, Torkel Franzén, Seif Haridi
1992	J	`jnl`	DDM - A Cache-Only Memory Architecture. Computer Erik Hagersten, Anders Landin, Seif Haridi
1992	J	`jnl`	Structural operational semantics for AKL. Future Gener. Comput. Syst. Seif Haridi, Sverker Janson, Catuscia Palamidessi
1991	—	`conf`	An Overview of the Andorra Kernel Language. ELP Torkel Franzén, Seif Haridi, Sverker Janson
1991	B	`conf`	Parallel Logic Programming based on the Andorra Principle. ICLP Seif Haridi
1991	—	`conf`	Programming Paradigms of the Andorra Kernel Language. ISLP Sverker Janson, Seif Haridi
1991	A*	`conf`	Race-Free Interconnection Networks and Multiprocessor Consistency. ISCA Anders Landin, Erik Hagersten, Seif Haridi
1991	—	`conf`	Structural Operational Semantics for Kernel Andorra Prolog. PARLE (2) Seif Haridi, Catuscia Palamidessi
1990	J	`jnl`	A logic programming language based on the Andorra model. New Gener. Comput. Seif Haridi
1990	B	`conf`	Kernel Andorra Prolog and its Computation Model. ICLP Seif Haridi, Sverker Janson
1990	J	`jnl`	The Aurora or-parallel Prolog system. New Gener. Comput. 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
1989	J	`jnl`	Or-Parallel Prolog on Shared Memory Multiprocessors. J. Log. Program. Andrzej Ciepielewski, Seif Haridi, Bogumil Hausman
1989	J	`jnl`	Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming. J. Log. Program. Seif Haridi, Robert Keller
1989	—	`conf`	The Cache Coherence Protocol of the Data Diffusion Machine. PARLE (1) Seif Haridi, Erik Hagersten
1988	—	`conf`	ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. FGCS Seif Haridi, Per Brand
1988	—	`conf`	Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor. FGCS David H. D. Warren, Seif Haridi
1988	J	`jnl`	Garbage Collection for Prolog Based on WAM. Commun. ACM Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin
1988	—	`conf`	The Aurora Or-Parallel Prolog System. FGCS 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
1987	—	`conf`	OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. SLP Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi
1986	J	`jnl`	Global garbage collection for distributed heap storage systems. Int. J. Parallel Program. Khayri A. M. Ali, Seif Haridi
1984	—	`conf`	Control of Activities in the Or-Parallel Token Machine. SLP Andrzej Ciepielewski, Seif Haridi
1984	—	`ch.`	Efficient Implementation of Unification of Cyclic Structures. Implementations of Prolog Seif Haridi, Dan Sahlin
1984	—	`conf`	Execution of Bagof on the Or-Parallel Token Machine. FGCS Andrzej Ciepielewski, Seif Haridi
1983	—	`conf`	A Formal Model for Or-Parallel Execution of Logic Programs. IFIP Congress Andrzej Ciepielewski, Seif Haridi
1983	B	`conf`	An Or-Parallel Token Machine. Logic Programming Workshop Seif Haridi, Andrzej Ciepielewski
1983	B	`conf`	Control of Activities in the Or-Parallel Token Machine (Abstract). Logic Programming Workshop Andrzej Ciepielewski, Seif Haridi
1983	B	`conf`	Evaluation of Logic Programs Based on Natural Deduction (DRAFT). Logic Programming Workshop Seif Haridi, Dan Sahlin
1981	J	`jnl`	An implementation and empirical evaluation of the tasking facilities in ADA. ACM SIGPLAN Notices Seif Haridi, John-Olof Bauner, Gert Svensson