25,161
edits
Changes
Created page with "'''Home * People * Liwu Li''' FILE:LiwuLi.jpg|border|right|thumb|link=http://www.jot.fm/issues/issue_2005_03/article5/| Liwu Li <ref>[http://www.jot.fm/i..."
'''[[Main Page|Home]] * [[People]] * Liwu Li'''
[[FILE:LiwuLi.jpg|border|right|thumb|link=http://www.jot.fm/issues/issue_2005_03/article5/| Liwu Li <ref>[http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java]</ref>
]]
'''Liwu Li''', (March 24, 1947 - April 21, 2005 <ref>[http://windsorstar.remembering.ca/obituary/liwu-li-1066408539 Liwu Li | Obituary] | [https://en.wikipedia.org/wiki/Windsor_Star Windsor Star], April 23, 2005</ref>)<br/>
was a Chinese Canadian computer scientist and professor in School of Computer Science at [https://en.wikipedia.org/wiki/University_of_Windsor University of Windsor], [https://en.wikipedia.org/wiki/Windsor,_Ontario Windsor, Ontario], Canada.
He was affiliated with the [https://en.wikipedia.org/wiki/Nankai_University Nankai University], [https://en.wikipedia.org/wiki/Tianjin Tianjin], China and moved to Canada during the 80s. In 1989, Liwu Li defended his Ph.D. thesis at [[University of Alberta]] under [[Tony Marsland]] on the topic of ''Probabilistic Analysis of Search'', including [[Minimax|minimax]] [[Search Pathology|search pathology]] and probalility-based game-tree [[Pruning|pruning]] <ref>[[Liwu Li]] ('''1989'''). ''[https://era.library.ualberta.ca/items/35c3ba49-d0b5-41c5-9ccb-e16aca4808da Probabilistic Analysis of Search]''. Ph.D. thesis, [[University of Alberta]]</ref>.
His further research interests covered [https://en.wikipedia.org/wiki/Object-oriented_analysis_and_design object-oriented analysis and design], [https://en.wikipedia.org/wiki/Object-oriented_design object-oriented language design] and implementation, as most recently the [https://en.wikipedia.org/wiki/%CE%A0-calculus π-calculus] in [[Java]] <ref>[[Liwu Li]] ('''2005'''). ''[http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java]''. [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology], Vol. 4, No. 2</ref>.
=Selected Publications=
<ref>[https://dblp.org/pers/hd/l/Li_0001:Liwu dblp: Liwu Li 0001]</ref> <ref>[https://www.researchgate.net/scientific-contributions/2039420514_Liwu_Li Liwu Li's scientific contributions while working at University of Windsor, Windsor, Ontario, Canada]</ref>
==1986 ...==
* [[Liwu Li]] ('''1986'''). ''[https://epubs.siam.org/doi/10.1137/0215073 Ranking and Unranking of AVL-Trees]''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing SIAM Journal on Computing], Vol. 15, No. 4 <ref>[https://en.wikipedia.org/wiki/AVL_tree AVL tree - Wikipedia]</ref>
* [[Liwu Li]], [[Tony Marsland]] ('''1987'''). ''A parallel algorithm for finding a maximum flow in 0-1 networks''. [https://dblp.org/db/conf/acm/csc1987ACM Conference on Computer Science 1987]
* [[Liwu Li]] ('''1989'''). ''[https://era.library.ualberta.ca/items/35c3ba49-d0b5-41c5-9ccb-e16aca4808da Probabilistic Analysis of Search]''. Ph.D. thesis, [[University of Alberta]], advisor [[Tony Marsland]] <ref>Epigraph: [https://www.kingsnews.org/articles/the-arrow-and-the-song---henry-wadsworth-longfellow I shot an arrow in the air, It fell to earth I know not where], [https://en.wikipedia.org/wiki/Henry_Wadsworth_Longfellow Henry Wadsworth Longfellow]</ref>
* [[Liwu Li]], [[Tony Marsland]] ('''1989'''). ''Probability-Based Game Tree Pruning''. [https://webdocs.cs.ualberta.ca/~tony/OldPapers/joa89.pdf pdf]
==1990 ...==
* [[Liwu Li]], [[Tony Marsland]] ('''1990'''). ''[https://www.sciencedirect.com/science/article/pii/019667749090027C Probability-Based Game Tree Pruning]''. [https://www.journals.elsevier.com/journal-of-algorithms Journal of Algorithms], Vol. 11, No. 1
* [[Liwu Li]], [[Tony Marsland]] ('''1990'''). ''On Minimax Game Tree Search Pathology and Node-value Dependence''. TR90-24, [[University of Alberta]], [https://webdocs.cs.ualberta.ca/~tony/TechnicalReports/TR90-24.pdf pdf]
* [[Liwu Li]] ('''1990'''). ''[https://www.sciencedirect.com/science/article/pii/016781919090112M Systolic computation with fault diagnosis]''. [https://www.journals.elsevier.com/parallel-computing/ Parallel Computing], Vol. 14, No. 2 <ref>[https://en.wikipedia.org/wiki/Systolic_array Systolic array from Wikipedia]</ref>
* [[Liwu Li]] ('''1993'''). ''[https://ieeexplore.ieee.org/document/219735 Fast In-Place Verification of Data Dependencies]''. [[IEEE#TKDE|IEEE Transactions on Knowledge and Data Engineering]], Vol. 5, No. 2
* [[Liwu Li]] ('''1994'''). ''[https://www.sciencedirect.com/science/article/pii/0004370294900469 Possible World Semantics and Autoepistemic Reasoning]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_(journal) Artificial Intelligence], Vol. 71, No. 2 <ref>[https://en.wikipedia.org/wiki/Autoepistemic_logic Autoepistemic logic from Wikipedia]</ref>
* [[Liwu Li]] ('''1998'''). ''[https://link.springer.com/book/10.1007%2F978-3-642-95851-9 Java - Data Structures and Programming]''. [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Liwu Li]] ('''1998'''). ''The VisualAge for Smalltalk Primer''. SIGS, [https://www.amazon.com/VisualAge-Smalltalk-Primer-Book-CD-ROM/dp/0521646693 amazon] <ref>[https://en.wikipedia.org/wiki/IBM_VisualAge IBM VisualAge from Wikipedia]</ref> <ref>[https://en.wikipedia.org/wiki/Smalltalk Smalltalk from Wikipedia]</ref>
* [[Liwu Li]] ('''1999'''). ''[https://ieeexplore.ieee.org/document/809628 Object-Oriented Essential Modeling]''. [https://dblp.org/db/conf/apsec/apsec1999.html APSEC 1999]
==2000 ...==
* [[Liwu Li]] ('''2000'''). ''[https://ieeexplore.ieee.org/document/873681 Translating Use Cases to Sequence Diagrams]''. [https://dblp.org/db/conf/kbse/ase2000.html ASE 2000] <ref>[https://en.wikipedia.org/wiki/Use_case Use case from Wikipedia]</ref> <ref>[https://en.wikipedia.org/wiki/Sequence_diagram Sequence diagram from Wikipedia]</ref>
* [[Liwu Li]] ('''2002'''). ''[https://www.worldscientific.com/doi/abs/10.1142/S0218194002000810 Use Case Patterns]''. [https://en.wikipedia.org/wiki/International_Journal_of_Software_Engineering_and_Knowledge_Engineering International Journal of Software Engineering and Knowledge Engineering], Vol. 12, No. 1
* [[Liwu Li]], [https://scholar.uwindsor.ca/etd/2900/ Wenjiang Wang] ('''2004'''). ''Object-oriented programming with dynamic classification in C<nowiki>#</nowiki>''. [https://dblp.org/db/conf/iastedSEA/iastedSEA2004.html IASTED Conference on Software Engineering and Applications 2004]
* [[Liwu Li]] ('''2004'''). ''[http://www.jot.fm/contents/issue_2004_07/article2.html Extending the Java Language with Dynamic Classification]''. [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology], Vol. 3, No 7
* [[Liwu Li]] ('''2005'''). ''[http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java]''. [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology], Vol. 4, No. 2 <ref>[https://en.wikipedia.org/wiki/%CE%A0-calculus π-calculus from Wikipedia]</ref>
* [[Liwu Li]] ('''2005'''). ''[https://www.sciencedirect.com/science/article/pii/S096599780400153X Ontological modeling for software application development]''. [https://www.journals.elsevier.com/advances-in-engineering-software Advances in Engineering Software], Vol. 36, No. 3
=External Links=
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=87909 Liwu Li - The Mathematics Genealogy Project]
* [http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java] from [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology]
* [http://windsorstar.remembering.ca/obituary/liwu-li-1066408539 Liwu Li | Obituary] | [https://en.wikipedia.org/wiki/Windsor_Star Windsor Star], April 23, 2005
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician]]
[[Category:Researcher]]
[[FILE:LiwuLi.jpg|border|right|thumb|link=http://www.jot.fm/issues/issue_2005_03/article5/| Liwu Li <ref>[http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java]</ref>
]]
'''Liwu Li''', (March 24, 1947 - April 21, 2005 <ref>[http://windsorstar.remembering.ca/obituary/liwu-li-1066408539 Liwu Li | Obituary] | [https://en.wikipedia.org/wiki/Windsor_Star Windsor Star], April 23, 2005</ref>)<br/>
was a Chinese Canadian computer scientist and professor in School of Computer Science at [https://en.wikipedia.org/wiki/University_of_Windsor University of Windsor], [https://en.wikipedia.org/wiki/Windsor,_Ontario Windsor, Ontario], Canada.
He was affiliated with the [https://en.wikipedia.org/wiki/Nankai_University Nankai University], [https://en.wikipedia.org/wiki/Tianjin Tianjin], China and moved to Canada during the 80s. In 1989, Liwu Li defended his Ph.D. thesis at [[University of Alberta]] under [[Tony Marsland]] on the topic of ''Probabilistic Analysis of Search'', including [[Minimax|minimax]] [[Search Pathology|search pathology]] and probalility-based game-tree [[Pruning|pruning]] <ref>[[Liwu Li]] ('''1989'''). ''[https://era.library.ualberta.ca/items/35c3ba49-d0b5-41c5-9ccb-e16aca4808da Probabilistic Analysis of Search]''. Ph.D. thesis, [[University of Alberta]]</ref>.
His further research interests covered [https://en.wikipedia.org/wiki/Object-oriented_analysis_and_design object-oriented analysis and design], [https://en.wikipedia.org/wiki/Object-oriented_design object-oriented language design] and implementation, as most recently the [https://en.wikipedia.org/wiki/%CE%A0-calculus π-calculus] in [[Java]] <ref>[[Liwu Li]] ('''2005'''). ''[http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java]''. [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology], Vol. 4, No. 2</ref>.
=Selected Publications=
<ref>[https://dblp.org/pers/hd/l/Li_0001:Liwu dblp: Liwu Li 0001]</ref> <ref>[https://www.researchgate.net/scientific-contributions/2039420514_Liwu_Li Liwu Li's scientific contributions while working at University of Windsor, Windsor, Ontario, Canada]</ref>
==1986 ...==
* [[Liwu Li]] ('''1986'''). ''[https://epubs.siam.org/doi/10.1137/0215073 Ranking and Unranking of AVL-Trees]''. [https://en.wikipedia.org/wiki/SIAM_Journal_on_Computing SIAM Journal on Computing], Vol. 15, No. 4 <ref>[https://en.wikipedia.org/wiki/AVL_tree AVL tree - Wikipedia]</ref>
* [[Liwu Li]], [[Tony Marsland]] ('''1987'''). ''A parallel algorithm for finding a maximum flow in 0-1 networks''. [https://dblp.org/db/conf/acm/csc1987ACM Conference on Computer Science 1987]
* [[Liwu Li]] ('''1989'''). ''[https://era.library.ualberta.ca/items/35c3ba49-d0b5-41c5-9ccb-e16aca4808da Probabilistic Analysis of Search]''. Ph.D. thesis, [[University of Alberta]], advisor [[Tony Marsland]] <ref>Epigraph: [https://www.kingsnews.org/articles/the-arrow-and-the-song---henry-wadsworth-longfellow I shot an arrow in the air, It fell to earth I know not where], [https://en.wikipedia.org/wiki/Henry_Wadsworth_Longfellow Henry Wadsworth Longfellow]</ref>
* [[Liwu Li]], [[Tony Marsland]] ('''1989'''). ''Probability-Based Game Tree Pruning''. [https://webdocs.cs.ualberta.ca/~tony/OldPapers/joa89.pdf pdf]
==1990 ...==
* [[Liwu Li]], [[Tony Marsland]] ('''1990'''). ''[https://www.sciencedirect.com/science/article/pii/019667749090027C Probability-Based Game Tree Pruning]''. [https://www.journals.elsevier.com/journal-of-algorithms Journal of Algorithms], Vol. 11, No. 1
* [[Liwu Li]], [[Tony Marsland]] ('''1990'''). ''On Minimax Game Tree Search Pathology and Node-value Dependence''. TR90-24, [[University of Alberta]], [https://webdocs.cs.ualberta.ca/~tony/TechnicalReports/TR90-24.pdf pdf]
* [[Liwu Li]] ('''1990'''). ''[https://www.sciencedirect.com/science/article/pii/016781919090112M Systolic computation with fault diagnosis]''. [https://www.journals.elsevier.com/parallel-computing/ Parallel Computing], Vol. 14, No. 2 <ref>[https://en.wikipedia.org/wiki/Systolic_array Systolic array from Wikipedia]</ref>
* [[Liwu Li]] ('''1993'''). ''[https://ieeexplore.ieee.org/document/219735 Fast In-Place Verification of Data Dependencies]''. [[IEEE#TKDE|IEEE Transactions on Knowledge and Data Engineering]], Vol. 5, No. 2
* [[Liwu Li]] ('''1994'''). ''[https://www.sciencedirect.com/science/article/pii/0004370294900469 Possible World Semantics and Autoepistemic Reasoning]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_(journal) Artificial Intelligence], Vol. 71, No. 2 <ref>[https://en.wikipedia.org/wiki/Autoepistemic_logic Autoepistemic logic from Wikipedia]</ref>
* [[Liwu Li]] ('''1998'''). ''[https://link.springer.com/book/10.1007%2F978-3-642-95851-9 Java - Data Structures and Programming]''. [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Liwu Li]] ('''1998'''). ''The VisualAge for Smalltalk Primer''. SIGS, [https://www.amazon.com/VisualAge-Smalltalk-Primer-Book-CD-ROM/dp/0521646693 amazon] <ref>[https://en.wikipedia.org/wiki/IBM_VisualAge IBM VisualAge from Wikipedia]</ref> <ref>[https://en.wikipedia.org/wiki/Smalltalk Smalltalk from Wikipedia]</ref>
* [[Liwu Li]] ('''1999'''). ''[https://ieeexplore.ieee.org/document/809628 Object-Oriented Essential Modeling]''. [https://dblp.org/db/conf/apsec/apsec1999.html APSEC 1999]
==2000 ...==
* [[Liwu Li]] ('''2000'''). ''[https://ieeexplore.ieee.org/document/873681 Translating Use Cases to Sequence Diagrams]''. [https://dblp.org/db/conf/kbse/ase2000.html ASE 2000] <ref>[https://en.wikipedia.org/wiki/Use_case Use case from Wikipedia]</ref> <ref>[https://en.wikipedia.org/wiki/Sequence_diagram Sequence diagram from Wikipedia]</ref>
* [[Liwu Li]] ('''2002'''). ''[https://www.worldscientific.com/doi/abs/10.1142/S0218194002000810 Use Case Patterns]''. [https://en.wikipedia.org/wiki/International_Journal_of_Software_Engineering_and_Knowledge_Engineering International Journal of Software Engineering and Knowledge Engineering], Vol. 12, No. 1
* [[Liwu Li]], [https://scholar.uwindsor.ca/etd/2900/ Wenjiang Wang] ('''2004'''). ''Object-oriented programming with dynamic classification in C<nowiki>#</nowiki>''. [https://dblp.org/db/conf/iastedSEA/iastedSEA2004.html IASTED Conference on Software Engineering and Applications 2004]
* [[Liwu Li]] ('''2004'''). ''[http://www.jot.fm/contents/issue_2004_07/article2.html Extending the Java Language with Dynamic Classification]''. [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology], Vol. 3, No 7
* [[Liwu Li]] ('''2005'''). ''[http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java]''. [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology], Vol. 4, No. 2 <ref>[https://en.wikipedia.org/wiki/%CE%A0-calculus π-calculus from Wikipedia]</ref>
* [[Liwu Li]] ('''2005'''). ''[https://www.sciencedirect.com/science/article/pii/S096599780400153X Ontological modeling for software application development]''. [https://www.journals.elsevier.com/advances-in-engineering-software Advances in Engineering Software], Vol. 36, No. 3
=External Links=
* [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=87909 Liwu Li - The Mathematics Genealogy Project]
* [http://www.jot.fm/issues/issue_2005_03/article5/ Implementing the π-Calculus in Java] from [https://en.wikipedia.org/wiki/The_Journal_of_Object_Technology Journal of Object Technology]
* [http://windsorstar.remembering.ca/obituary/liwu-li-1066408539 Liwu Li | Obituary] | [https://en.wikipedia.org/wiki/Windsor_Star Windsor Star], April 23, 2005
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician]]
[[Category:Researcher]]
