Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David K. Probst
@proceedings{DBLP:conf/charme/1997,
editor = {Hon Fung Li and
David K. Probst},
title = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
publisher = {Chapman {\&} Hall},
year = {1997},
isbn = {0-412-81330-0},
timestamp = {Thu, 18 Feb 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Probst94,
author = {David K. Probst},
title = {Programming, Compiling and Executing Partially-Ordered Instruction
Streams on Scalable Shared-Memory Multiprocessors},
booktitle = {27th Annual Hawaii International Conference on System Sciences (HICSS-27),
January 4-7, 1994, Maui, Hawaii, {USA}},
pages = {584--593},
publisher = {{IEEE} Computer Society},
year = {1994},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/Probst94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ProbstL93,
author = {David K. Probst and
Hon Fung Li},
editor = {Costas Courcoubetis},
title = {Verifying Timed Behavior Automata with Input/Output Critical Races},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {424--437},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_35},
doi = {10.1007/3-540-56922-7\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ProbstL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1992,
editor = {Gregor von Bochmann and
David K. Probst},
title = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56496-9},
doi = {10.1007/3-540-56496-9},
isbn = {3-540-56496-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ProbstL92,
author = {David K. Probst and
Hon Fung Li},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Verifying Timed Behavior Automata with Nonbinary Delay Constraints},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {123--136},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_11},
doi = {10.1007/3-540-56496-9\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ProbstL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ProbstL91,
author = {David K. Probst and
Hon Fung Li},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Partial-Order Model Checking: {A} Guide for the Perplexed},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {322--331},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_31},
doi = {10.1007/3-540-55179-4\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ProbstL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LiP90,
author = {Hon Fung Li and
David K. Probst},
title = {Optimal {VLSI} Dictionary Machines Without Compress Instructions},
journal = {{IEEE} Trans. Computers},
volume = {39},
number = {5},
pages = {676--693},
year = {1990},
url = {https://doi.org/10.1109/12.53580},
doi = {10.1109/12.53580},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LiP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ProbstL90,
author = {David K. Probst and
Hon Fung Li},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Using Partial-Order Semantics to Avoid the State Explosion Problem
in Asynchronous Systems},
booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {146--155},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023728},
doi = {10.1007/BFB0023728},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ProbstL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/ProbstL90,
author = {David K. Probst and
Hon Fung Li},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Using Partial-Order Semantics to Avoid the State Explosion Problem
in Asynchronous Systems},
booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {15--24},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/03},
doi = {10.1090/DIMACS/003/03},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/ProbstL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ProbstL88,
author = {David K. Probst and
Hon Fung Li},
title = {Abstract Specification of Synchronous Data Types for {VLSI} and Proving
the Correctness of Systolic Network Implementations},
journal = {{IEEE} Trans. Computers},
volume = {37},
number = {6},
pages = {710--720},
year = {1988},
url = {https://doi.org/10.1109/12.2209},
doi = {10.1109/12.2209},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ProbstL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/AlagarP87,
author = {Vangalur S. Alagar and
David K. Probst},
title = {A fast, low-space algorithm for multiplying dense multivariate polynomials},
journal = {{ACM} Trans. Math. Softw.},
volume = {13},
number = {1},
pages = {35--57},
year = {1987},
url = {https://doi.org/10.1145/23002.27646},
doi = {10.1145/23002.27646},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toms/AlagarP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/ProbstA82,
author = {David K. Probst and
Vangalur S. Alagar},
editor = {Jacques Calmet},
title = {An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {16--23},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_2},
doi = {10.1007/3-540-11607-9\_2},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/ProbstA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ProbstA80,
author = {David K. Probst and
Vangalur S. Alagar},
title = {Corrigendum: {A} Family of Algorithms for Powering Sparse Polynomials},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {2},
pages = {439},
year = {1980},
url = {https://doi.org/10.1137/0209033},
doi = {10.1137/0209033},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ProbstA80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ProbstA79,
author = {David K. Probst and
Vangalur S. Alagar},
title = {A Family of Algorithms for Powering Sparse Polynomials},
journal = {{SIAM} J. Comput.},
volume = {8},
number = {4},
pages = {626--644},
year = {1979},
url = {https://doi.org/10.1137/0208050},
doi = {10.1137/0208050},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ProbstA79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsym/AlagarP77,
author = {Vangalur S. Alagar and
David K. Probst},
editor = {E. Morlet and
D. Ribbens},
title = {Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse
Polynomials},
booktitle = {International Computing Symposium 1977, Proceedings of the International
Computing Symposium 1977, Li{\`{e}}ge, Belgium, 4-7 April 1977 (Preprint)},
pages = {395--402},
publisher = {North-Holland},
year = {1977},
timestamp = {Tue, 01 Apr 2003 10:45:57 +0200},
biburl = {https://dblp.org/rec/conf/icsym/AlagarP77.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 02:24 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:
