Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alan Hartman
@article{DBLP:journals/is/ReinhartzBergerHK24,
author = {Iris Reinhartz{-}Berger and
Alan Hartman and
Doron Kliger},
title = {Adoption of {IT} solutions: {A} data-driven analysis approach},
journal = {Inf. Syst.},
volume = {120},
pages = {102313},
year = {2024},
url = {https://doi.org/10.1016/j.is.2023.102313},
doi = {10.1016/J.IS.2023.102313},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/ReinhartzBergerHK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/OrphanouOKBGBTH23,
author = {Kalia Orphanou and
Jahna Otterbacher and
Styliani Kleanthous and
Khuyagbaatar Batsuren and
Fausto Giunchiglia and
Veronika Bogina and
Avital Shulner{-}Tal and
Alan Hartman and
Tsvi Kuflik},
title = {Mitigating Bias in Algorithmic Systems - {A} Fish-eye View},
journal = {{ACM} Comput. Surv.},
volume = {55},
number = {5},
pages = {87:1--87:37},
year = {2023},
url = {https://doi.org/10.1145/3527152},
doi = {10.1145/3527152},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/OrphanouOKBGBTH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/BoginaHKT22,
author = {Veronika Bogina and
Alan Hartman and
Tsvi Kuflik and
Avital Shulner{-}Tal},
title = {Educating Software and {AI} Stakeholders About Algorithmic Fairness,
Accountability, Transparency and Ethics},
journal = {Int. J. Artif. Intell. Educ.},
volume = {32},
number = {3},
pages = {808--833},
year = {2022},
url = {https://doi.org/10.1007/s40593-021-00248-0},
doi = {10.1007/S40593-021-00248-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/BoginaHKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Reinhartz-Berger22,
author = {Iris Reinhartz{-}Berger and
Doron Kliger and
Eliad Amsalem and
Alan Hartman},
editor = {Jolita Ralyt{\'{e}} and
Sharma Chakravarthy and
Mukesh K. Mohania and
Manfred A. Jeusfeld and
Kamalakar Karlapalem},
title = {When {IT} Service Adoption Meets Behavioral Economics: Addressing
Present Bias Challenges},
booktitle = {Conceptual Modeling - 41st International Conference, {ER} 2022, Hyderabad,
India, October 17-20, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13607},
pages = {161--175},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17995-2\_12},
doi = {10.1007/978-3-031-17995-2\_12},
timestamp = {Wed, 22 Mar 2023 17:54:58 +0100},
biburl = {https://dblp.org/rec/conf/er/Reinhartz-Berger22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/JabarinHRK21,
author = {Fathi Jabarin and
Alan Hartman and
Iris Reinhartz{-}Berger and
Doron Kliger},
editor = {Aditya K. Ghose and
Jennifer Horkoff and
V{\'{\i}}tor E. Silva Souza and
Jeffrey Parsons and
Joerg Evermann},
title = {Towards Improvement of {IT} Service Adoption in Multi-Business Organizations},
booktitle = {Conceptual Modeling - 40th International Conference, {ER} 2021, Virtual
Event, October 18-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13011},
pages = {210--223},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89022-3\_18},
doi = {10.1007/978-3-030-89022-3\_18},
timestamp = {Mon, 28 Aug 2023 21:17:26 +0200},
biburl = {https://dblp.org/rec/conf/er/JabarinHRK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-16953,
author = {Kalia Orphanou and
Jahna Otterbacher and
Styliani Kleanthous and
Khuyagbaatar Batsuren and
Fausto Giunchiglia and
Veronika Bogina and
Avital Shulner{-}Tal and
Alan Hartman and
Tsvi Kuflik},
title = {Mitigating Bias in Algorithmic Systems: {A} Fish-Eye View of Problems
and Solutions Across Domains},
journal = {CoRR},
volume = {abs/2103.16953},
year = {2021},
url = {https://arxiv.org/abs/2103.16953},
eprinttype = {arXiv},
eprint = {2103.16953},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-16953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/KleanthousKOHDB19,
author = {Styliani Kleanthous and
Tsvi Kuflik and
Jahna Otterbacher and
Alan Hartman and
Casey Dugan and
Veronika Bogina},
title = {Intelligent user interfaces for algorithmic transparency in emerging
technologies},
booktitle = {Proceedings of the 24th International Conference on Intelligent User
Interfaces: Companion, Marina del Ray, CA, USA, March 16-20, 2019},
pages = {129--130},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3308557.3313125},
doi = {10.1145/3308557.3313125},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iui/KleanthousKOHDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smap/TalBBGHLKO19,
author = {Avital Shulner{-}Tal and
Khuyagbaatar Batsuren and
Veronika Bogina and
Fausto Giunchiglia and
Alan Hartman and
Styliani Kleanthous Loizou and
Tsvi Kuflik and
Jahna Otterbacher},
title = {"End to End" Towards a Framework for Reducing Biases and
Promoting Transparency of Algorithmic Systems},
booktitle = {14th International Workshop on Semantic and Social Media Adaptation
and Personalization, {SMAP} 2019, Larnaca, Cyprus, June 9-10, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SMAP.2019.8864914},
doi = {10.1109/SMAP.2019.8864914},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smap/TalBBGHLKO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/BerendtBBEHKKMO19,
author = {Bettina Berendt and
Veronika Bogina and
Robin Burke and
Michael D. Ekstrand and
Alan Hartman and
Styliani Kleanthous and
Tsvi Kuflik and
Bamshad Mobasher and
Jahna Otterbacher},
editor = {George Angelos Papadopoulos and
George Samaras and
Stephan Weibelzahl and
Dietmar Jannach and
Olga C. Santos},
title = {FairUMAP 2019 Chairs' Welcome Overview},
booktitle = {Adjunct Publication of the 27th Conference on User Modeling, Adaptation
and Personalization, {UMAP} 2019, Larnaca, Cyprus, June 09-12, 2019},
pages = {279--281},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314183.3323842},
doi = {10.1145/3314183.3323842},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/um/BerendtBBEHKKMO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroyCDHRS14,
author = {Manfred Broy and
Michelle L. Crane and
J{\"{u}}rgen Dingel and
Alan Hartman and
Bernhard Rumpe and
Bran Selic},
title = {{UML} 2 Semantics Symposium: Formal Semantics for {UML}},
journal = {CoRR},
volume = {abs/1409.6619},
year = {2014},
url = {http://arxiv.org/abs/1409.6619},
eprinttype = {arXiv},
eprint = {1409.6619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroyCDHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apf/KvelerBCDFH12,
author = {Ksenya Kveler and
Kirsten Bock and
Pietro Colombo and
Tamar Domany and
Elena Ferrari and
Alan Hartman},
editor = {Bart Preneel and
Demosthenes Ikonomou},
title = {Conceptual Framework and Architecture for Privacy Audit},
booktitle = {Privacy Technologies and Policy - First Annual Privacy Forum, {APF}
2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8319},
pages = {17--40},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-54069-1\_2},
doi = {10.1007/978-3-642-54069-1\_2},
timestamp = {Sat, 19 Oct 2019 20:10:28 +0200},
biburl = {https://dblp.org/rec/conf/apf/KvelerBCDFH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/12/FerrarioGTLHG12,
author = {Roberta Ferrario and
Nicola Guarino and
Romano Trampus and
Ken Laskey and
Alan Hartman and
G. R. Gangadharan},
editor = {Alistair Barros and
Daniel Oberle},
title = {Service System Approaches - Conceptual Modeling Approaches for Services
Science},
booktitle = {Handbook of Service Description - {USDL} and Its Methods},
pages = {75--109},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4614-1864-1\_4},
doi = {10.1007/978-1-4614-1864-1\_4},
timestamp = {Mon, 16 Aug 2021 11:09:48 +0200},
biburl = {https://dblp.org/rec/books/sp/12/FerrarioGTLHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/HartmanJRRHZTCPJa10,
author = {Alan Hartman and
Anshu N. Jain and
Jay Ramanathan and
Antonis Ramfos and
Willem{-}Jan van den Heuvel and
Christian Zirpins and
Stefan Tai and
Yannis Charalabidis and
Aljosa Pasic and
T. Johannessen},
editor = {Kim Normann Andersen and
Enrico Francesconi and
{\AA}ke Gr{\"{o}}nlund and
Tom M. van Engers},
title = {Participatory Design of Public Sector Services},
booktitle = {Electronic Government and the Information Systems Perspective, First
International Conference, {EGOVIS} 2010, Bilbao, Spain, August 31
- September 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6267},
pages = {219--233},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15172-9\_21},
doi = {10.1007/978-3-642-15172-9\_21},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/egov/HartmanJRRHZTCPJa10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/DhaneshaHJ09,
author = {Ketki A. Dhanesha and
Alan Hartman and
Anshu N. Jain},
title = {A Model for Designing Generic Services},
booktitle = {2009 {IEEE} International Conference on Services Computing {(SCC}
2009), 21-25 September 2009, Bangalore, India},
pages = {435--442},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SCC.2009.75},
doi = {10.1109/SCC.2009.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/DhaneshaHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2009,
editor = {Richard F. Paige and
Alan Hartman and
Arend Rensink},
title = {Model Driven Architecture - Foundations and Applications, 5th European
Conference, {ECMDA-FA} 2009, Enschede, The Netherlands, June 23-26,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5562},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02674-4},
doi = {10.1007/978-3-642-02674-4},
isbn = {978-3-642-02673-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2008,
editor = {Ina Schieferdecker and
Alan Hartman},
title = {Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6},
doi = {10.1007/978-3-540-69100-6},
isbn = {978-3-540-69095-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HartmanKP07,
author = {Alan Hartman and
Mika Katara and
Amit M. Paradkar},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Domain specific approaches to software test automation},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {621--622},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287730},
doi = {10.1145/1287624.1287730},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HartmanKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007dosta,
editor = {Alan Hartman and
Mika Katara and
Amit M. Paradkar},
title = {Proceedings of the 2007 Workshop on Domain Specific Approaches to
Software Test Automation, {DOSTA} 2007, Dubrovnik, Croatia, September
4, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294921},
doi = {10.1145/1294921},
isbn = {978-1-59593-726-1},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2007dosta.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/HartmanKO06,
author = {Alan Hartman and
Mika Katara and
Sergey Olvovsky},
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {Choosing a Test Modeling Language: {A} Survey},
booktitle = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
pages = {204--218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70889-6\_16},
doi = {10.1007/978-3-540-70889-6\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/HartmanKO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BroyCDHRS06,
author = {Manfred Broy and
Michelle L. Crane and
J{\"{u}}rgen Dingel and
Alan Hartman and
Bernhard Rumpe and
Bran Selic},
editor = {Thomas K{\"{u}}hne},
title = {2\({}^{\mbox{nd}}\) {UML} 2 Semantics Symposium: Formal Semantics
for {UML}},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {318--323},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_39},
doi = {10.1007/978-3-540-69489-2\_39},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/BroyCDHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KirshinDH06,
author = {Andrei Kirshin and
Dolev Dotan and
Alan Hartman},
editor = {Thomas K{\"{u}}hne},
title = {A {UML} Simulator Based on a Generic Model Execution Engine},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {324--326},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_40},
doi = {10.1007/978-3-540-69489-2\_40},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/KirshinDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2005,
editor = {Alan Hartman and
David Kreische},
title = {Model Driven Architecture - Foundations and Applications, 1st European
Conference, {ECMDA-FA} 2005, Nuremberg, Germany, November 7-10, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3748},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11581741},
doi = {10.1007/11581741},
isbn = {3-540-30026-0},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/HartmanR04,
author = {Alan Hartman and
Leonid Raskin},
title = {Problems and algorithms for covering arrays},
journal = {Discret. Math.},
volume = {284},
number = {1-3},
pages = {149--156},
year = {2004},
url = {https://doi.org/10.1016/j.disc.2003.11.029},
doi = {10.1016/J.DISC.2003.11.029},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/HartmanR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HartmanN04,
author = {Alan Hartman and
Kenneth Nagin},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {The {AGEDIS} tools for model based testing},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {129--132},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007529},
doi = {10.1145/1007512.1007529},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/HartmanN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/HartmanN04,
author = {Alan Hartman and
Kenneth Nagin},
editor = {Nuno Jardim Nunes and
Bran Selic and
Alberto Rodrigues da Silva and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
title = {The {AGEDIS} Tools for Model Based Testing},
booktitle = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright}
2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3297},
pages = {277--280},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31797-5\_33},
doi = {10.1007/978-3-540-31797-5\_33},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/uml/HartmanN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/FarchiHP02,
author = {Eitan Farchi and
Alan Hartman and
Shlomit S. Pinter},
title = {Using a model-based test generator to test for standard conformance},
journal = {{IBM} Syst. J.},
volume = {41},
number = {1},
pages = {89--110},
year = {2002},
url = {https://doi.org/10.1147/sj.411.0089},
doi = {10.1147/SJ.411.0089},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmsj/FarchiHP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FriedmanHNS02,
author = {G. Friedman and
Alan Hartman and
Kenneth Nagin and
T. Shiran},
editor = {Phyllis G. Frankl},
title = {Projected state machine coverage for software testing},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {134--143},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566192},
doi = {10.1145/566172.566192},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/FriedmanHNS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Hartman02,
author = {Alan Hartman},
editor = {Phyllis G. Frankl},
title = {Is {ISSTA} research relevant to industry?},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {205--206},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566207},
doi = {10.1145/566172.566207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Hartman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BenjaminGHMSW99,
author = {Mike Benjamin and
Daniel Geist and
Alan Hartman and
G{\'{e}}rard Mas and
Ralph Smeets and
Yaron Wolfsthal},
editor = {Mary Jane Irwin},
title = {A Study in Coverage-Driven Test Generation},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {970--975},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.310108},
doi = {10.1145/309847.310108},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BenjaminGHMSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajc/Hartman98,
author = {Alan Hartman},
title = {Algorithmic aspects of integral designs},
journal = {Australas. {J} Comb.},
volume = {18},
pages = {173--182},
year = {1998},
url = {http://ajc.maths.uq.edu.au/pdf/18/ocr-ajc-v18-p173.pdf},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajc/Hartman98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Hartman94,
author = {Alan Hartman},
title = {The fundamental construction for 3-designs},
journal = {Discret. Math.},
volume = {124},
number = {1-3},
pages = {107--132},
year = {1994},
url = {https://doi.org/10.1016/0012-365X(92)00055-V},
doi = {10.1016/0012-365X(92)00055-V},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Hartman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HartmanM93,
author = {Alan Hartman and
Yoav Medan},
title = {Covering the Complete Graph with Plane Cycles},
journal = {Discret. Appl. Math.},
volume = {44},
number = {1-3},
pages = {305--310},
year = {1993},
url = {https://doi.org/10.1016/0166-218X(93)90239-K},
doi = {10.1016/0166-218X(93)90239-K},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HartmanM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/AssafHS92,
author = {Ahmed M. Assaf and
Alan Hartman and
Nabil Shalaby},
title = {Packing designs with block size 6 and index 5},
journal = {Discret. Math.},
volume = {103},
number = {2},
pages = {121--128},
year = {1992},
url = {https://doi.org/10.1016/0012-365X(92)90262-E},
doi = {10.1016/0012-365X(92)90262-E},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/AssafHS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/HartmanY92,
author = {Alan Hartman and
Zvi Yehudai},
title = {Intersections of Steiner quadruple systems},
journal = {Discret. Math.},
volume = {104},
number = {3},
pages = {227--244},
year = {1992},
url = {https://doi.org/10.1016/0012-365X(92)90446-M},
doi = {10.1016/0012-365X(92)90446-M},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/HartmanY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/ColbournH91,
author = {Charles J. Colbourn and
Alan Hartman},
title = {Intersections and supports of quadruple systems},
journal = {Discret. Math.},
volume = {97},
number = {1-3},
pages = {119--137},
year = {1991},
url = {https://doi.org/10.1016/0012-365X(91)90427-4},
doi = {10.1016/0012-365X(91)90427-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/ColbournH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/GranvilleH91,
author = {Andrew Granville and
Alan Hartman},
title = {Subdesigns in Steiner quadruple systems},
journal = {J. Comb. Theory, Ser. {A}},
volume = {56},
number = {2},
pages = {239--270},
year = {1991},
url = {https://doi.org/10.1016/0097-3165(91)90035-F},
doi = {10.1016/0097-3165(91)90035-F},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/GranvilleH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/EtzionH91,
author = {Tuvi Etzion and
Alan Hartman},
title = {Towards a Large Set of Steiner Quadruple Systems},
journal = {{SIAM} J. Discret. Math.},
volume = {4},
number = {2},
pages = {182--195},
year = {1991},
url = {https://doi.org/10.1137/0404018},
doi = {10.1137/0404018},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/EtzionH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/AssafH90,
author = {Ahmed M. Assaf and
Alan Hartman},
title = {On packing designs with block size 5 and index 4},
journal = {Discret. Math.},
volume = {79},
number = {2},
pages = {111--121},
year = {1990},
url = {https://doi.org/10.1016/0012-365X(90)90027-F},
doi = {10.1016/0012-365X(90)90027-F},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/AssafH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Hartman89,
author = {Alan Hartman},
title = {Combinatorial designs - a tribute to Haim Hanani},
journal = {Discret. Math.},
volume = {77},
number = {1-3},
pages = {1--4},
year = {1989},
url = {https://doi.org/10.1016/0012-365X(89)90345-2},
doi = {10.1016/0012-365X(89)90345-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Hartman89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/AssafH89,
author = {Ahmed M. Assaf and
Alan Hartman},
title = {Resolvable group divisible designs with block size 3},
journal = {Discret. Math.},
volume = {77},
number = {1-3},
pages = {5--20},
year = {1989},
url = {https://doi.org/10.1016/0012-365X(89)90346-4},
doi = {10.1016/0012-365X(89)90346-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/AssafH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/HartmanH87,
author = {Alan Hartman and
Dean G. Hoffman},
title = {Steiner Triple Systems with an Involution},
journal = {Eur. J. Comb.},
volume = {8},
number = {4},
pages = {371--378},
year = {1987},
url = {https://doi.org/10.1016/S0195-6698(87)80045-8},
doi = {10.1016/S0195-6698(87)80045-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/HartmanH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Hartman87,
author = {Alan Hartman},
title = {The existence of resolvable Steiner quadruple systems},
journal = {J. Comb. Theory, Ser. {A}},
volume = {44},
number = {2},
pages = {182--206},
year = {1987},
url = {https://doi.org/10.1016/0097-3165(87)90028-8},
doi = {10.1016/0097-3165(87)90028-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/Hartman87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Hartman86,
author = {Alan Hartman},
title = {On small packing and covering designs with block size 4},
journal = {Discret. Math.},
volume = {59},
number = {3},
pages = {275--281},
year = {1986},
url = {https://doi.org/10.1016/0012-365X(86)90174-3},
doi = {10.1016/0012-365X(86)90174-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Hartman86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Hartman86a,
author = {Alan Hartman},
title = {Partial triple systems and edge colourings},
journal = {Discret. Math.},
volume = {62},
number = {2},
pages = {183--196},
year = {1986},
url = {https://doi.org/10.1016/0012-365X(86)90117-2},
doi = {10.1016/0012-365X(86)90117-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Hartman86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/HartmanMM86,
author = {Alan Hartman and
W. H. Mills and
Ronald C. Mullin},
title = {Covering triples by quadruples: An asymptotic solution},
journal = {J. Comb. Theory, Ser. {A}},
volume = {41},
number = {1},
pages = {117--138},
year = {1986},
url = {https://doi.org/10.1016/0097-3165(86)90119-6},
doi = {10.1016/0097-3165(86)90119-6},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/HartmanMM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/HartmanR85,
author = {Alan Hartman and
Alexander Rosa},
title = {Cyclic One-Factorization of the Complete Graph},
journal = {Eur. J. Comb.},
volume = {6},
number = {1},
pages = {45--48},
year = {1985},
url = {https://doi.org/10.1016/S0195-6698(85)80020-2},
doi = {10.1016/S0195-6698(85)80020-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/HartmanR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/HananiHK83,
author = {Haim Hanani and
Alan Hartman and
Earl S. Kramer},
title = {On three-designs of small order},
journal = {Discret. Math.},
volume = {45},
number = {1},
pages = {75--97},
year = {1983},
url = {https://doi.org/10.1016/0012-365X(83)90177-2},
doi = {10.1016/0012-365X(83)90177-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/HananiHK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Hartman82,
author = {Alan Hartman},
title = {Quadruple systems containing AG(3, 2)},
journal = {Discret. Math.},
volume = {39},
number = {3},
pages = {293--299},
year = {1982},
url = {https://doi.org/10.1016/0012-365X(82)90151-0},
doi = {10.1016/0012-365X(82)90151-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Hartman82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Hartman82,
author = {Alan Hartman},
title = {A General Recursive Construction for Quadruple Systems},
journal = {J. Comb. Theory, Ser. {A}},
volume = {33},
number = {2},
pages = {121--134},
year = {1982},
url = {https://doi.org/10.1016/0097-3165(82)90001-2},
doi = {10.1016/0097-3165(82)90001-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/Hartman82.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-02-06 23:49 CET 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:
