@article{journals/jcam/BicaCC12, added-at = {2012-01-16T00:00:00.000+0100}, author = {Bica, A. M. and Curila, M. and Curila, S.}, biburl = {http://www.bibsonomy.org/bibtex/254913ff8e90b53738af377ad08b650b3/dblp}, ee = {http://dx.doi.org/10.1016/j.cam.2011.11.010}, interhash = {026bf116d77861aded65e0dca85950e5}, intrahash = {54913ff8e90b53738af377ad08b650b3}, journal = {J. Computational Applied Mathematics}, keywords = {dblp}, number = 7, pages = {2005-2024}, title = {About a numerical method of successive interpolations for functional Hammerstein integral equations.}, url = {http://dblp.uni-trier.de/db/journals/jcam/jcam236.html#BicaCC12}, volume = 236, year = 2012 } @inproceedings{conf/fedcsis/ColesaB11, added-at = {2011-11-10T00:00:00.000+0100}, author = {Colesa, Adrian and Bica, Mihai}, biburl = {http://www.bibsonomy.org/bibtex/2a5e3fda6198df43f8a1bcf043da4ede5/dblp}, booktitle = {FedCSIS}, crossref = {conf/fedcsis/2011}, editor = {Ganzha, Maria and Maciaszek, Leszek A. and Paprzycki, Marcin}, ee = {http://fedcsis.eucip.pl/proceedings/pliks/180.pdf}, interhash = {14caec08440ea9c667d01dd24bd596f2}, intrahash = {a5e3fda6198df43f8a1bcf043da4ede5}, isbn = {978-83-60810-34-4}, keywords = {dblp}, pages = {941-948}, title = {An Adaptive Virtual Machine Replication Algorithm for Highly-Available Services.}, url = {http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2011.html#ColesaB11}, year = 2011 } @article{journals/cma/Bica11, added-at = {2011-10-31T00:00:00.000+0100}, author = {Bica, Alexandru Mihai}, biburl = {http://www.bibsonomy.org/bibtex/26f62448796dbb24224a5dd851195010f/dblp}, ee = {http://dx.doi.org/10.1016/j.camwa.2011.09.032}, interhash = {0334ea87a63a78775695ec01b80ec99b}, intrahash = {6f62448796dbb24224a5dd851195010f}, journal = {Computers & Mathematics with Applications}, keywords = {dblp}, number = 10, pages = {3829-3843}, title = {The numerical method of successive interpolations for two-point boundary value problems with deviating argument.}, url = {http://dblp.uni-trier.de/db/journals/cma/cma62.html#Bica11}, volume = 62, year = 2011 } @article{journals/na/Bica11, added-at = {2011-10-18T00:00:00.000+0200}, author = {Bica, Alexandru Mihai}, biburl = {http://www.bibsonomy.org/bibtex/26560718690abacf1a483c27d868fbb1c/dblp}, ee = {http://dx.doi.org/10.1007/s11075-011-9459-4}, interhash = {b07f13ca9547ca9e9299fd9beeb15e57}, intrahash = {6560718690abacf1a483c27d868fbb1c}, journal = {Numerical Algorithms}, keywords = {dblp}, number = 3, pages = {351-377}, title = {The numerical method of successive interpolations for Fredholm functional integral equations.}, url = {http://dblp.uni-trier.de/db/journals/na/na58.html#Bica11}, volume = 58, year = 2011 } @article{Pura10, added-at = {2011-07-15T15:18:02.000+0200}, author = {Pura, Mihai-Lica and Patriciu, Victor-Valeriu and Bica, Ion}, biburl = {http://www.bibsonomy.org/bibtex/21a8fd0d94eef1db48d147aeda049605d/msteele}, file = {:I\:\\My Documents\\Thesis\\Research\\Pura10.pdf:PDF}, interhash = {841722d0d7c1c143847165bf3b41b8dd}, intrahash = {1a8fd0d94eef1db48d147aeda049605d}, journal = {Proceedings of the 4th European Computing Conference}, keywords = {ARAN AVISPA routing secure formal verification}, owner = {Matt}, pages = {200-206}, review = {AVISPA is a modeling and formal verification tool. It has similarities with SPIN. Results have only been obtained for no-intermediary node simulations. Attempts to run verification against 3 node networks have failed, consuming more than 72 hours of processing time. This is similar to the work presented in [] in which the all the modeling is attempted in the verifier itself. This lends support to the automated scripted style presented in []. AVISPA models are similar to SPIN models. Processes are the only first class structures. Time is not possible to be modeled. In all this is probably a very good start to modeling with AVISPA but it fails in the attempt to model everything in the verifier. AVISPA may be a valid alternative to SPIN and is worth a close look. Still don't know what AVISPA is though. Pura et. al. present the formal verification of ARAN with the AVISPA framework. AVISPA is similar to SPIN in that modeling is preformed through processes and there is no concept of time. [8] attempts to perform the entirety of the model checking in the verifier. This failed to produce results even for 3 node topologies. The failure to obtain results was caused by a state space explosion in the modeling. The claims that the use of the AVISPA framework is easier than SPIN so far have not panned out. More research is needed further explore the possibility of using AVISPA in formal routing verification.}, title = {{Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study}}, volume = 4, year = 2010 } @inproceedings{conf/iscas/CasaleiroLOFS11, added-at = {2011-07-07T00:00:00.000+0200}, author = {Casaleiro, Joao and Lopes, Hugo and Oliveira, Luís Bica and Fernandes, Jorge R. and Silva, Manuel M.}, biburl = {http://www.bibsonomy.org/bibtex/2368f70a4fbc8c5fddb55aa9fef401d73/dblp}, booktitle = {ISCAS}, crossref = {conf/iscas/2011}, ee = {http://dx.doi.org/10.1109/ISCAS.2011.5937770}, interhash = {e3968c4f1f1eca59f0c89da0302e38d7}, intrahash = {368f70a4fbc8c5fddb55aa9fef401d73}, keywords = {dblp}, pages = {1133-1136}, publisher = {IEEE}, title = {A 1 mW low phase-noise relaxation oscillator.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2011.html#CasaleiroLOFS11}, year = 2011 } @inproceedings{conf/iscas/MartinsOF09, added-at = {2011-06-28T00:00:00.000+0200}, author = {Martins, Miguel A. and Oliveira, Luís Bica and Fernandes, Jorge R.}, biburl = {http://www.bibsonomy.org/bibtex/26f000fa67c78bf42e33dd645a7220491/dblp}, booktitle = {ISCAS}, crossref = {conf/iscas/2009}, ee = {http://dx.doi.org/10.1109/ISCAS.2009.5117776}, interhash = {41f8ead5c236a9e5339382e04dbe6eeb}, intrahash = {6f000fa67c78bf42e33dd645a7220491}, keywords = {dblp}, pages = {425-428}, publisher = {IEEE}, title = {Combined LNA and Mixer Circuits for 2.4 GHz ISM Band.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2009.html#MartinsOF09}, year = 2009 } @article{journals/amc/BicaCC11, added-at = {2011-05-19T00:00:00.000+0200}, author = {Bica, A. M. and Curila, M. and Curila, S.}, biburl = {http://www.bibsonomy.org/bibtex/23d78e71fe7abfbde8417669a8d30177d/dblp}, ee = {http://dx.doi.org/10.1016/j.amc.2011.02.085}, interhash = {955af8f087b58a229bc3405d02076323}, intrahash = {3d78e71fe7abfbde8417669a8d30177d}, journal = {Applied Mathematics and Computation}, keywords = {dblp}, number = 19, pages = {7772-7789}, title = {About a numerical method of successive interpolations for two-point boundary value problems with deviating argument.}, url = {http://dblp.uni-trier.de/db/journals/amc/amc217.html#BicaCC11}, volume = 217, year = 2011 } @inproceedings{conf/secrypt/PuraPB10, added-at = {2011-01-07T00:00:00.000+0100}, author = {Pura, Mihai-Lica and Patriciu, Victor Valeriu and Bica, Ion}, biburl = {http://www.bibsonomy.org/bibtex/2fbd920c5f5263bf71e20f22f28d0060b/dblp}, booktitle = {SECRYPT}, crossref = {conf/secrypt/2010}, editor = {Katsikas, Sokratis K. and Samarati, Pierangela}, interhash = {b90a007e0c905c2128cc6285ed7bffe2}, intrahash = {fbd920c5f5263bf71e20f22f28d0060b}, isbn = {978-989-8425-18-8}, keywords = {dblp}, pages = {299-303}, publisher = {SciTePress}, title = {Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2.}, url = {http://dblp.uni-trier.de/db/conf/secrypt/secrypt2010.html#PuraPB10}, year = 2010 } @inproceedings{conf/secrypt/Mihai-LicaPB09, added-at = {2011-01-07T00:00:00.000+0100}, author = {Pura, Mihai-Lica and Patriciu, Victor Valeriu and Bica, Ion}, biburl = {http://www.bibsonomy.org/bibtex/20a688a4c531b48bc6444d6b0b75da30d/dblp}, booktitle = {SECRYPT}, crossref = {conf/secrypt/2009}, editor = {Fernández-Medina, Eduardo and Malek, Manu and Hernando, Javier}, interhash = {01af3f07d88b0274a31c4c3095340d62}, intrahash = {0a688a4c531b48bc6444d6b0b75da30d}, isbn = {978-989-674-005-4}, keywords = {dblp}, pages = {135-139}, publisher = {INSTICC Press}, title = {Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks.}, url = {http://dblp.uni-trier.de/db/conf/secrypt/secrypt2009.html#Mihai-LicaPB09}, year = 2009 } @article{journals/aim/AkersBKRY01, added-at = {2010-12-29T00:00:00.000+0100}, author = {Akers, Robert L. and Bica, Ion and Kant, Elaine and Randall, Curt and Young, Robert L.}, biburl = {http://www.bibsonomy.org/bibtex/2d86566c88683956280fd6ce25a245f57/dblp}, ee = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/1559}, interhash = {fc241a97618e25d06d83e621a3a10c80}, intrahash = {d86566c88683956280fd6ce25a245f57}, journal = {AI Magazine}, keywords = {dblp}, number = 2, pages = {27-42}, title = {SciFinance: A Program Synthesis Tool for Financial Modeling.}, url = {http://dblp.uni-trier.de/db/journals/aim/aim22.html#AkersBKRY01}, volume = 22, year = 2001 } @article{citeulike:7079288, abstract = {{The authors reviewed research about a profound misconception that is present among college students, namely, the belief that the process of vision includes emanations from the eyes, an idea that is consistent with the extramission theory of perception, which was originally professed by early Greek philosophers and which persisted in scholarly circles for centuries. The authors document the strength and breadth of this phenomenon and the object failure of traditional educational techniques to overcome this belief, and they reveal that students are leaving psychology courses with a flawed understanding of one of the most studied processes in the history of psychology--visual perception. Some suggestions are offered for overcoming this misconception in traditional college classroom settings.}}, added-at = {2010-11-30T22:39:03.000+0100}, author = {Winer, Gerald A. and Cottrell, Jane E. and Gregg, Virginia and Fournier, Jody S. and Bica, Lori A.}, biburl = {http://www.bibsonomy.org/bibtex/26042df80685a3cb9fc91b8295b15fa5a/smatthiesen}, citeulike-article-id = {7079288}, citeulike-linkout-0 = {http://view.ncbi.nlm.nih.gov/pubmed/12094435}, citeulike-linkout-1 = {http://www.hubmed.org/display.cgi?uids=12094435}, interhash = {2fb9c1723db7754c588726462ff78def}, intrahash = {6042df80685a3cb9fc91b8295b15fa5a}, issn = {0003-066X}, journal = {The American psychologist}, keywords = {misconception}, number = {6-7}, pages = {417--424}, posted-at = {2010-04-25 11:37:29}, priority = {2}, title = {{Fundamentally misunderstanding visual perception. Adults' belief in visual emissions.}}, url = {http://view.ncbi.nlm.nih.gov/pubmed/12094435}, volume = 57, year = 2002 } @inproceedings{conf/dsd/SilvaOFVN09, added-at = {2009-12-28T00:00:00.000+0100}, author = {Silva, Victor and Oliveira, Luís Bica and Fernandes, Jorge R. and Véstias, Mário P. and Neto, Horácio C.}, biburl = {http://www.bibsonomy.org/bibtex/2e4c2e63a0df39eb824bd91fe48f0864b/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2009}, date = {2009-12-28}, description = {dblp}, editor = {Núñez, Antonio and Carballo, Pedro P.}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSD.2009.198}, interhash = {7c6f084c516b64b66382da4856427d8d}, intrahash = {e4c2e63a0df39eb824bd91fe48f0864b}, isbn = {978-0-7695-3782-5}, keywords = {dblp}, pages = {74-81}, publisher = {IEEE Computer Society}, title = {Run-Time Reconfigurable Array Using Magnetic RAM.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2009.html#SilvaOFVN09}, year = 2009 } @inproceedings{conf/naa/Bica08, added-at = {2009-02-10T00:00:00.000+0100}, author = {Bica, Alexandru Mihai}, biburl = {http://www.bibsonomy.org/bibtex/2d0024e85fad1922df03a258af133187f/dblp}, booktitle = {NAA}, crossref = {conf/naa/2008}, date = {2009-02-10}, description = {dblp}, editor = {Margenov, Svetozar and Vulkov, Lubin G. and Wasniewski, Jerzy}, ee = {http://dx.doi.org/10.1007/978-3-642-00464-3_20}, interhash = {86d5b79ab9eb5004dfaa5006b70e8ae1}, intrahash = {d0024e85fad1922df03a258af133187f}, isbn = {978-3-642-00463-6}, keywords = {dblp}, pages = {200-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Quartic Spline of Interpolation with Minimal Quadratic Oscillation.}, url = {http://dblp.uni-trier.de/db/conf/naa/naa2008.html#Bica08}, volume = 5434, year = 2008 } @inproceedings{conf/iscas/OliveiraFAF08, added-at = {2008-12-31T00:00:00.000+0100}, author = {Oliveira, Luís Bica and Filanovsky, Igor M. and Allam, Ahmed and Fernandes, Jorge R.}, biburl = {http://www.bibsonomy.org/bibtex/26e2cfdd7a614f455514c06c399ba1651/dblp}, booktitle = {ISCAS}, crossref = {conf/iscas/2008}, date = {2008-12-31}, description = {dblp}, ee = {http://dx.doi.org/10.1109/ISCAS.2008.4541919}, interhash = {71ec3a98b4a73fd8eb89101d183b064d}, intrahash = {6e2cfdd7a614f455514c06c399ba1651}, keywords = {dblp}, pages = {2322-2325}, publisher = {IEEE}, title = {Synchronization of two LC- oscillators using capacitive coupling.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2008.html#OliveiraFAF08}, year = 2008 } @article{journals/isci/Bica08, added-at = {2008-04-25T00:00:00.000+0200}, author = {Bica, Alexandru Mihai}, biburl = {http://www.bibsonomy.org/bibtex/29fa97a554ae4d622a2eaddf1fa349e09/dblp}, date = {2008-04-25}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.ins.2007.10.021}, interhash = {eb4a65c073e82673373764b94da8e752}, intrahash = {9fa97a554ae4d622a2eaddf1fa349e09}, journal = {Inf. Sci.}, keywords = {dblp}, number = 5, pages = {1279-1292}, title = {Error estimation in the approximation of the solution of nonlinear fuzzy Fredholm integral equations.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci178.html#Bica08}, volume = 178, year = 2008 } @article{Kovalyov2005, added-at = {2008-04-22T12:52:29.000+0200}, author = {Kovalyov, Mikhail and Bica, Ion}, biburl = {http://www.bibsonomy.org/bibtex/23dfd323674eecd8b1cd0c80e374c1d95/smicha}, description = {Chaos, Solitons & Fractals}, interhash = {b0f64563ebb75b0f123a208e7e56ca3d}, intrahash = {3dfd323674eecd8b1cd0c80e374c1d95}, journal = {Chaos, Solitons \& Fractals}, keywords = {imported}, month = Sep, number = 5, pages = {979--989}, title = {Some properties of slowly decaying oscillatory solutions of KP}, url = {http://www.sciencedirect.com/science/article/B6TJ4-4FNP2FX-1/1/b06fb92ae41fe15cb63745138d29a150}, volume = 25, year = 2005 } @article{journals/soco/Bica07, added-at = {2008-03-11T00:00:00.000+0100}, author = {Bica, Alexandru Mihai}, biburl = {http://www.bibsonomy.org/bibtex/2715ec3345d90067b497f324a920fecb6/dblp}, date = {2008-03-11}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s00500-007-0167-x}, interhash = {f5433de2d4b3b9b10c8d18e2ecf23002}, intrahash = {715ec3345d90067b497f324a920fecb6}, journal = {Soft Comput.}, keywords = {dblp}, number = 11, pages = {1099-1105}, title = {Algebraic structures for fuzzy numbers from categorial point of view.}, url = {http://dblp.uni-trier.de/db/journals/soco/soco11.html#Bica07}, volume = 11, year = 2007 } @inproceedings{conf/iscas/OliveiraAFF05, added-at = {2007-12-03T00:00:00.000+0100}, author = {Oliveira, Luís Bica and Allam, Ahmed and Filanovsky, Igor M. and Fernandes, Jorge R.}, biburl = {http://www.bibsonomy.org/bibtex/2fa1bce349e068c66b127b4d9927fb699/dblp}, booktitle = {ISCAS (3)}, crossref = {conf/iscas/2005}, date = {2007-12-03}, description = {dblp}, ee = {http://dx.doi.org/10.1109/ISCAS.2005.1465167}, interhash = {0c9d2b05ccf7e7853b8f945c165c5c46}, intrahash = {fa1bce349e068c66b127b4d9927fb699}, keywords = {dblp}, pages = {2635-2638}, publisher = {IEEE}, title = {On phase noise in quadrature cross-coupled oscillators.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2005-3.html#OliveiraAFF05}, year = 2005 } @inproceedings{conf/iscas/FilanovskyAOF06, added-at = {2007-07-23T00:00:00.000+0200}, author = {Filanovsky, Igor M. and Allam, Ahmed and Oliveira, Luís Bica and Fernandes, Jorge R.}, biburl = {http://www.bibsonomy.org/bibtex/20684bb5f3daf19b6df34c766ba01a6b2/dblp}, booktitle = {ISCAS}, crossref = {conf/iscas/2006}, date = {2007-07-23}, description = {dblp}, ee = {http://dx.doi.org/10.1109/ISCAS.2006.1692922}, interhash = {92ae97df8be3d0734d9904289ebff1d6}, intrahash = {0684bb5f3daf19b6df34c766ba01a6b2}, keywords = {dblp}, publisher = {IEEE}, title = {Quadrature Van der Pol oscillators using second harmonic coupling.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2006.html#FilanovskyAOF06}, year = 2006 }