| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Bica, A. M., Curila, M. & Curila, S. | About a numerical method of successive interpolations for functional Hammerstein integral equations. [BibTeX] |
2012 | J. Computational Applied Mathematics | 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. | About a numerical method of successive interpolations for two-point boundary value problems with deviating argument. [BibTeX] |
2011 | Applied Mathematics and Computation | 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. | The numerical method of successive interpolations for Fredholm functional integral equations. [BibTeX] |
2011 | Numerical Algorithms | 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. | The numerical method of successive interpolations for two-point boundary value problems with deviating argument. [BibTeX] |
2011 | Computers & Mathematics with Applications | 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. | A 1 mW low phase-noise relaxation oscillator. [BibTeX] |
2011 | ISCAS | 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. | An Adaptive Virtual Machine Replication Algorithm for Highly-Available Services. [BibTeX] |
2011 | FedCSIS | 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. | Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2. [BibTeX] |
2010 | SECRYPT | 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. | Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study | 2010 | Proceedings of the 4th European Computing Conference | 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 [ 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. | Combined LNA and Mixer Circuits for 2.4 GHz ISM Band. [BibTeX] |
2009 | ISCAS | 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. | Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks. [BibTeX] |
2009 | SECRYPT | 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. | Run-Time Reconfigurable Array Using Magnetic RAM. [BibTeX] |
2009 | DSD | 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. | Error estimation in the approximation of the solution of nonlinear fuzzy Fredholm integral equations. [BibTeX] |
2008 | Inf. Sci. | 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. | Quartic Spline of Interpolation with Minimal Quadratic Oscillation. [BibTeX] |
2008 | NAA | 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. | Synchronization of two LC- oscillators using capacitive coupling. [BibTeX] |
2008 | ISCAS | 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. | Algebraic structures for fuzzy numbers from categorial point of view. [BibTeX] |
2007 | Soft Comput. | 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. | Quadrature Van der Pol oscillators using second harmonic coupling. [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. | Some properties of slowly decaying oscillatory solutions of KP [BibTeX] |
2005 | Chaos, Solitons & Fractals | 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. | On phase noise in quadrature cross-coupled oscillators. [BibTeX] |
2005 | ISCAS (3) | 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. | Fundamentally misunderstanding visual perception. Adults' belief in visual emissions. | 2002 | The American psychologist | 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. | SciFinance: A Program Synthesis Tool for Financial Modeling. [BibTeX] |
2001 | AI Magazine | 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 export filters on 17/02/2012 by the social publication management platform BibSonomy