@inproceedings{conf/popl/FarzanK12,
  added-at = {2012-01-27T00:00:00.000+0100},
  author = {Farzan, Azadeh and Kincaid, Zachary},
  biburl = {http://www.bibsonomy.org/bibtex/22454dc6688c593ca83ffe662f46f90af/dblp},
  booktitle = {POPL},
  crossref = {conf/popl/2012},
  editor = {Field, John and Hicks, Michael},
  ee = {http://doi.acm.org/10.1145/2103656.2103693},
  interhash = {a071aa15bf74e60f79d7c2a4611f7028},
  intrahash = {2454dc6688c593ca83ffe662f46f90af},
  isbn = {978-1-4503-1083-3},
  keywords = {dblp},
  pages = {297-308},
  publisher = {ACM},
  title = {Verification of parameterized concurrent programs by modular reasoning about data and control.},
  url = {http://dblp.uni-trier.de/db/conf/popl/popl2012.html#FarzanK12},
  year = 2012
}

@inproceedings{conf/date/AghaghiriPF02,
  added-at = {2012-01-06T00:00:00.000+0100},
  author = {Aghaghiri, Yazdan and Pedram, Massoud and Fallah, Farzan},
  biburl = {http://www.bibsonomy.org/bibtex/267f33d81744b09c88faff361fb077cc4/dblp},
  booktitle = {DATE},
  crossref = {conf/date/2002},
  ee = {http://doi.ieeecomputersociety.org/10.1109/DATE.2002.998458},
  interhash = {9a1975356d76118696e8140144612d78},
  intrahash = {67f33d81744b09c88faff361fb077cc4},
  isbn = {0-7695-1471-5},
  keywords = {dblp},
  pages = 1102,
  publisher = {IEEE Computer Society},
  title = {EZ Encoding: A Class of Irredundant Low Power Codes for Data Address and Multiplexed Address Buses.},
  url = {http://dblp.uni-trier.de/db/conf/date/date2002.html#AghaghiriPF02},
  year = 2002
}

@inproceedings{freyne2007collecting,
  abstract = {The goal of this paper is to detail the integration of two "social Web" technologies - social search and social navigation - and to highlight the benefits of such integration on two levels. Firstly, both technologies harvest and harness "community wisdom" and in an integrated system each of the search and navigation components can benefit from the additional community wisdom gathered by the other when assisting users to locate relevant information. Secondly, by integrating search and browsing we facilitate the development of a unique interface that effectively blends search and browsing functionality as part of a seamless social information access service. This service allows users to effectively combine their search and browsing behaviors. In this paper we will argue that this integration provides significantly more than the simple sum of the parts.},
  acmid = {1216312},
  added-at = {2011-12-06T11:15:12.000+0100},
  address = {New York, NY, USA},
  author = {Freyne, Jill and Farzan, Rosta and Brusilovsky, Peter and Smyth, Barry and Coyle, Maurice},
  biburl = {http://www.bibsonomy.org/bibtex/293fecd064cd42e0ea5f9dc06a9458d3c/jaeschke},
  booktitle = {Proceedings of the 12th international conference on Intelligent user interfaces},
  doi = {10.1145/1216295.1216312},
  interhash = {871e012dc7b1c131d32480f1e3a655e7},
  intrahash = {93fecd064cd42e0ea5f9dc06a9458d3c},
  isbn = {1-59593-481-2},
  keywords = {community navigation search social},
  location = {Honolulu, Hawaii, USA},
  numpages = {10},
  pages = {52--61},
  publisher = {ACM},
  title = {Collecting community wisdom: integrating social search \& social navigation},
  url = {http://doi.acm.org/10.1145/1216295.1216312},
  year = 2007
}

@article{journals/corr/abs-0710-4703,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Ishihara, Tohru and Fallah, Farzan},
  biburl = {http://www.bibsonomy.org/bibtex/2d74a30e26eaee7fd9112eefd7eb6d5c9/dblp},
  ee = {http://arxiv.org/abs/0710.4703},
  interhash = {def835e4c0df38192fdcdc50a41e9c0a},
  intrahash = {d74a30e26eaee7fd9112eefd7eb6d5c9},
  journal = {CoRR},
  keywords = {dblp},
  title = {A Way Memoization Technique for Reducing Power Consumption of Caches in Application Specific Integrated Processors},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0710.html#abs-0710-4703},
  volume = {abs/0710.4703},
  year = 2007
}

@article{journals/corr/abs-0901-3196,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Haddadi, Farzan and Malekmohammadi, Mohammadreza and Nayebi, Mohammad Mahdi and Aref, Mohammad Reza},
  biburl = {http://www.bibsonomy.org/bibtex/2bb500e5c65591388c0696d9552bff922/dblp},
  ee = {http://arxiv.org/abs/0901.3196},
  interhash = {1083675c5bcd020acc0f7ba0f0df6b17},
  intrahash = {bb500e5c65591388c0696d9552bff922},
  journal = {CoRR},
  keywords = {dblp},
  title = {Statistical Performance Analysis of MDL Source Enumeration in Array Processing},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0901.html#abs-0901-3196},
  volume = {abs/0901.3196},
  year = 2009
}

@article{journals/corr/abs-1009-5538,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Elmasry, Amr and Farzan, Arash and Iacono, John},
  biburl = {http://www.bibsonomy.org/bibtex/2de9eeaefb435c09f919a59572fe70e39/dblp},
  ee = {http://arxiv.org/abs/1009.5538},
  interhash = {5115addfd018fa0e6d6bb7e7d84eefb6},
  intrahash = {de9eeaefb435c09f919a59572fe70e39},
  journal = {CoRR},
  keywords = {dblp},
  title = {Priority Queues with Multiple Time Fingers},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1009.html#abs-1009-5538},
  volume = {abs/1009.5538},
  year = 2010
}

@article{journals/corr/abs-0902-1853,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Marvasti, Farrokh and Amini, Arash and Haddadi, Farzan and Soltanolkotabi, Mahdi and Khalaj, Babak Hossein and Aldroubi, Akram and Holm, Sverre and Sanei, Saeid and Chambers, Jonathon A.},
  biburl = {http://www.bibsonomy.org/bibtex/2b624a3d523d51f5f0031b1bc42e99e94/dblp},
  ee = {http://arxiv.org/abs/0902.1853},
  interhash = {4cc495331afca52ffb7b8dca38ee4b3b},
  intrahash = {b624a3d523d51f5f0031b1bc42e99e94},
  journal = {CoRR},
  keywords = {dblp},
  title = {A Unified Approach to Sparse Signal Processing},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0902.html#abs-0902-1853},
  volume = {abs/0902.1853},
  year = 2009
}

@article{journals/corr/abs-0901-4648,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Haddadi, Farzan and Nayebi, Mohammad Mahdi and Aref, Mohammad Reza},
  biburl = {http://www.bibsonomy.org/bibtex/29126184c9f763e13415c782f675fd7fb/dblp},
  ee = {http://arxiv.org/abs/0901.4648},
  interhash = {50771c5bd412427833cd8392f1153be6},
  intrahash = {9126184c9f763e13415c782f675fd7fb},
  journal = {CoRR},
  keywords = {dblp},
  title = {On The Positive Definiteness of Polarity Coincidence Correlation Coefficient Matrix},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0901.html#abs-0901-4648},
  volume = {abs/0901.4648},
  year = 2009
}

@article{journals/corr/abs-0904-3642,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Haddadi, Farzan and Nayebi, Mohammad Mahdi and Aref, Mohammad Reza},
  biburl = {http://www.bibsonomy.org/bibtex/203942f62b9365cafc73a947d716b744c/dblp},
  ee = {http://arxiv.org/abs/0904.3642},
  interhash = {76f9330465a7291d68349fe6c6188954},
  intrahash = {03942f62b9365cafc73a947d716b744c},
  journal = {CoRR},
  keywords = {dblp},
  title = {Direction-of-Arrival Estimation for Temporally Correlated Narrowband Signals},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0904.html#abs-0904-3642},
  volume = {abs/0904.3642},
  year = 2009
}

@inproceedings{conf/isaac/FarzanF11,
  added-at = {2011-12-02T00:00:00.000+0100},
  author = {Farzan, Arash and Fischer, Johannes},
  biburl = {http://www.bibsonomy.org/bibtex/261dc521dd65856c850ab0a2fec1c51b3/dblp},
  booktitle = {ISAAC},
  crossref = {conf/isaac/2011},
  editor = {Asano, Takao and Nakano, Shin-Ichi and Okamoto, Yoshio and Watanabe, Osamu},
  ee = {http://dx.doi.org/10.1007/978-3-642-25591-5_32},
  interhash = {43beaefa343dacbe5f702d4d0622c5ac},
  intrahash = {61dc521dd65856c850ab0a2fec1c51b3},
  isbn = {978-3-642-25590-8},
  keywords = {dblp},
  pages = {302-311},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Compact Representation of Posets.},
  url = {http://dblp.uni-trier.de/db/conf/isaac/isaac2011.html#FarzanF11},
  volume = 7074,
  year = 2011
}

@inproceedings{conf/usab/VieritzYSGJ11,
  added-at = {2011-11-22T00:00:00.000+0100},
  author = {Vieritz, Helmut and Yazdi, Farzan and Schilberg, Daniel and Göhner, Peter and Jeschke, Sabina},
  biburl = {http://www.bibsonomy.org/bibtex/28504eea54c6c2ba715b32ad031e8d1ca/dblp},
  booktitle = {USAB},
  crossref = {conf/usab/2011},
  editor = {Holzinger, Andreas and Simonic, Klaus-Martin},
  ee = {http://dx.doi.org/10.1007/978-3-642-25364-5_26},
  interhash = {fb546192d8b2a7eb19825b3749930d47},
  intrahash = {8504eea54c6c2ba715b32ad031e8d1ca},
  isbn = {978-3-642-25363-8},
  keywords = {dblp},
  pages = {367-378},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {User-Centered Design of Accessible Web and Automation Systems.},
  url = {http://dblp.uni-trier.de/db/conf/usab/usab2011.html#VieritzYSGJ11},
  volume = 7058,
  year = 2011
}

@inproceedings{conf/iwoca/ElmasryFI11,
  added-at = {2011-11-15T00:00:00.000+0100},
  author = {Elmasry, Amr and Farzan, Arash and Iacono, John},
  biburl = {http://www.bibsonomy.org/bibtex/2f1266452b4cd36d20f9a35f110877751/dblp},
  booktitle = {IWOCA},
  crossref = {conf/iwoca/2011},
  editor = {Iliopoulos, Costas S. and Smyth, William F.},
  ee = {http://dx.doi.org/10.1007/978-3-642-25011-8_17},
  interhash = {59abc1181057997273f7f9e2314da434},
  intrahash = {f1266452b4cd36d20f9a35f110877751},
  isbn = {978-3-642-25010-1},
  keywords = {dblp},
  pages = {209-222},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Unifying Property for Distribution-Sensitive Priority Queues.},
  url = {http://dblp.uni-trier.de/db/conf/iwoca/iwoca2011.html#ElmasryFI11},
  volume = 7056,
  year = 2011
}

@inproceedings{conf/kes/RashidiR04,
  added-at = {2011-08-04T00:00:00.000+0200},
  author = {Rashidi, Farzan and Rashidi, Mehran},
  biburl = {http://www.bibsonomy.org/bibtex/2f06f9d7faa618779d35dac07bcdb5b24/dblp},
  booktitle = {KES},
  crossref = {conf/kes/2004-2},
  editor = {Negoita, Mircea Gh. and Howlett, Robert J. and Jain, Lakhmi C.},
  ee = {http://dx.doi.org/10.1007/978-3-540-30133-2_86},
  interhash = {8cdd94c127fad1e3c079f72411173d72},
  intrahash = {f06f9d7faa618779d35dac07bcdb5b24},
  isbn = {3-540-23206-0},
  keywords = {dblp},
  pages = {653-660},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Design of a Robust and Adaptive Wavelet Neural Network for Control of Three Phase Boost Rectifiers.},
  url = {http://dblp.uni-trier.de/db/conf/kes/kes2004-2.html#RashidiR04},
  volume = 3214,
  year = 2004
}

@inproceedings{conf/kes/RashidiR04a,
  added-at = {2011-08-04T00:00:00.000+0200},
  author = {Rashidi, Farzan and Rashidi, Mehran},
  biburl = {http://www.bibsonomy.org/bibtex/283bedbc64658dc502451ce7e2c8dedd9/dblp},
  booktitle = {KES},
  crossref = {conf/kes/2004-2},
  editor = {Negoita, Mircea Gh. and Howlett, Robert J. and Jain, Lakhmi C.},
  ee = {http://dx.doi.org/10.1007/978-3-540-30133-2_97},
  interhash = {19a2ea180ed85f6eacb8a642be84046d},
  intrahash = {83bedbc64658dc502451ce7e2c8dedd9},
  isbn = {3-540-23206-0},
  keywords = {dblp},
  pages = {738-744},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Damping Enhancement in Power Systems Using a Robust Fuzzy Sliding Mode Based PSS Controller.},
  url = {http://dblp.uni-trier.de/db/conf/kes/kes2004-2.html#RashidiR04a},
  volume = 3214,
  year = 2004
}

@inproceedings{conf/kes/RashidiR04b,
  added-at = {2011-08-04T00:00:00.000+0200},
  author = {Rashidi, Farzan and Rashidi, Mehran},
  biburl = {http://www.bibsonomy.org/bibtex/2819c370cba3c323b23f34a0116f03970/dblp},
  booktitle = {KES},
  crossref = {conf/kes/2004-2},
  editor = {Negoita, Mircea Gh. and Howlett, Robert J. and Jain, Lakhmi C.},
  ee = {http://dx.doi.org/10.1007/978-3-540-30133-2_98},
  interhash = {b3b0323c05fc52ce7b878bdc2181f8e0},
  intrahash = {819c370cba3c323b23f34a0116f03970},
  isbn = {3-540-23206-0},
  keywords = {dblp},
  pages = {745-752},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Design a Robust and Adaptive Reinforcement Learning Based SVC Controller for Damping Enhancement in Power Systems.},
  url = {http://dblp.uni-trier.de/db/conf/kes/kes2004-2.html#RashidiR04b},
  volume = 3214,
  year = 2004
}

@inproceedings{conf/kes/RashidiRAM04,
  added-at = {2011-08-04T00:00:00.000+0200},
  author = {Rashidi, Mehran and Rashidi, Farzan and Aghdaei, Mohammad Hossein and Monavar, Hamid},
  biburl = {http://www.bibsonomy.org/bibtex/24bd91d0280492bc0bf88ff77cb83fccb/dblp},
  booktitle = {KES},
  crossref = {conf/kes/2004-3},
  editor = {Negoita, Mircea Gh. and Howlett, Robert J. and Jain, Lakhmi C.},
  ee = {http://dx.doi.org/10.1007/978-3-540-30134-9_38},
  interhash = {15275c27e2d4878ec958af8f0f537626},
  intrahash = {4bd91d0280492bc0bf88ff77cb83fccb},
  isbn = {3-540-23205-2},
  keywords = {dblp},
  pages = {278-284},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Speed Control and Torque Ripple Minimization in Switch Reluctance Motors Using Context Based Brain Emotional Learning.},
  url = {http://dblp.uni-trier.de/db/conf/kes/kes2004-3.html#RashidiRAM04},
  volume = 3215,
  year = 2004
}

@inproceedings{conf/kes/RashidiM04,
  added-at = {2011-08-04T00:00:00.000+0200},
  author = {Rashidi, Farzan and Moshiri, Behzad},
  biburl = {http://www.bibsonomy.org/bibtex/23e0db2b919b82a574c3f1d25069b6c16/dblp},
  booktitle = {KES},
  crossref = {conf/kes/2004-3},
  editor = {Negoita, Mircea Gh. and Howlett, Robert J. and Jain, Lakhmi C.},
  ee = {http://dx.doi.org/10.1007/978-3-540-30134-9_75},
  interhash = {6226ff64e27048aba047865b29509359},
  intrahash = {3e0db2b919b82a574c3f1d25069b6c16},
  isbn = {3-540-23205-2},
  keywords = {dblp},
  pages = {559-565},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Improvement of Low Frequency Oscillation Damping in Power Systems Via an Adaptive Critic Based NeuroFuzzy Controller.},
  url = {http://dblp.uni-trier.de/db/conf/kes/kes2004-3.html#RashidiM04},
  volume = 3215,
  year = 2004
}

@inproceedings{conf/aimsa/RashidiR04,
  added-at = {2011-07-08T00:00:00.000+0200},
  author = {Rashidi, Farzan and Rashidi, Mehran},
  biburl = {http://www.bibsonomy.org/bibtex/28f392536f010fdff6a0d64e27fe0bb75/dblp},
  booktitle = {AIMSA},
  crossref = {conf/aimsa/2004},
  editor = {Bussler, Christoph and Fensel, Dieter},
  ee = {http://dx.doi.org/10.1007/978-3-540-30106-6_33},
  interhash = {de766b463a30e33a9fb21a99303b784a},
  intrahash = {8f392536f010fdff6a0d64e27fe0bb75},
  isbn = {3-540-22959-0},
  keywords = {dblp},
  pages = {321-330},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Robust and Adaptive Load Frequency Control of Multi-area Power Networks with System Parametric Uncertainties Using Temporal Difference Based MLP Neural Networks.},
  url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa2004.html#RashidiR04},
  volume = 3192,
  year = 2004
}

@inproceedings{conf/ideal/MoshiriR04,
  added-at = {2011-07-08T00:00:00.000+0200},
  author = {Moshiri, Behzad and Rashidi, Farzan},
  biburl = {http://www.bibsonomy.org/bibtex/219698c1304281147cb414786996eeb3d/dblp},
  booktitle = {IDEAL},
  crossref = {conf/ideal/2004},
  editor = {Yang, Zheng Rong and Everson, Richard M. and Yin, Hujun},
  ee = {http://dx.doi.org/10.1007/978-3-540-28651-6_64},
  interhash = {40400a867285b0bfdb5d5e626a6a121c},
  intrahash = {19698c1304281147cb414786996eeb3d},
  isbn = {3-540-22881-0},
  keywords = {dblp},
  pages = {437-442},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Self-tuning Based Fuzzy PID Controllers: Application to Control of Nonlinear HVAC Systems.},
  url = {http://dblp.uni-trier.de/db/conf/ideal/ideal2004.html#MoshiriR04},
  volume = 3177,
  year = 2004
}

@inproceedings{conf/cav/FarzanCMR04,
  added-at = {2011-07-07T00:00:00.000+0200},
  author = {Farzan, Azadeh and Chen, Feng and Meseguer, José and Rosu, Grigore},
  biburl = {http://www.bibsonomy.org/bibtex/238e8e8d9f51b8b97a7c3968373cdef7f/dblp},
  booktitle = {CAV},
  crossref = {conf/cav/2004},
  editor = {Alur, Rajeev and Peled, Doron},
  ee = {http://dx.doi.org/10.1007/978-3-540-27813-9_46},
  interhash = {99c7df09cedafadcca1c8e03c18ffaad},
  intrahash = {38e8e8d9f51b8b97a7c3968373cdef7f},
  isbn = {3-540-22342-8},
  keywords = {dblp},
  pages = {501-505},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Formal Analysis of Java Programs in JavaFAN.},
  url = {http://dblp.uni-trier.de/db/conf/cav/cav2004.html#FarzanCMR04},
  volume = 3114,
  year = 2004
}