@inproceedings{conf/hybrid/Al-HammouriBL08,
	title = {Co-simulation Tools for Networked Control Systems.},
	author = {Ahmad T. Al-Hammouri and Michael S. Branicky and Vincenzo Liberatore},
	booktitle = {HSCC},
	crossref = {conf/hybrid/2008},
	editor = {Magnus Egerstedt and Bud Mishra},
	pages = {16-29},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2008.html#Al-HammouriBL08},
	volume = {4981},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/28aa923f9ae408437e155efd7929345e2/dblp},
	description = {dblp},
	date = {2008-08-27}, ee = {http://dx.doi.org/10.1007/978-3-540-78929-1_2}, isbn = {978-3-540-78928-4},
	keywords = {dblp }
}

@article{journals/www/BeaverPCL08,
	title = {Improving the Hybrid Data Dissemination Model of Web Documents.},
	author = {Jonathan Beaver and Kirk Pruhs and Panos K. Chrysanthis and Vincenzo Liberatore},
	journal = {World Wide Web},
	number = {3},
	pages = {313-337},
	url = {http://dblp.uni-trier.de/db/journals/www/www11.html#BeaverPCL08},
	volume = {11},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2e776197393ff470f13b301c26a7bcfaa/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s11280-007-0039-4}, date = {2008-08-08},
	keywords = {dblp }
}

@article{journals/ai/Liberatore08a,
	title = {Redundancy in logic III: Non-monotonic reasoning.},
	author = {Paolo Liberatore},
	journal = {Artif. Intell.},
	number = {11},
	pages = {1317-1359},
	url = {http://dblp.uni-trier.de/db/journals/ai/ai172.html#Liberatore08a},
	volume = {172},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/29d9259e1f2ee8462aa3655499774b2e5/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.artint.2008.02.003}, date = {2008-06-12},
	keywords = {dblp }
}

@inproceedings{conf/sensys/Al-HammouriLAABA07,
	title = {A co-simulation platform for actuator networks.},
	author = {Ahmad T. Al-Hammouri and Vincenzo Liberatore and Huthaifa Al-Omari and Zakaria Al-Qudah and Michael S. Branicky and Deepak Agrawal},
	booktitle = {SenSys},
	crossref = {conf/sensys/2007},
	editor = {Sanjay Jha},
	pages = {383-384},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sensys/sensys2007.html#Al-HammouriLAABA07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/20a8d940dd837c235eb2a29368a58ba76/dblp},
	description = {dblp},
	date = {2008-06-04}, ee = {http://doi.acm.org/10.1145/1322263.1322306}, isbn = {978-1-59593-763-6},
	keywords = {dblp }
}

@book{liberatore2003,
	title = {Decision technology : modeling, software, and applications},
	address = {Wiley},
	annote = {X, 386 S},
	author = {{Matthew J.} Liberatore and {Robert L.} Nydick},
	howpublished = {Hoboken, NJ},
	url = {http://gso.gbv.de/DB=2.1/CMD?ACT=SRCHA&SRT=YOP&IKT=1016&TRM=ppn+339907312&sourceid=fbw_bibsonomy},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/23fb8e4fcadde3c0ce51d77c66e86093b/fbw},
	description = {imported},
	isbn = {0-471-41712-2},
	keywords = {Entscheidungsunterstützungssystem }
}

@inproceedings{conf/conext/LiberatoreLB06,
	title = {Maximizing transfer opportunities in bluetooth DTNs.},
	author = {Marc Liberatore and Brian Neil Levine and Chadi Barakat},
	booktitle = {CoNEXT},
	crossref = {conf/conext/2006},
	editor = {Christophe Diot and Mostafa H. Ammar},
	pages = {3},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/conext/conext2006.html#LiberatoreLB06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/28f3d8432637a68db9c7121615ae7c86e/dblp},
	description = {dblp},
	date = {2008-05-15}, ee = {http://doi.acm.org/10.1145/1368436.1368441}, isbn = {1-59593-456-1},
	keywords = {dblp }
}

@article{Miller1993a,
	title = {Seasonal exponential smoothing with damped trends : An application
	for production planning},
	author = {Tan Miller and Matthew Liberatore},
	journal = {International Journal of Forecasting},
	month = {Dec},
	number = {4},
	pages = {509--515},
	url = {http://www.sciencedirect.com/science/article/B6V92-45NBB41-3T/1/5b16d02cf107e1e17f452aefb8d2f824},
	volume = {9},
	year = {1993},
	biburl = {http://www.bibsonomy.org/bibtex/2b28b2405f925f5b18ac1a764eb18ec5f/smicha},
	keywords = {Exponential smoothing }
}

@inproceedings{conf/words/Al-HammouriCKRNL03,
	title = {Compliant Control and Software Agents for Internet Robotics.},
	author = {Ahmad T. Al-Hammouri and A. Covitch and M. Kose and D. Rosas and Wyatt S. Newman and Vincenzo Liberatore},
	booktitle = {WORDS},
	crossref = {conf/words/2003},
	pages = {280-287},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/words/words2003.html#Al-HammouriCKRNL03},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/287fede56081458d1e0e005a1719e6253/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1218094}, isbn = {0-7695-1929-6}, date = {2008-03-09},
	keywords = {dblp }
}

@article{journals/ai/Liberatore08,
	title = {Redundancy in logic II: 2CNF and Horn propositional formulae.},
	author = {Paolo Liberatore},
	journal = {Artif. Intell.},
	number = {2-3},
	pages = {265-299},
	url = {http://dblp.uni-trier.de/db/journals/ai/ai172.html#Liberatore08},
	volume = {172},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/20a423e60aefd4c188a6fe9411125f697/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.artint.2007.06.003}, date = {2008-02-03},
	keywords = {dblp }
}

@article{journals/corr/abs-cs-0507048,
	title = {Redundancy in Logic III: Non-Mononotonic Reasoning},
	author = {Paolo Liberatore},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0507.html#abs-cs-0507048},
	volume = {abs/cs/0507048},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/255a801570ea90089d69c04358a8505fb/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs/0507048}, date = {2008-01-02},
	keywords = {dblp }
}