default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Andrei
@inproceedings{DBLP:conf/emsoft/RadulescuCA23,
author = {Vlad Radulescu and
Albert M. K. Cheng and
Stefan Andrei},
title = {Work-in-Progress: Flexible bus arbitration in mixed criticality systems},
booktitle = {International Conference on Embedded Software, {EMSOFT} 2023, Hamburg,
Germany, September 17-22, 2023},
pages = {11--12},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://doi.org/10.1145/3607890.3608457},
doi = {10.1145/3607890.3608457},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/RadulescuCA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/AndreiW23,
author = {Stefan Andrei and
Sujing Wang},
title = {An Innovative Way to Teach Computer Programming for Middle and High
Schools Students in Summer Camps},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2023, College Station,
TX, USA, October 18-21, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FIE58773.2023.10342945},
doi = {10.1109/FIE58773.2023.10342945},
timestamp = {Tue, 23 Jan 2024 20:30:54 +0100},
biburl = {https://dblp.org/rec/conf/fie/AndreiW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/WangA23,
author = {Sujing Wang and
Stefan Andrei},
title = {Comparative Study of Several Educational Robotics to Introduce Engineering
and Computing Concepts for Middle School and High School Students},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2023, College Station,
TX, USA, October 18-21, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FIE58773.2023.10343071},
doi = {10.1109/FIE58773.2023.10343071},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/WangA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/NoakWAT22,
author = {Callan J. Noak and
Sujing Wang and
Stefan Andrei and
Jennifer L. Tsan},
title = {Introducing Engineering and Programming Concepts to Middle School
and High School Students using SparkFun Inventor's Kit, Scratch, and
Java},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2022, Uppsala, Sweden,
October 8-11, 2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FIE56618.2022.9962668},
doi = {10.1109/FIE56618.2022.9962668},
timestamp = {Sat, 03 Dec 2022 16:36:40 +0100},
biburl = {https://dblp.org/rec/conf/fie/NoakWAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/NoakTWA21,
author = {Callan J. Noak and
Jennifer L. Tsan and
Sujing Wang and
Stefan Andrei},
editor = {Larry Merkle and
Maureen Doyle and
Judithe Sheard and
Leen{-}Kiat Soh and
Brian Dorn},
title = {Introducing Programming to Middle School Students to Increase Knowledge
and Interest in Computer Science},
booktitle = {{SIGCSE} 2022: The 53rd {ACM} Technical Symposium on Computer Science
Education, Providence, RI, USA, March 3-5, 2022, Volume 2},
pages = {1098},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3478432.3499056},
doi = {10.1145/3478432.3499056},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/NoakTWA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/BoudreauxWAUS21,
author = {Madison Boudreaux and
Sujing Wang and
Stefan Andrei and
Otilia Urbina and
Dorothy A. Sisk},
title = {Integrating Programming and Engineering Concepts using Raspberry Pi
and Scratch},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2021, Lincoln, NE,
USA, October 13-16, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FIE49875.2021.9637135},
doi = {10.1109/FIE49875.2021.9637135},
timestamp = {Wed, 29 Dec 2021 09:45:46 +0100},
biburl = {https://dblp.org/rec/conf/fie/BoudreauxWAUS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AktarAC21,
author = {Sayeda Farzana Aktar and
Stefan Andrei and
Albert M. K. Cheng},
title = {Work in Progress: Heart Disease Detection Methodology using E-Stethoscope},
booktitle = {27th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2021, Nashville, TN, USA, May 18-21, 2021},
pages = {513--516},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTAS52030.2021.00065},
doi = {10.1109/RTAS52030.2021.00065},
timestamp = {Fri, 09 Jul 2021 14:38:02 +0200},
biburl = {https://dblp.org/rec/conf/rtas/AktarAC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/RadulescuAC21,
author = {Vlad Radulescu and
Stefan Andrei and
Albert M. K. Cheng},
title = {Work-in-Progress Abstract: {A} New Criterion for Job Switching in
Semi-Clairvoyant Systems},
booktitle = {27th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2021, Houston, TX, USA, August 18-20,
2021},
pages = {198--200},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTCSA52859.2021.00031},
doi = {10.1109/RTCSA52859.2021.00031},
timestamp = {Tue, 05 Oct 2021 08:44:45 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/RadulescuAC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiCR21,
author = {Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu},
editor = {Carsten Schneider and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
title = {Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems
on a Multiprocessor Platform},
booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2021, Timisoara, Romania, December
7-10, 2021},
pages = {83--90},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SYNASC54541.2021.00025},
doi = {10.1109/SYNASC54541.2021.00025},
timestamp = {Wed, 23 Feb 2022 18:55:50 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiCR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/WangAUS20,
author = {Sujing Wang and
Stefan Andrei and
Otilia Urbina and
Dorothy A. Sisk},
title = {Introducing {STEM} to 7\({}^{\mbox{th}}\) Grade Girls using SeaPerch
and Scratch},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2020, Uppsala, Sweden,
October 21-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FIE44824.2020.9273984},
doi = {10.1109/FIE44824.2020.9273984},
timestamp = {Mon, 14 Dec 2020 09:13:16 +0100},
biburl = {https://dblp.org/rec/conf/fie/WangAUS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AndreiCR19,
author = {Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu},
title = {Processor Bounding for an Efficient Non-preemptive Task Scheduling
Algorithm},
journal = {Math. Comput. Sci.},
volume = {13},
number = {4},
pages = {489--515},
year = {2019},
url = {https://doi.org/10.1007/s11786-019-00395-7},
doi = {10.1007/S11786-019-00395-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AndreiCR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/WangAUS19,
author = {Sujing Wang and
Stefan Andrei and
Otilia Urbina and
Dorothy A. Sisk},
title = {A Coding/Programming Academy for 6th-Grade Females to Increase Knowledge
and Interest in Computer Science},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2019, Cincinnati,
OH, USA, October 16-19, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FIE43999.2019.9028578},
doi = {10.1109/FIE43999.2019.9028578},
timestamp = {Thu, 25 Feb 2021 10:40:41 +0100},
biburl = {https://dblp.org/rec/conf/fie/WangAUS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/RadulescuAC18,
author = {Vlad Radulescu and
Stefan Andrei and
Albert M. K. Cheng},
title = {Bounding execution resources for the task scheduling problem in cyber-physical
systems},
journal = {{SIGBED} Rev.},
volume = {15},
number = {4},
pages = {20--28},
year = {2018},
url = {https://doi.org/10.1145/3269482.3269486},
doi = {10.1145/3269482.3269486},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/RadulescuAC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/AndreiCRAV16,
author = {Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu and
Sharfuddin Alam and
Suresh Vadlakonda},
title = {A new scheduling algorithm for non-preemptive independent tasks on
a multi-processor platform},
journal = {{SIGBED} Rev.},
volume = {13},
number = {2},
pages = {24--29},
year = {2016},
url = {https://doi.org/10.1145/2930957.2930961},
doi = {10.1145/2930957.2930961},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/AndreiCRAV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/RadulescuAC16,
author = {Vlad Radulescu and
Stefan Andrei and
Albert M. K. Cheng},
editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor
Platform},
booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
pages = {157--164},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SYNASC.2016.035},
doi = {10.1109/SYNASC.2016.035},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/synasc/RadulescuAC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiCR15,
author = {Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {153--159},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.32},
doi = {10.1109/SYNASC.2015.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/AndreiCR14,
author = {Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu},
title = {An efficient scheduling algorithm of non-preemptive independent tasks
for biomedical systems},
booktitle = {{IEEE} 12th International New Circuits and Systems Conference, {NEWCAS}
2014, Trois-Rivieres, QC, Canada, June 22-25, 2014},
pages = {424--427},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/NEWCAS.2014.6934073},
doi = {10.1109/NEWCAS.2014.6934073},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/newcas/AndreiCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/RadulescuAC14,
author = {Vlad Radulescu and
Stefan Andrei and
Albert M. K. Cheng},
editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time
Embedded Systems},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
pages = {172--179},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SYNASC.2014.31},
doi = {10.1109/SYNASC.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/RadulescuAC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/AndreiCGR12,
author = {Stefan Andrei and
Albert M. K. Cheng and
Gheorghe Grigoras and
Vlad Radulescu},
title = {An efficient scheduling algorithm for the non-preemptive independent
multiprocessor platform},
journal = {Int. J. Grid Util. Comput.},
volume = {3},
number = {4},
pages = {215--223},
year = {2012},
url = {https://doi.org/10.1504/IJGUC.2012.051422},
doi = {10.1504/IJGUC.2012.051422},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/AndreiCGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiCRM12,
author = {Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu and
Timothy H. McNicholl},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Toward an Optimal Power-Aware Scheduling Technique},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {135--142},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.26},
doi = {10.1109/SYNASC.2012.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiCRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/MakkiAGJ11,
author = {S. Kami Makki and
Stefan Andrei and
Yanwen Guan and
Mattie Sue Judd},
editor = {Runtong Zhang and
Jos{\'{e}} Cordeiro and
Xuewei Li and
Zhenji Zhang and
Juliang Zhang},
title = {Performance Evaluation of Query Trimming Strategies in Semantic Caching
Environment},
booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on
Enterprise Information Systems, Volume 1, Beijing, China, 8-11 June,
2011},
pages = {169--176},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 14:19:01 +0200},
biburl = {https://dblp.org/rec/conf/iceis/MakkiAGJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiCR11,
author = {Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu},
editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Estimating the Number of Processors towards an Efficient Non-preemptive
Scheduling Algorithm},
booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SYNASC.2011.21},
doi = {10.1109/SYNASC.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AndreiCRO10,
author = {Stefan Andrei and
Albert Mo Kim Cheng and
Martin C. Rinard and
Lawrence Osborne},
title = {Optimal Scheduling of Urgent Preemptive Tasks},
booktitle = {16th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2010, Macau, SAR, China, 23-25 August
2010},
pages = {377--386},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RTCSA.2010.20},
doi = {10.1109/RTCSA.2010.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AndreiCRO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiCGR10,
author = {Stefan Andrei and
Albert M. K. Cheng and
Gheorghe Grigoras and
Vlad Radulescu},
editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {An Efficient Scheduling Algorithm for the Multiprocessor Platform},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
pages = {245--252},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SYNASC.2010.81},
doi = {10.1109/SYNASC.2010.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiCGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MasalagiuCAA09,
author = {Cristian Masalagiu and
Wei{-}Ngan Chin and
Stefan Andrei and
Vasile Alaiba},
title = {A rigorous methodology for specification and verification of business
processes},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {495--510},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0106-y},
doi = {10.1007/S00165-009-0106-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MasalagiuCAA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/AndreiC09,
author = {Stefan Andrei and
Albert Mo Kim Cheng},
title = {Efficient Verification and Optimization of Real-Time Logic-Specified
Systems},
journal = {{IEEE} Trans. Computers},
volume = {58},
number = {12},
pages = {1640--1653},
year = {2009},
url = {https://doi.org/10.1109/TC.2009.79},
doi = {10.1109/TC.2009.79},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/AndreiC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csie/Andrei09,
author = {Stefan Andrei},
editor = {Mark Burgin and
Masud H. Chowdhury and
Chan H. Ham and
Simone A. Ludwig and
Weilian Su and
Sumanth Yenduri},
title = {Parallel Parsing-Based Reverse Engineering},
booktitle = {{CSIE} 2009, 2009 {WRI} World Congress on Computer Science and Information
Engineering, March 31 - April 2, 2009, Los Angeles, California, USA,
7 Volumes},
pages = {503--507},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSIE.2009.993},
doi = {10.1109/CSIE.2009.993},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csie/Andrei09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/MakkiA09,
author = {S. Kami Makki and
Stefan Andrei},
editor = {Mohsen Guizani and
Peter M{\"{u}}ller and
Klaus{-}Peter F{\"{a}}hnrich and
Athanasios V. Vasilakos and
Yan Zhang and
Jun Zhang},
title = {Utilizing semantic caching in ubiquitous environment},
booktitle = {Proceedings of the International Conference on Wireless Communications
and Mobile Computing: Connecting the World Wirelessly, {IWCMC} 2009,
Leipzig, Germany, June 21-24, 2009},
pages = {1213--1217},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1582379.1582644},
doi = {10.1145/1582379.1582644},
timestamp = {Tue, 20 Aug 2024 07:54:44 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/MakkiA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiGRY09,
author = {Stefan Andrei and
Gheorghe Grigoras and
Martin C. Rinard and
Roland H. C. Yap},
editor = {Stephen M. Watt and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {A Hierarchy of Tractable Subclasses for {SAT} and Counting {SAT} Problems},
booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
26-29, 2009},
pages = {61--68},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SYNASC.2009.12},
doi = {10.1109/SYNASC.2009.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiGRY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcsf/AndreiD08,
author = {Stefan Andrei and
Peggy Doerschuk},
editor = {Dimitrios A. Karras and
Meng Joo Er and
Kamal A. F. Moustafa},
title = {SAT-based Weighted Planning},
booktitle = {International Conference on Automation, Robotics and Control Systems,
ARCS-08, Orlando, Florida, USA, July 7-10, 2008},
pages = {70--75},
publisher = {{ISRST}},
year = {2008},
timestamp = {Mon, 10 Feb 2020 16:46:14 +0100},
biburl = {https://dblp.org/rec/conf/arcsf/AndreiD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Andrei08,
author = {Stefan Andrei},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Termination Analysis by Program Inversion},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {277--280},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.22},
doi = {10.1109/SYNASC.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Andrei08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiC08,
author = {Stefan Andrei and
Albert Mo Kim Cheng},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Optimizing Automotive Cyber-Physical System Specifications with Multi-Event
Dependencies},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {475--479},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.16},
doi = {10.1109/SYNASC.2008.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AndreiC07,
author = {Stefan Andrei and
Albert M. K. Cheng},
title = {Verifying Linear Real-Time Logic Specifications},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {333--342},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.14},
doi = {10.1109/RTSS.2007.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AndreiC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiMYF07,
author = {Stefan Andrei and
Gabriel Manolache and
Roland H. C. Yap and
Victor Felea},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Approximate Satisfiability Counting},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {196--202},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.16},
doi = {10.1109/SYNASC.2007.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiMYF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/ChandMRBA07,
author = {Nilam Chand and
Bindiya Mansharamani and
Rafael Romero and
Will Beazley and
Stefan Andrei},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {{PEARLS:} An Integrated Environment for Task Scheduling},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {467--473},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.59},
doi = {10.1109/SYNASC.2007.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/ChandMRBA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiC07,
author = {Stefan Andrei and
Samarjit Chakraborty},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Path-Constrained Relaxed Schedulability Analysis},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {474--482},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.53},
doi = {10.1109/SYNASC.2007.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/AndreiCCL06,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Albert Mo Kim Cheng and
Mihai Lupu},
title = {Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability
Counting},
journal = {{IEEE} Trans. Computers},
volume = {55},
number = {7},
pages = {830--842},
year = {2006},
url = {https://doi.org/10.1109/TC.2006.97},
doi = {10.1109/TC.2006.97},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/AndreiCCL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/ZhuWA06,
author = {Yongxin Zhu and
Weng{-}Fai Wong and
Stefan Andrei},
editor = {Xiaobo Zhou and
Oleg Sokolsky and
Lu Yan and
Eun{-}Sun Jung and
Zili Shao and
Yi Mu and
Dong Chun Lee and
Daeyoung Kim and
Young{-}Sik Jeong and
Cheng{-}Zhong Xu},
title = {Co-optimization of Performance and Power in a Superscalar Processor
Design},
booktitle = {Emerging Directions in Embedded and Ubiquitous Computing, {EUC} 2006
Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea,
August 1-4, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4097},
pages = {868--878},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11807964\_87},
doi = {10.1007/11807964\_87},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/euc/ZhuWA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LucaAAK06,
author = {Beatrice Luca and
Stefan Andrei and
Hugh Anderson and
Siau{-}Cheng Khoo},
editor = {John Hatcliff and
Frank Tip},
title = {Program transformation by solving recurrences},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {121--129},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111563},
doi = {10.1145/1111542.1111563},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LucaAAK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AndreiC06,
author = {Stefan Andrei and
Albert Mo Kim Cheng},
title = {Optimization of Real-Time Systems Timing Specifications},
booktitle = {12th {IEEE} Conference on Embedded and Real-Time Computing Systems
and Applications {(RTCSA} 2006), 16-18 August 2006, Sydney, Australia},
pages = {68--76},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTCSA.2006.48},
doi = {10.1109/RTCSA.2006.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AndreiC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AndreiC06,
author = {Stefan Andrei and
Albert Mo Kim Cheng},
title = {Faster Verification of RTL-Specified Systems via Decomposition and
Constraint Extension},
booktitle = {Proceedings of the 27th {IEEE} Real-Time Systems Symposium {(RTSS}
2006), 5-8 December 2006, Rio de Janeiro, Brazil},
pages = {67--76},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTSS.2006.23},
doi = {10.1109/RTSS.2006.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AndreiC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/AndreiCR06,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Martin C. Rinard},
editor = {Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Ajith Abraham and
Bruno Buchberger and
Alexandru Cicortas and
Dorian Gorgan and
Jo{\"{e}}l Quinqueton},
title = {Incremental Deterministic Planning},
booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
Romania},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SYNASC.2006.47},
doi = {10.1109/SYNASC.2006.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/AndreiCR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BrutA05,
author = {Mihaela Brut and
Stefan Andrei},
title = {Authoring and Retrieving Tool for Multimedia E-Learning Tutorials
using {XML} Techniques},
journal = {Sci. Ann. Cuza Univ.},
volume = {15},
pages = {153--160},
year = {2005},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XV\&\#38;a=11},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/BrutA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AndersonKAL05,
author = {Hugh Anderson and
Siau{-}Cheng Khoo and
Stefan Andrei and
Beatrice Luca},
editor = {Kwangkeun Yi},
title = {Calculating Polynomial Runtime Properties},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {230--246},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_16},
doi = {10.1007/11575467\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AndersonKAL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/ZhuWA05,
author = {Yongxin Zhu and
Weng{-}Fai Wong and
Stefan Andrei},
editor = {Tingao Tang},
title = {An integrated performance and power model for superscalar processor
designs},
booktitle = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
pages = {948--951},
publisher = {{ACM} Press},
year = {2005},
url = {https://doi.org/10.1145/1120725.1120764},
doi = {10.1145/1120725.1120764},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/ZhuWA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AndreiCCL05,
author = {Stefan Andrei and
Albert Mo Kim Cheng and
Wei{-}Ngan Chin and
Mihai Lupu},
title = {Systematic Debugging of Real-Time Systems based on Incremental Satisfiability
Counting},
booktitle = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
pages = {519--528},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTAS.2005.50},
doi = {10.1109/RTAS.2005.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/AndreiCCL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/AndreiCCZ05,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Albert Mo Kim Cheng and
Yongxin Zhu},
title = {Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational
Circuits},
booktitle = {11th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications {(RTCSA} 2005), 17-19 August 2005, Hong Kong,
China},
pages = {357--360},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTCSA.2005.87},
doi = {10.1109/RTCSA.2005.87},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/AndreiCCZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AndreiCC04,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Salvador Valerio Cavadini},
title = {Self-embedded context-free grammars with regular counterparts},
journal = {Acta Informatica},
volume = {40},
number = {5},
pages = {349--365},
year = {2004},
url = {https://doi.org/10.1007/s00236-003-0133-8},
doi = {10.1007/S00236-003-0133-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AndreiCC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/Andrei04,
author = {Stefan Andrei},
title = {Counting for Satisfiability by Inverting Resolution},
journal = {Artif. Intell. Rev.},
volume = {22},
number = {4},
pages = {339--366},
year = {2004},
url = {https://doi.org/10.1007/s10462-004-4329-2},
doi = {10.1007/S10462-004-4329-2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/Andrei04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiCG04,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Gheorghe Grigoras},
title = {Co-determinism and unambiguity of automata accepting finite or infinite
words},
journal = {Sci. Ann. Cuza Univ.},
volume = {14},
pages = {1--11},
year = {2004},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIV\&\#38;a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiCG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AndreiC04,
author = {Stefan Andrei and
Wei{-}Ngan Chin},
title = {Solving a class of higher-order equations over a group structure},
journal = {J. Symb. Comput.},
volume = {37},
number = {3},
pages = {329--341},
year = {2004},
url = {https://doi.org/10.1016/j.jsc.2003.05.002},
doi = {10.1016/J.JSC.2003.05.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AndreiC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/AndreiC04,
author = {Stefan Andrei and
Wei{-}Ngan Chin},
title = {Incremental Satisfiability Counting for Real-Time Systems},
booktitle = {10th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2004), 25-28 May 2004, Toronto, Canada},
pages = {482--489},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/RTTAS.2004.1317295},
doi = {10.1109/RTTAS.2004.1317295},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/AndreiC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndreiCC03,
author = {Stefan Andrei and
Salvador Valerio Cavadini and
Wei{-}Ngan Chin},
title = {A new algorithm for regularizing one-letter context-free grammars},
journal = {Theor. Comput. Sci.},
volume = {306},
number = {1-3},
pages = {113--122},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00215-9},
doi = {10.1016/S0304-3975(03)00215-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AndreiCC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiCG02,
author = {Stefan Andrei and
Wei{-}Ngan Chin and
Gheorghe Grigoras},
title = {A Tutorial on a Monadic Approach for Expressions Evaluation},
journal = {Sci. Ann. Cuza Univ.},
volume = {12},
pages = {1--27},
year = {2002},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XII\&\#38;a=0},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiCG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiGKM01,
author = {Stefan Andrei and
Gheorghe Grigoras and
Manfred Kudlek and
Cristian Masalagiu},
title = {On the Complexity of Propositional Calculus Formulae},
journal = {Sci. Ann. Cuza Univ.},
volume = {10},
pages = {27--44},
year = {2001},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=X\&\#38;a=3},
timestamp = {Fri, 09 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiGKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpt/Andrei01,
author = {Stefan Andrei},
title = {Bidirectional Ascendant Parsing for Natural Language Processing},
booktitle = {Proceedings of the Seventh International Workshop on Parsing Technologies
(IWPT-2001), 17-19 October 2001, Beijing, China},
publisher = {Tsinghua University Press},
year = {2001},
timestamp = {Thu, 15 Jan 2004 13:16:48 +0100},
biburl = {https://dblp.org/rec/conf/iwpt/Andrei01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Andrei00,
author = {Stefan Andrei},
title = {Bidirectional parsing},
school = {University of Hamburg, Germany},
year = {2000},
url = {http://www.sub.uni-hamburg.de/disse/134/Disse.pdf},
urn = {urn:nbn:de:gbv:18-1342},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Andrei00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AndreiKN00,
author = {Stefan Andrei and
Manfred Kudlek and
Radu Stefan Niculescu},
title = {Some results on the Collatz problem},
journal = {Acta Informatica},
volume = {37},
number = {2},
pages = {145--160},
year = {2000},
url = {https://doi.org/10.1007/s002360000039},
doi = {10.1007/S002360000039},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AndreiKN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AndreiK99,
author = {Stefan Andrei and
Manfred Kudlek},
editor = {Grzegorz Rozenberg and
Wolfgang Thomas},
title = {Bidirectional parsing for linear languages},
booktitle = {Developments in Language Theory, Foundations, Applications, and Perspectives,
Aachen, Germany, 6-9 July 1999},
pages = {257--269},
publisher = {World Scientific},
year = {1999},
url = {https://doi.org/10.1142/9789812792464\_0022},
doi = {10.1142/9789812792464\_0022},
timestamp = {Thu, 27 Jun 2019 11:28:34 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AndreiK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/Andrei99,
author = {Stefan Andrei},
editor = {Amalia Todirascu},
title = {Weak Equivalence in Propositional Calculus},
booktitle = {Proceedings of the 4th Student Session of ESSLLI'99 (European Summer
School on Logic, Language and Information 1999), Utrecht, The Netherlands,
August 9-20, 1999},
pages = {79--90},
publisher = {Universiteit Utrecht Press},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/esslli/Andrei99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AndreiM98,
author = {Stefan Andrei and
Cristian Masalagiu},
title = {About the Collatz Conjecture},
journal = {Acta Informatica},
volume = {35},
number = {2},
pages = {167--179},
year = {1998},
url = {https://doi.org/10.1007/s002360050117},
doi = {10.1007/S002360050117},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AndreiM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/AndreiK96,
author = {Stefan Andrei and
Manfred Kudlek},
title = {Morphological Grammars},
journal = {Sci. Ann. Cuza Univ.},
volume = {5},
pages = {85--114},
year = {1996},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/AndreiK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Andrei95,
author = {Stefan Andrei},
title = {Finding keys in particular classes of functional dependencies},
journal = {Sci. Ann. Cuza Univ.},
volume = {4},
pages = {5--12},
year = {1995},
timestamp = {Tue, 08 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cuza/Andrei95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-24 22:51 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:
