QuickSearch:   Number of matching entries: 0.

Search Settings

    AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
    Bica, A.M., Curila, M. & Curila, S. Replace( ),title

    [BibTeX]

    		 2012 J. Computational Applied Mathematics
    Vol. 236(7), pp. 2005-2024     		 article URL 
    BibTeX: 
    @article{journals/jcam/BicaCC12,
  author = {Bica, A. M. and Curila, M. and Curila, S.},
  title = {About a numerical method of successive interpolations for functional Hammerstein integral equations.},
  journal = {J. Computational Applied Mathematics},
  year = {2012},
  volume = {236},
  number = {7},
  pages = {2005-2024},
  url = {http://dblp.uni-trier.de/db/journals/jcam/jcam236.html#BicaCC12}
}
    Bica, A.M., Curila, M. & Curila, S. Replace( ),title

    [BibTeX]

    		 2011 Applied Mathematics and Computation
    Vol. 217(19), pp. 7772-7789     		 article URL 
    BibTeX: 
    @article{journals/amc/BicaCC11,
  author = {Bica, A. M. and Curila, M. and Curila, S.},
  title = {About a numerical method of successive interpolations for two-point boundary value problems with deviating argument.},
  journal = {Applied Mathematics and Computation},
  year = {2011},
  volume = {217},
  number = {19},
  pages = {7772-7789},
  url = {http://dblp.uni-trier.de/db/journals/amc/amc217.html#BicaCC11}
}
    Bica, A.M. Replace( ),title

    [BibTeX]

    		 2011 Numerical Algorithms
    Vol. 58(3), pp. 351-377     		 article URL 
    BibTeX: 
    @article{journals/na/Bica11,
  author = {Bica, Alexandru Mihai},
  title = {The numerical method of successive interpolations for Fredholm functional integral equations.},
  journal = {Numerical Algorithms},
  year = {2011},
  volume = {58},
  number = {3},
  pages = {351-377},
  url = {http://dblp.uni-trier.de/db/journals/na/na58.html#Bica11}
}
    Bica, A.M. Replace( ),title

    [BibTeX]

    		 2011 Computers & Mathematics with Applications
    Vol. 62(10), pp. 3829-3843     		 article URL 
    BibTeX: 
    @article{journals/cma/Bica11,
  author = {Bica, Alexandru Mihai},
  title = {The numerical method of successive interpolations for two-point boundary value problems with deviating argument.},
  journal = {Computers & Mathematics with Applications},
  year = {2011},
  volume = {62},
  number = {10},
  pages = {3829-3843},
  url = {http://dblp.uni-trier.de/db/journals/cma/cma62.html#Bica11}
}
    Casaleiro, J., Lopes, H., Oliveira, L.B., Fernandes, J.R. & Silva, M.M. Replace( ),title

    [BibTeX]

    		 2011 ISCAS, pp. 1133-1136  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/iscas/CasaleiroLOFS11,
  author = {Casaleiro, Joao and Lopes, Hugo and Oliveira, Luís Bica and Fernandes, Jorge R. and Silva, Manuel M.},
  title = {A 1 mW low phase-noise relaxation oscillator.},
  booktitle = {ISCAS},
  publisher = {IEEE},
  year = {2011},
  pages = {1133-1136},
  url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2011.html#CasaleiroLOFS11}
}
    Colesa, A. & Bica, M. Replace( ),title

    [BibTeX]

    		 2011 FedCSIS, pp. 941-948  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/fedcsis/ColesaB11,
  author = {Colesa, Adrian and Bica, Mihai},
  title = {An Adaptive Virtual Machine Replication Algorithm for Highly-Available Services.},
  booktitle = {FedCSIS},
  year = {2011},
  pages = {941-948},
  url = {http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2011.html#ColesaB11}
}
    Pura, M.-L., Patriciu, V.V. & Bica, I. Replace( ),title

    [BibTeX]

    		 2010 SECRYPT, pp. 299-303  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/secrypt/PuraPB10,
  author = {Pura, Mihai-Lica and Patriciu, Victor Valeriu and Bica, Ion},
  title = {Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2.},
  booktitle = {SECRYPT},
  publisher = {SciTePress},
  year = {2010},
  pages = {299-303},
  url = {http://dblp.uni-trier.de/db/conf/secrypt/secrypt2010.html#PuraPB10}
}
    Pura, M.-L., Patriciu, V.-V. & Bica, I. Replace( ),title

    [Review] [BibTeX]

    		 2010 Proceedings of the 4th European Computing Conference
    Vol. 4, pp. 200-206     		 article  
    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.
    BibTeX: 
    @article{Pura10,
  author = {Pura, Mihai-Lica and Patriciu, Victor-Valeriu and Bica, Ion},
  title = {Formal verification of secure ad hoc routing protocols using AVISPA:

    	ARAN case study},
  journal = {Proceedings of the 4th European Computing Conference},
  year = {2010},
  volume = {4},
  pages = {200-206}
}
    Martins, M.A., Oliveira, L.B. & Fernandes, J.R. Replace( ),title

    [BibTeX]

    		 2009 ISCAS, pp. 425-428  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/iscas/MartinsOF09,
  author = {Martins, Miguel A. and Oliveira, Luís Bica and Fernandes, Jorge R.},
  title = {Combined LNA and Mixer Circuits for 2.4 GHz ISM Band.},
  booktitle = {ISCAS},
  publisher = {IEEE},
  year = {2009},
  pages = {425-428},
  url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2009.html#MartinsOF09}
}
    Pura, M.-L., Patriciu, V.V. & Bica, I. Replace( ),title

    [BibTeX]

    		 2009 SECRYPT, pp. 135-139  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/secrypt/Mihai-LicaPB09,
  author = {Pura, Mihai-Lica and Patriciu, Victor Valeriu and Bica, Ion},
  title = {Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks.},
  booktitle = {SECRYPT},
  publisher = {INSTICC Press},
  year = {2009},
  pages = {135-139},
  url = {http://dblp.uni-trier.de/db/conf/secrypt/secrypt2009.html#Mihai-LicaPB09}
}
    Silva, V., Oliveira, L.B., Fernandes, J.R., Véstias, M.P. & Neto, H.C. Replace( ),title

    [BibTeX]

    		 2009 DSD, pp. 74-81  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/dsd/SilvaOFVN09,
  author = {Silva, Victor and Oliveira, Luís Bica and Fernandes, Jorge R. and Véstias, Mário P. and Neto, Horácio C.},
  title = {Run-Time Reconfigurable Array Using Magnetic RAM.},
  booktitle = {DSD},
  publisher = {IEEE Computer Society},
  year = {2009},
  pages = {74-81},
  url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2009.html#SilvaOFVN09}
}
    Bica, A.M. Replace( ),title

    [BibTeX]

    		 2008 Inf. Sci.
    Vol. 178(5), pp. 1279-1292     		 article URL 
    BibTeX: 
    @article{journals/isci/Bica08,
  author = {Bica, Alexandru Mihai},
  title = {Error estimation in the approximation of the solution of nonlinear fuzzy Fredholm integral equations.},
  journal = {Inf. Sci.},
  year = {2008},
  volume = {178},
  number = {5},
  pages = {1279-1292},
  url = {http://dblp.uni-trier.de/db/journals/isci/isci178.html#Bica08}
}
    Bica, A.M. Replace( ),title

    [BibTeX]

    		 2008
    Vol. 5434NAA, pp. 200-207     		 inproceedings URL 
    BibTeX: 
    @inproceedings{conf/naa/Bica08,
  author = {Bica, Alexandru Mihai},
  title = {Quartic Spline of Interpolation with Minimal Quadratic Oscillation.},
  booktitle = {NAA},
  publisher = {Springer},
  year = {2008},
  volume = {5434},
  pages = {200-207},
  url = {http://dblp.uni-trier.de/db/conf/naa/naa2008.html#Bica08}
}
    Oliveira, L.B., Filanovsky, I.M., Allam, A. & Fernandes, J.R. Replace( ),title

    [BibTeX]

    		 2008 ISCAS, pp. 2322-2325  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/iscas/OliveiraFAF08,
  author = {Oliveira, Luís Bica and Filanovsky, Igor M. and Allam, Ahmed and Fernandes, Jorge R.},
  title = {Synchronization of two LC- oscillators using capacitive coupling.},
  booktitle = {ISCAS},
  publisher = {IEEE},
  year = {2008},
  pages = {2322-2325},
  url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2008.html#OliveiraFAF08}
}
    Bica, A.M. Replace( ),title

    [BibTeX]

    		 2007 Soft Comput.
    Vol. 11(11), pp. 1099-1105     		 article URL 
    BibTeX: 
    @article{journals/soco/Bica07,
  author = {Bica, Alexandru Mihai},
  title = {Algebraic structures for fuzzy numbers from categorial point of view.},
  journal = {Soft Comput.},
  year = {2007},
  volume = {11},
  number = {11},
  pages = {1099-1105},
  url = {http://dblp.uni-trier.de/db/journals/soco/soco11.html#Bica07}
}
    Filanovsky, I.M., Allam, A., Oliveira, L.B. & Fernandes, J.R. Replace( ),title

    [BibTeX]

    		 2006 ISCAS  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/iscas/FilanovskyAOF06,
  author = {Filanovsky, Igor M. and Allam, Ahmed and Oliveira, Luís Bica and Fernandes, Jorge R.},
  title = {Quadrature Van der Pol oscillators using second harmonic coupling.},
  booktitle = {ISCAS},
  publisher = {IEEE},
  year = {2006},
  url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2006.html#FilanovskyAOF06}
}
    Kovalyov, M. & Bica, I. Replace( ),title

    [BibTeX]

    		 2005 Chaos, Solitons & Fractals
    Vol. 25(5), pp. 979-989     		 article URL 
    BibTeX: 
    @article{Kovalyov2005,
  author = {Kovalyov, Mikhail and Bica, Ion},
  title = {Some properties of slowly decaying oscillatory solutions of KP},
  journal = {Chaos, Solitons & Fractals},
  year = {2005},
  volume = {25},
  number = {5},
  pages = {979--989},
  url = {http://www.sciencedirect.com/science/article/B6TJ4-4FNP2FX-1/1/b06fb92ae41fe15cb63745138d29a150}
}
    Oliveira, L.B., Allam, A., Filanovsky, I.M. & Fernandes, J.R. Replace( ),title

    [BibTeX]

    		 2005 ISCAS (3), pp. 2635-2638  inproceedings URL 
    BibTeX: 
    @inproceedings{conf/iscas/OliveiraAFF05,
  author = {Oliveira, Luís Bica and Allam, Ahmed and Filanovsky, Igor M. and Fernandes, Jorge R.},
  title = {On phase noise in quadrature cross-coupled oscillators.},
  booktitle = {ISCAS (3)},
  publisher = {IEEE},
  year = {2005},
  pages = {2635-2638},
  url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2005-3.html#OliveiraAFF05}
}
    Winer, G.A., Cottrell, J.E., Gregg, V., Fournier, J.S. & Bica, L.A. Replace( ),title

    [Abstract] [BibTeX]

    		 2002 The American psychologist
    Vol. 57(6-7), pp. 417-424     		 article URL 
    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.
    BibTeX: 
    @article{citeulike:7079288,
  author = {Winer, Gerald A. and Cottrell, Jane E. and Gregg, Virginia and Fournier, Jody S. and Bica, Lori A.},
  title = {Fundamentally misunderstanding visual perception. Adults' belief in visual emissions.},
  journal = {The American psychologist},
  year = {2002},
  volume = {57},
  number = {6-7},
  pages = {417--424},
  url = {http://view.ncbi.nlm.nih.gov/pubmed/12094435}
}
    Akers, R.L., Bica, I., Kant, E., Randall, C. & Young, R.L. Replace( ),title

    [BibTeX]

    		 2001 AI Magazine
    Vol. 22(2), pp. 27-42     		 article URL 
    BibTeX: 
    @article{journals/aim/AkersBKRY01,
  author = {Akers, Robert L. and Bica, Ion and Kant, Elaine and Randall, Curt and Young, Robert L.},
  title = {SciFinance: A Program Synthesis Tool for Financial Modeling.},
  journal = {AI Magazine},
  year = {2001},
  volume = {22},
  number = {2},
  pages = {27-42},
  url = {http://dblp.uni-trier.de/db/journals/aim/aim22.html#AkersBKRY01}
}

    Created by JabRef on 17/02/2012.