Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Katarzyna Radecka
@article{DBLP:journals/monet/JanidarmianFRZ22,
author = {Majid Janidarmian and
Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
title = {Wearable Vibrotactile System as an Assistive Technology Solution},
journal = {Mob. Networks Appl.},
volume = {27},
number = {2},
pages = {709--717},
year = {2022},
url = {https://doi.org/10.1007/s11036-019-01304-9},
doi = {10.1007/S11036-019-01304-9},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/JanidarmianFRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mva/SunRZ19,
author = {Jianing Sun and
Katarzyna Radecka and
Zeljko Zilic},
title = {Exploring Better Food Detection via Transfer Learning},
booktitle = {16th International Conference on Machine Vision Applications, {MVA}
2019, Tokyo, Japan, May 27-31, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/MVA.2019.8757886},
doi = {10.23919/MVA.2019.8757886},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/mva/SunRZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05994,
author = {Jianing Sun and
Katarzyna Radecka and
Zeljko Zilic},
title = {FoodTracker: {A} Real-time Food Detection Mobile Application by Deep
Convolutional Neural Networks},
journal = {CoRR},
volume = {abs/1909.05994},
year = {2019},
url = {http://arxiv.org/abs/1909.05994},
eprinttype = {arXiv},
eprint = {1909.05994},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/JanidarmianFRZ17,
author = {Majid Janidarmian and
Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
title = {A Comprehensive Analysis on Wearable Acceleration Sensors in Human
Activity Recognition},
journal = {Sensors},
volume = {17},
number = {3},
pages = {529},
year = {2017},
url = {https://doi.org/10.3390/s17030529},
doi = {10.3390/S17030529},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/JanidarmianFRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihealth/JanidarmianFRZ17,
author = {Majid Janidarmian and
Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
editor = {Paolo Perego and
Amir M. Rahmani and
Nima Taherinejad},
title = {Designing and Evaluating a Vibrotactile Language for Sensory Substitution
Systems},
booktitle = {Wireless Mobile Communication and Healthcare - 7th International Conference,
MobiHealth 2017, Vienna, Austria, November 14-15, 2017, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {247},
pages = {58--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-98551-0\_7},
doi = {10.1007/978-3-319-98551-0\_7},
timestamp = {Sat, 01 Sep 2018 12:23:57 +0200},
biburl = {https://dblp.org/rec/conf/mobihealth/JanidarmianFRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihealth/JanidarmianFRZ17a,
author = {Majid Janidarmian and
Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
editor = {Paolo Perego and
Amir M. Rahmani and
Nima Taherinejad},
title = {A Novel Algorithm to Reduce Machine Learning Efforts in Real-Time
Sensor Data Analysis},
booktitle = {Wireless Mobile Communication and Healthcare - 7th International Conference,
MobiHealth 2017, Vienna, Austria, November 14-15, 2017, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {247},
pages = {83--90},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-98551-0\_10},
doi = {10.1007/978-3-319-98551-0\_10},
timestamp = {Tue, 28 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobihealth/JanidarmianFRZ17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/FekrJRZ16,
author = {Atena Roshan Fekr and
Majid Janidarmian and
Katarzyna Radecka and
Zeljko Zilic},
title = {Respiration Disorders Classification With Informative Features for
m-Health Applications},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {20},
number = {3},
pages = {733--747},
year = {2016},
url = {https://doi.org/10.1109/JBHI.2015.2458965},
doi = {10.1109/JBHI.2015.2458965},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/titb/FekrJRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bhi/JanidarmianFRZ16,
author = {Majid Janidarmian and
Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
title = {Haptic feedback and human performance in a wearable sensor system},
booktitle = {2016 {IEEE-EMBS} International Conference on Biomedical and Health
Informatics, {BHI} 2016, Las Vegas, NV, USA, February 24-27, 2016},
pages = {620--624},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/BHI.2016.7455975},
doi = {10.1109/BHI.2016.7455975},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/bhi/JanidarmianFRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/PangYLLHSR15,
author = {Yu Pang and
Yafeng Yan and
Jinzhao Lin and
Guoquan Li and
Huawei Huang and
Lei Shi and
Katarzyna Radecka},
title = {{ICAT:} Engine to Perform Range Analysis and Allocate Bit-Widths for
Arithmetic Datapaths},
journal = {J. Circuits Syst. Comput.},
volume = {24},
number = {2},
pages = {1550020:1--1550020:28},
year = {2015},
url = {https://doi.org/10.1142/S0218126615500206},
doi = {10.1142/S0218126615500206},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/PangYLLHSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/netmahib/FekrJRZ15,
author = {Atena Roshan Fekr and
Majid Janidarmian and
Katarzyna Radecka and
Zeljko Zilic},
title = {Movement analysis of the chest compartments and a real-time quality
feedback during breathing therapy},
journal = {Netw. Model. Anal. Health Informatics Bioinform.},
volume = {4},
number = {1},
pages = {21},
year = {2015},
url = {https://doi.org/10.1007/s13721-015-0093-2},
doi = {10.1007/S13721-015-0093-2},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/netmahib/FekrJRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/FekrRZ15,
author = {Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
title = {Design and Evaluation of an Intelligent Remote Tidal Volume Variability
Monitoring System in E-Health Applications},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {19},
number = {5},
pages = {1532--1548},
year = {2015},
url = {https://doi.org/10.1109/JBHI.2015.2445783},
doi = {10.1109/JBHI.2015.2445783},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/titb/FekrRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/FekrJRZ14,
author = {Atena Roshan Fekr and
Majid Janidarmian and
Katarzyna Radecka and
Zeljko Zilic},
title = {A Medical Cloud-Based Platform for Respiration Rate Measurement and
Hierarchical Classification of Breath Disorders},
journal = {Sensors},
volume = {14},
number = {6},
pages = {11204--11224},
year = {2014},
url = {https://doi.org/10.3390/s140611204},
doi = {10.3390/S140611204},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/FekrJRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/FekrRZ14,
author = {Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
title = {Design of an e-Health Respiration and Body Posture Monitoring System
and Its Application for Rib Cage and Abdomen Synchrony Analysis},
booktitle = {2014 {IEEE} International Conference on Bioinformatics and Bioengineering,
Boca Raton, FL, USA, November 10-12, 2014},
pages = {141--148},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/BIBE.2014.67},
doi = {10.1109/BIBE.2014.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibe/FekrRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihtc/FekrJRZ14,
author = {Atena Roshan Fekr and
Majid Janidarmian and
Katarzyna Radecka and
Zeljko Zilic},
title = {Multi-sensor blind recalibration in mHealth applications},
booktitle = {2014 {IEEE} Canada International Humanitarian Technology Conference,
{IHTC} 2014, Montreal, QC, Canada, June 1-4, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IHTC.2014.7147538},
doi = {10.1109/IHTC.2014.7147538},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/ihtc/FekrJRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihtc/JanidarmianFRZ14,
author = {Majid Janidarmian and
Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
title = {Affordable erehabilitation monitoring platform},
booktitle = {2014 {IEEE} Canada International Humanitarian Technology Conference,
{IHTC} 2014, Montreal, QC, Canada, June 1-4, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IHTC.2014.7147537},
doi = {10.1109/IHTC.2014.7147537},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ihtc/JanidarmianFRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot360/FekrJRZ14,
author = {Atena Roshan Fekr and
Majid Janidarmian and
Katarzyna Radecka and
Zeljko Zilic},
editor = {Raffaele Giaffreda and
Radu{-}Laurentiu Vieriu and
Edna P{\'{a}}sher and
Gabriel Bendersky and
Antonio J. Jara and
Joel J. P. C. Rodrigues and
Eliezer Dekel and
Benny Mandler},
title = {Development of a Remote Monitoring System for Respiratory Analysis},
booktitle = {Internet of Things. User-Centric IoT - First International Summit,
IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers,
Part {I}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {150},
pages = {193--202},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-19656-5\_28},
doi = {10.1007/978-3-319-19656-5\_28},
timestamp = {Sun, 02 Jun 2019 21:20:16 +0200},
biburl = {https://dblp.org/rec/conf/iot360/FekrJRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihealth/FekrRZ14,
author = {Atena Roshan Fekr and
Katarzyna Radecka and
Zeljko Zilic},
editor = {Konstantina S. Nikita and
Nikolaos G. Bourbakis and
Benny Lo and
Dimitrios I. Fotiadis and
Yang Hao and
Asimina Kiourti},
title = {Tidal volume variability and respiration rate estimation using a wearable
accelerometer sensor},
booktitle = {4th International Conference on Wireless Mobile Communication and
Healthcare: "Transforming healthcare through innovations in mobile
and wireless technologies", {MOBIHEALTH} 2014, Athens, Greece, November
3-5, 2014},
pages = {1--6},
publisher = {{ICST/IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MOBIHEALTH.2014.7015894},
doi = {10.1109/MOBIHEALTH.2014.7015894},
timestamp = {Tue, 25 Oct 2022 17:49:41 +0200},
biburl = {https://dblp.org/rec/conf/mobihealth/FekrRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihealth/JanidarmianRZ14,
author = {Majid Janidarmian and
Katarzyna Radecka and
Zeljko Zilic},
editor = {Konstantina S. Nikita and
Nikolaos G. Bourbakis and
Benny Lo and
Dimitrios I. Fotiadis and
Yang Hao and
Asimina Kiourti},
title = {Automated diagnosis of knee pathology using sensory data},
booktitle = {4th International Conference on Wireless Mobile Communication and
Healthcare: "Transforming healthcare through innovations in mobile
and wireless technologies", {MOBIHEALTH} 2014, Athens, Greece, November
3-5, 2014},
pages = {95--98},
publisher = {{ICST/IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MOBIHEALTH.2014.7015918},
doi = {10.1109/MOBIHEALTH.2014.7015918},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobihealth/JanidarmianRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/SarbisheiRZ14,
author = {Omid Sarbishei and
Katarzyna Radecka and
Zeljko Zilic},
title = {A hybrid arithmetic transform for precision analysis of floating-point
polynomial specifications},
booktitle = {{IEEE} 12th International New Circuits and Systems Conference, {NEWCAS}
2014, Trois-Rivieres, QC, Canada, June 22-25, 2014},
pages = {37--40},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/NEWCAS.2014.6933979},
doi = {10.1109/NEWCAS.2014.6933979},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/newcas/SarbisheiRZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SarbisheiR13,
author = {Omid Sarbishei and
Katarzyna Radecka},
title = {On the Fixed-Point Accuracy Analysis and Optimization of Polynomial
Specifications},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {32},
number = {6},
pages = {831--844},
year = {2013},
url = {https://doi.org/10.1109/TCAD.2013.2238290},
doi = {10.1109/TCAD.2013.2238290},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SarbisheiR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bodynets/PangLLLLZR13,
author = {Yu Pang and
Qian Lei and
Jinzhao Lin and
Zhiyong Luo and
Zhangyong Li and
Zeljko Zilic and
Katarzyna Radecka},
editor = {Junichi Suzuki and
Honggang Wang},
title = {{SAR} Computation and Channel Modeling of Body Area Network},
booktitle = {8th International Conference on Body Area Networks, {BODYNETS} 2013,
Boston, MA, USA, September 30 - October 2, 2013},
pages = {120--123},
publisher = {{ICST}},
year = {2013},
url = {https://doi.org/10.4108/icst.bodynets.2013.253920},
doi = {10.4108/ICST.BODYNETS.2013.253920},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bodynets/PangLLLLZR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bsn/SarbisheiNFJRZK13,
author = {Omid Sarbishei and
Benjamin Nahill and
Atena Roshan Fekr and
Majid Janidarmian and
Katarzyna Radecka and
Zeljko Zilic and
Boris Karajica},
title = {An efficient fault-tolerant sensor fusion algorithm for accelerometers},
booktitle = {2013 {IEEE} International Conference on Body Sensor Networks, Cambridge,
MA, USA, May 6-9, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/BSN.2013.6575513},
doi = {10.1109/BSN.2013.6575513},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/bsn/SarbisheiNFJRZK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/SarbisheiFJNR13,
author = {Omid Sarbishei and
Atena Roshan Fekr and
Majid Janidarmian and
Benjamin Nahill and
Katarzyna Radecka},
title = {A minimum {MSE} sensor fusion algorithm with tolerance to multiple
faults},
booktitle = {18th {IEEE} European Test Symposium, {ETS} 2013, Avignon, France,
May 27-30, 2013},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ETS.2013.6569380},
doi = {10.1109/ETS.2013.6569380},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ets/SarbisheiFJNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/SultanaR13,
author = {Sayeeda Sultana and
Katarzyna Radecka},
title = {Testing reversible adder/subtractor for missing control points},
booktitle = {{IEEE} 56th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2013, Columbus, OH, USA, August 4-7, 2013},
pages = {412--415},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MWSCAS.2013.6674673},
doi = {10.1109/MWSCAS.2013.6674673},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/mwscas/SultanaR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/SultanaFR13,
author = {Sayeeda Sultana and
Atena Roshan Fekr and
Katarzyna Radecka},
title = {SAT-based reversible gate/wire replacement fault testing},
booktitle = {{IEEE} 56th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2013, Columbus, OH, USA, August 4-7, 2013},
pages = {1075--1078},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MWSCAS.2013.6674839},
doi = {10.1109/MWSCAS.2013.6674839},
timestamp = {Sun, 29 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mwscas/SultanaFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SarbisheiRZ12,
author = {Omid Sarbishei and
Katarzyna Radecka and
Zeljko Zilic},
title = {Analytical Optimization of Bit-Widths in Fixed-Point {LTI} Systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {31},
number = {3},
pages = {343--355},
year = {2012},
url = {https://doi.org/10.1109/TCAD.2011.2170988},
doi = {10.1109/TCAD.2011.2170988},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SarbisheiRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SarbisheiR12,
author = {Omid Sarbishei and
Katarzyna Radecka},
title = {Fixed-point accuracy analysis of datapaths with mixed {CORDIC} and
polynomial computations},
booktitle = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
{ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
pages = {789--794},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ASPDAC.2012.6165061},
doi = {10.1109/ASPDAC.2012.6165061},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/SarbisheiR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/FekrJSNRZ12,
author = {Atena Roshan Fekr and
Majid Janidarmian and
Omid Sarbishei and
Benjamin Nahill and
Katarzyna Radecka and
Zeljko Zilic},
title = {{MSE} minimization and fault-tolerant data fusion for multi-sensor
systems},
booktitle = {30th International {IEEE} Conference on Computer Design, {ICCD} 2012,
Montreal, QC, Canada, September 30 - Oct. 3, 2012},
pages = {445--452},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCD.2012.6378677},
doi = {10.1109/ICCD.2012.6378677},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/FekrJSNRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/SarbisheiR12,
author = {Omid Sarbishei and
Katarzyna Radecka},
title = {Verification of fixed-point datapaths with comparator units using
Constrained Arithmetic Transform {(CAT)}},
booktitle = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
2012, Seoul, Korea (South), May 20-23, 2012},
pages = {592--595},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISCAS.2012.6272100},
doi = {10.1109/ISCAS.2012.6272100},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/SarbisheiR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/JanidarmianZR12,
author = {Majid Janidarmian and
Zeljko Zilic and
Katarzyna Radecka},
editor = {D. Michael Miller and
Vincent C. Gaudet},
title = {Issues in Multi-valued Multi-modal Sensor Fusion},
booktitle = {42nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2012, Victoria, BC, Canada, May 14-16, 2012},
pages = {238--243},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISMVL.2012.65},
doi = {10.1109/ISMVL.2012.65},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/JanidarmianZR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/SarbisheiR10,
author = {Omid Sarbishei and
Katarzyna Radecka},
editor = {Elisardo Antelo and
David Hough and
Paolo Ienne},
title = {On the Fixed-Point Accuracy Analysis and Optimization of {FFT} Units
with {CORDIC} Multipliers},
booktitle = {20th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2011, T{\"{u}}bingen,
Germany, 25-27 July 2011},
pages = {62--69},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ARITH.2011.17},
doi = {10.1109/ARITH.2011.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arith/SarbisheiR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/PangRZ11,
author = {Yu Pang and
Katarzyna Radecka and
Zeljko Zilic},
title = {An efficient hybrid engine to perform range analysis and allocate
integer bit-widths for arithmetic circuits},
booktitle = {Proceedings of the 16th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2011, Yokohama, Japan, January 25-27, 2011},
pages = {455--460},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ASPDAC.2011.5722233},
doi = {10.1109/ASPDAC.2011.5722233},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/PangRZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/SultanaRP11,
author = {Sayeeda Sultana and
Katarzyna Radecka and
Yu Pang},
title = {A study on relating redundancy removal in classical circuits to reversible
mapping},
booktitle = {{IEEE} 29th International Conference on Computer Design, {ICCD} 2011,
Amherst, MA, USA, October 9-12, 2011},
pages = {206--211},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICCD.2011.6081398},
doi = {10.1109/ICCD.2011.6081398},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/SultanaRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/PangWHLSR11,
author = {Yu Pang and
Shaoquan Wang and
Zhilong He and
Jinzhao Lin and
Sayeeda Sultana and
Katarzyna Radecka},
title = {Positive Davio-based synthesis algorithm for reversible logic},
booktitle = {{IEEE} 29th International Conference on Computer Design, {ICCD} 2011,
Amherst, MA, USA, October 9-12, 2011},
pages = {212--218},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICCD.2011.6081399},
doi = {10.1109/ICCD.2011.6081399},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/PangWHLSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/SultanaR11,
author = {Sayeeda Sultana and
Katarzyna Radecka},
title = {Reversible implementation of square-root circuit},
booktitle = {18th {IEEE} International Conference on Electronics, Circuits and
Systems, {ICECS} 2011, Beirut, Lebanon, December 11-14, 2011},
pages = {141--144},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICECS.2011.6122234},
doi = {10.1109/ICECS.2011.6122234},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/SultanaR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/SarbisheiR11,
author = {Omid Sarbishei and
Katarzyna Radecka},
title = {Analysis of Mean-Square-Error {(MSE)} for fixed-point {FFT} units},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
15-19 2011, Rio de Janeiro, Brazil},
pages = {1732--1735},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISCAS.2011.5937917},
doi = {10.1109/ISCAS.2011.5937917},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/SarbisheiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/PangR11,
author = {Yu Pang and
Katarzyna Radecka},
title = {An efficient algorithm of performing range analysis for fixed-point
arithmetic circuits based on {SAT} checking},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
15-19 2011, Rio de Janeiro, Brazil},
pages = {1736--1739},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISCAS.2011.5937918},
doi = {10.1109/ISCAS.2011.5937918},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/PangR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/PangLSR11,
author = {Yu Pang and
Jinzhao Lin and
Sayeeda Sultana and
Katarzyna Radecka},
title = {A novel method of synthesizing reversible logic},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
15-19 2011, Rio de Janeiro, Brazil},
pages = {2857--2860},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISCAS.2011.5938201},
doi = {10.1109/ISCAS.2011.5938201},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/PangLSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SultanaR11,
author = {Sayeeda Sultana and
Katarzyna Radecka},
editor = {Jaakko Astola and
Radomir S. Stankovic},
title = {Rev-Map: {A} Direct Gateway from Classical Irreversible Network to
Reversible Network},
booktitle = {41st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2011, Tuusula, Finland, May 23-25, 2011},
pages = {147--152},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISMVL.2011.38},
doi = {10.1109/ISMVL.2011.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/SultanaR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wh/ZilicR11,
author = {Zeljko Zilic and
Katarzyna Radecka},
editor = {Irwin Mark Jacobs and
Patrick Soon{-}Shiong and
Eric J. Topol and
Christofer Toumazou},
title = {Fault tolerant glucose sensor readout and recalibration},
booktitle = {Proceedings of Wireless Health 2011, {WH} 2011, San Diego/La Jolla,
CA, USA, October 10-13, 2011},
pages = {35},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2077546.2077585},
doi = {10.1145/2077546.2077585},
timestamp = {Fri, 14 Apr 2023 16:05:37 +0200},
biburl = {https://dblp.org/rec/conf/wh/ZilicR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/PangRZ10,
author = {Yu Pang and
Katarzyna Radecka and
Zeljko Zilic},
title = {Optimization of Imprecise Circuits Represented by Taylor Series and
Real-Valued Polynomials},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {29},
number = {8},
pages = {1177--1190},
year = {2010},
url = {https://doi.org/10.1109/TCAD.2010.2049154},
doi = {10.1109/TCAD.2010.2049154},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/PangRZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/SarbisheiPR10,
author = {Omid Sarbishei and
Yu Pang and
Katarzyna Radecka},
title = {Analysis of range and precision for fixed-point linear arithmetic
circuits with feedbacks},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HLDVT.2010.5496667},
doi = {10.1109/HLDVT.2010.5496667},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/SarbisheiPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SarbisheiR10,
author = {Omid Sarbishei and
Katarzyna Radecka},
editor = {Louis Scheffer and
Joel R. Phillips and
Alan J. Hu},
title = {Analysis of precision for scaling the intermediate variables in fixed-point
arithmetic circuits},
booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
San Jose, CA, USA, November 7-11, 2010},
pages = {739--745},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCAD.2010.5654270},
doi = {10.1109/ICCAD.2010.5654270},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/SarbisheiR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/PangRZ10,
author = {Yu Pang and
Katarzyna Radecka and
Zeljko Zilic},
title = {An efficient method to perform range analysis for {DSP} circuits},
booktitle = {17th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2010, Athens, Greece, 12-15 December, 2010},
pages = {855--858},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICECS.2010.5724647},
doi = {10.1109/ICECS.2010.5724647},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/PangRZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/SultanaAR08,
author = {Sayeeda Sultana and
Shahriar Al{-}Imam and
Katarzyna Radecka},
title = {Design for Testability of {QCA} Logic Under Stuck-at-value Fault Model},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {14},
number = {1-2},
pages = {145--176},
year = {2008},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-14-number-1-2-2008/mvlsc-14-1-2-p-145-176/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/SultanaAR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PangR08,
author = {Yu Pang and
Katarzyna Radecka},
editor = {Limor Fix},
title = {Optimizing imprecise fixed-point arithmetic circuits specified by
Taylor Series through arithmetic transform},
booktitle = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
Anaheim, CA, USA, June 8-13, 2008},
pages = {397--402},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1391469.1391574},
doi = {10.1145/1391469.1391574},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PangR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/KhazamipourR07,
author = {Ali Khazamipour and
Katarzyna Radecka},
title = {Adiabatic Implementation of Reversible Logic Circuits in {CMOS} Technology},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {13},
number = {1-2},
pages = {191--216},
year = {2007},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-13-number-1-2-2007/mvlsc-13-1-2-p-191-216/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/KhazamipourR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZilicR07,
author = {Zeljko Zilic and
Katarzyna Radecka},
title = {Scaling and Better Approximating Quantum Fourier Transform by Higher
Radices},
journal = {{IEEE} Trans. Computers},
volume = {56},
number = {2},
pages = {202--207},
year = {2007},
url = {https://doi.org/10.1109/TC.2007.35},
doi = {10.1109/TC.2007.35},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ZilicR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZilicRK07,
author = {Zeljko Zilic and
Katarzyna Radecka and
Ali Kazamiphur},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {Reversible circuit technology mapping from non-reversible specifications},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {558--563},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://doi.org/10.1109/DATE.2007.364652},
doi = {10.1109/DATE.2007.364652},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ZilicRK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/PangRZ06,
author = {Yu Pang and
Katarzyna Radecka and
Zeljko Zilic},
title = {Algorithms for Compositions of Arithmetic Transforms and Their Extensions},
booktitle = {13th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2006, Nice, France, December 10-13, 2006},
pages = {379--382},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICECS.2006.379804},
doi = {10.1109/ICECS.2006.379804},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/PangRZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/PangRZ06a,
author = {Yu Pang and
Katarzyna Radecka and
Zeljko Zilic},
title = {Arithmetic Transforms of Imprecise Datapaths by Taylor Series Conversion},
booktitle = {13th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2006, Nice, France, December 10-13, 2006},
pages = {696--699},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICECS.2006.379884},
doi = {10.1109/ICECS.2006.379884},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/PangRZ06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/SultanaAR06,
author = {Sayeeda Sultana and
Shahriar Al{-}Imam and
Katarzyna Radecka},
title = {Testing {QCA} Modular Logic},
booktitle = {13th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2006, Nice, France, December 10-13, 2006},
pages = {700--703},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICECS.2006.379885},
doi = {10.1109/ICECS.2006.379885},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/SultanaAR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/ZhangZR06,
author = {Rong Zhang and
Zeljko Zilic and
Katarzyna Radecka},
title = {Energy Efficient Software-Based Self-Test for Wireless Sensor Network
Nodes},
booktitle = {24th {IEEE} {VLSI} Test Symposium {(VTS} 2006), 30 April - 4 May 2006,
Berkeley, California, {USA}},
pages = {186--191},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/VTS.2006.32},
doi = {10.1109/VTS.2006.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/ZhangZR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/RadeckaZ04,
author = {Katarzyna Radecka and
Zeljko Zilic},
title = {Design Verification by Test Vectors and Arithmetic Transform Universal
Test Set},
journal = {{IEEE} Trans. Computers},
volume = {53},
number = {5},
pages = {628--640},
year = {2004},
url = {https://doi.org/10.1109/TC.2004.1275301},
doi = {10.1109/TC.2004.1275301},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/RadeckaZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/KhalidZR04,
author = {Ahmed Usman Khalid and
Zeljko Zilic and
Katarzyna Radecka},
title = {{FPGA} Emulation of Quantum Circuits},
booktitle = {22nd {IEEE} International Conference on Computer Design: {VLSI} in
Computers {\&} Processors {(ICCD} 2004), 11-13 October 2004, San
Jose, CA, USA, Proceedings},
pages = {310--315},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICCD.2004.1347938},
doi = {10.1109/ICCD.2004.1347938},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/KhalidZR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/ChiangZCR04,
author = {Man Wah Chiang and
Zeljko Zilic and
Jean{-}Samuel Chenard and
Katarzyna Radecka},
title = {Architectures of Increased Availability Wireless Sensor Network Nodes},
booktitle = {Proceedings 2004 International Test Conference {(ITC} 2004), October
26-28, 2004, Charlotte, NC, {USA}},
pages = {1232--1241},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/TEST.2004.1387396},
doi = {10.1109/TEST.2004.1387396},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/ChiangZCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RadeckaZ02,
author = {Katarzyna Radecka and
Zeljko Zilic},
editor = {Lawrence T. Pileggi and
Andreas Kuehlmann},
title = {Specifying and verifying imprecise sequential datapaths by Arithmetic
Transforms},
booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided
Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002},
pages = {128--131},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1145/774572.774591},
doi = {10.1145/774572.774591},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/RadeckaZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ZilicR02,
author = {Zeljko Zilic and
Katarzyna Radecka},
title = {The Role of Super-Fast Transforms in Speeding Up Quantum Computations},
booktitle = {32nd {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2002), May 15-18, 2002, Boston, Massachusetts, {USA}},
pages = {129--135},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISMVL.2002.1011080},
doi = {10.1109/ISMVL.2002.1011080},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/ZilicR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/RadeckaZ02,
author = {Katarzyna Radecka and
Zeljko Zilic},
title = {Identifying Redundant Wire Replacements for Synthesis and Verification},
booktitle = {Proceedings of the 7th Asia and South Pacific Design Automation Conference
{(ASP-DAC} 2002), and the 15th International Conference on {VLSI}
Design {(VLSI} Design 2002), Bangalore, India, January 7-11, 2002},
pages = {517--523},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASPDAC.2002.994972},
doi = {10.1109/ASPDAC.2002.994972},
timestamp = {Mon, 14 Nov 2022 15:28:09 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/RadeckaZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/RadeckaZ01,
author = {Katarzyna Radecka and
Zeljko Zilic},
title = {Arithmetic Transforms for Verifying Compositions of Sequential Datapaths},
booktitle = {19th International Conference on Computer Design {(ICCD} 2001), {VLSI}
in Computers and Processors, 23-26 September 2001, Austin, TX, USA,
Proceedings},
pages = {348--353},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICCD.2001.955050},
doi = {10.1109/ICCD.2001.955050},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/RadeckaZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/RadeckaZK01,
author = {Katarzyna Radecka and
Zeljko Zilic and
Karim Khordoc},
title = {Combinational verification by simulations, {SAT} and BDDs},
booktitle = {Proceedings of the 2001 8th {IEEE} International Conference on Electronics,
Circuits and Systems, {ICECS} 2001, Malta, September 2-5, 2001},
pages = {1627--1630},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICECS.2001.957530},
doi = {10.1109/ICECS.2001.957530},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/RadeckaZK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/ZilicR01,
author = {Zeljko Zilic and
Katarzyna Radecka},
title = {: Identifying redundant gate replacements in verification by error
modeling},
booktitle = {Proceedings {IEEE} International Test Conference 2001, Baltimore,
MD, USA, 30 October - 1 November 2001},
pages = {803--812},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TEST.2001.966702},
doi = {10.1109/TEST.2001.966702},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/ZilicR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/RadeckaZ00,
author = {Katarzyna Radecka and
Zeljko Zilic},
title = {Using Arithmetic Transform for Verification of Datapath Circuits via
Error Modeling},
booktitle = {18th {IEEE} {VLSI} Test Symposium {(VTS} 2000), 30 April - 4 May 2000,
Montreal, Canada},
pages = {271--280},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VTEST.2000.843855},
doi = {10.1109/VTEST.2000.843855},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/RadeckaZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ZilicR99,
author = {Zeljko Zilic and
Katarzyna Radecka},
editor = {Keith O. Geddes and
Bruno Salvy and
Samuel S. Dooley},
title = {On Feasible Multivariate Polynomial Interpolations over Arbitrary
Fields},
booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
pages = {67--74},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/309831.309863},
doi = {10.1145/309831.309863},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ZilicR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/RadeckaRT97,
author = {Katarzyna Radecka and
Janusz Rajski and
Jerzy Tyszer},
title = {Arithmetic built-in self-test for {DSP} cores},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {16},
number = {11},
pages = {1358--1369},
year = {1997},
url = {https://doi.org/10.1109/43.663825},
doi = {10.1109/43.663825},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/RadeckaRT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
