Seif Haridi

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Distributed optimization of P2P live streaming overlays
Computing
2012-10-23Paper
Principles of Distributed Systems
Lecture Notes in Computer Science
2005-08-24Paper
Principles of Distributed Systems
Lecture Notes in Computer Science
2005-08-24Paper
Global Computing
Lecture Notes in Computer Science
2005-08-19Paper
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
2004-09-24Paper
scientific article; zbMATH DE number 2088947 (Why is no real title available?)2004-08-12Paper
scientific article; zbMATH DE number 1863302 (Why is no real title available?)2003-02-04Paper
scientific article; zbMATH DE number 683350 (Why is no real title available?)2000-08-01Paper
scientific article; zbMATH DE number 1254033 (Why is no real title available?)1999-10-25Paper
scientific article; zbMATH DE number 1254020 (Why is no real title available?)1999-02-23Paper
A tool for developing interactive configuration applications
The Journal of Logic Programming
1997-10-05Paper
An Intuitionistic Predicate Logic Theorem Prover
Journal Of Logic And Computation
1993-06-29Paper
Global garbage collection for distributed heap storage systems
International Journal of Parallel Programming
1986-01-01Paper


Research outcomes over time


This page was built for person: Seif Haridi