Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Edward P. Stabler
@inproceedings{DBLP:conf/embc/JarroldRWPSG20,
author = {William Jarrold and
Adri{\`{a}} Rofes and
Stephen M. Wilson and
Peter Pressman and
Edward P. Stabler and
Marilu Gorno{-}Tempini},
title = {A "Verbal Thermometer" for Assessing Neurodegenerative Disease:
Automated Measurement of Pronoun and Verb Ratio from Speech},
booktitle = {42nd Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2020, Montreal, QC, Canada,
July 20-24, 2020},
pages = {5831--5837},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EMBC44109.2020.9176185},
doi = {10.1109/EMBC44109.2020.9176185},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/JarroldRWPSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fg/Stabler17,
author = {Edward P. Stabler},
editor = {Annie Foret and
Reinhard Muskens and
Sylvain Pogodalla},
title = {Reforming {AMR}},
booktitle = {Formal Grammar - 22nd International Conference, {FG} 2017, Toulouse,
France, July 22-23, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10686},
pages = {72--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-56343-4\_5},
doi = {10.1007/978-3-662-56343-4\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fg/Stabler17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/TorrS16,
author = {John Torr and
Edward P. Stabler},
editor = {David Chiang and
Alexander Koller},
title = {Coordination in Minimalist Grammars: Excorporation and Across the
Board (Head) Movement},
booktitle = {Proceedings of the 12th International Workshop on Tree Adjoining Grammars
and Related Formalisms (TAG+12), June 29 - July 1, 2016, Heinrich
Heine University, D{\"{u}}sseldorf, Germany},
pages = {1--17},
publisher = {The Association for Computer Linguistics},
year = {2016},
url = {https://aclanthology.org/W16-3301/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tag/TorrS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/Stabler14,
author = {Edward P. Stabler},
editor = {Alexander Clark and
Makoto Kanazawa and
Ryo Yoshinaka},
title = {Towards a rationalist theory of language acquisition},
booktitle = {Proceedings of the 12th International Conference on Grammatical Inference,
{ICGI} 2014, Kyoto, Japan, September 17-19, 2014},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {34},
pages = {21--32},
publisher = {JMLR.org},
year = {2014},
url = {http://proceedings.mlr.press/v34/stabler14a.html},
timestamp = {Wed, 29 May 2019 08:41:46 +0200},
biburl = {https://dblp.org/rec/conf/icgi/Stabler14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topics/Stabler13,
author = {Edward P. Stabler},
title = {Two Models of Minimalist, Incremental Syntactic Analysis},
journal = {Top. Cogn. Sci.},
volume = {5},
number = {3},
pages = {611--633},
year = {2013},
url = {https://doi.org/10.1111/tops.12031},
doi = {10.1111/TOPS.12031},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topics/Stabler13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl-cmcl/Stabler11,
author = {Edward P. Stabler},
editor = {Frank Keller and
David Reitter},
title = {Top-Down Recognizers for MCFGs and MGs},
booktitle = {Proceedings of the 2nd Workshop on Cognitive Modeling and Computational
Linguistics, CMCL@ACL 2011, Portland, Oregon, USA, June 23, 2011},
pages = {39--48},
publisher = {Association for Computational Linguistics},
year = {2011},
url = {https://aclanthology.org/W11-0605/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl-cmcl/Stabler11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecal/LeeCKST05,
author = {Yoosook Lee and
Travis C. Collier and
Gregory M. Kobele and
Edward P. Stabler and
Charles E. Taylor},
editor = {Mathieu S. Capcarr{\`{e}}re and
Alex Alves Freitas and
Peter J. Bentley and
Colin G. Johnson and
Jon Timmis},
title = {Grammar Structure and the Dynamics of Language Evolution},
booktitle = {Advances in Artificial Life, 8th European Conference, {ECAL} 2005,
Canterbury, UK, September 5-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3630},
pages = {624--633},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11553090\_63},
doi = {10.1007/11553090\_63},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/ecal/LeeCKST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/HaleS05,
author = {John T. Hale and
Edward P. Stabler},
editor = {Philippe Blache and
Edward P. Stabler and
Joan Busquets and
Richard Moot},
title = {Strict Deterministic Aspects of Minimalist Grammars},
booktitle = {Logical Aspects of Computational Linguistics, 5th International Conference,
{LACL} 2005, Bordeaux, France, April 28-30, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3492},
pages = {162--176},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11422532\_11},
doi = {10.1007/11422532\_11},
timestamp = {Thu, 14 Oct 2021 10:38:25 +0200},
biburl = {https://dblp.org/rec/conf/lacl/HaleS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lacl/2005,
editor = {Philippe Blache and
Edward P. Stabler and
Joan Busquets and
Richard Moot},
title = {Logical Aspects of Computational Linguistics, 5th International Conference,
{LACL} 2005, Bordeaux, France, April 28-30, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3492},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136076},
doi = {10.1007/B136076},
isbn = {3-540-25783-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lacl/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/alr/LeeCTRS04,
author = {Yoosook Lee and
Travis C. Collier and
Charles E. Taylor and
Jason Riggle and
Edward P. Stabler},
title = {Adaptive communication among collaborative agents: preliminary results
with symbol grounding},
journal = {Artif. Life Robotics},
volume = {8},
number = {2},
pages = {127--132},
year = {2004},
url = {https://doi.org/10.1007/bf02678880},
doi = {10.1007/BF02678880},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/alr/LeeCTRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/alr/LeeCTRS04a,
author = {Yoosook Lee and
Travis C. Collier and
Charles E. Taylor and
Jason Riggle and
Edward P. Stabler},
title = {Adaptive communication among collaborative agents: preliminary results
with symbol grounding},
journal = {Artif. Life Robotics},
volume = {8},
number = {2},
pages = {127--132},
year = {2004},
url = {https://doi.org/10.1007/s10015-004-0299-3},
doi = {10.1007/S10015-004-0299-3},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/alr/LeeCTRS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsci/Stabler04,
author = {Edward P. Stabler Jr.},
title = {Varieties of crossing dependencies: structure dependence and mild
context sensitivity},
journal = {Cogn. Sci.},
volume = {28},
number = {5},
pages = {699--720},
year = {2004},
url = {https://doi.org/10.1016/j.cogsci.2004.05.002},
doi = {10.1016/J.COGSCI.2004.05.002},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cogsci/Stabler04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StablerK03,
author = {Edward P. Stabler and
Edward L. Keenan},
title = {Structural similarity within and among languages},
journal = {Theor. Comput. Sci.},
volume = {293},
number = {2},
pages = {345--363},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00351-6},
doi = {10.1016/S0304-3975(01)00351-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/StablerK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecal/StablerCKLLRYT03,
author = {Edward P. Stabler and
Travis C. Collier and
Gregory M. Kobele and
Yoosook Lee and
Ying Lin and
Jason Riggle and
Yuan Yao and
Charles E. Taylor},
editor = {Wolfgang Banzhaf and
Thomas Christaller and
Peter Dittrich and
Jan T. Kim and
Jens Ziegler},
title = {The Learning and Emergence of Mildly Context Sensitive Languages},
booktitle = {Advances in Artificial Life, 7th European Conference, {ECAL} 2003,
Dortmund, Germany, September 14-17, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2801},
pages = {525--534},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39432-7\_56},
doi = {10.1007/978-3-540-39432-7\_56},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/ecal/StablerCKLLRYT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/KobeleCTS02,
author = {Gregory M. Kobele and
Travis C. Collier and
Charles E. Taylor and
Edward P. Stabler},
editor = {Robert Frank},
title = {Learning Mirror Theory},
booktitle = {Proceedings of the Sixth International Workshop on Tree Adjoining
Grammar and Related Frameworks, {TAG+} 2002, Venice, Italy, May 20-23,
2002},
pages = {66--73},
publisher = {Association for Computational Linguistics},
year = {2002},
url = {https://aclanthology.org/W02-2209/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tag/KobeleCTS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/Stabler01,
author = {Edward P. Stabler},
editor = {Philippe de Groote and
Glyn Morrill and
Christian Retor{\'{e}}},
title = {Recognizing Head Movement},
booktitle = {Logical Aspects of Computational Linguistics, 4th International Conference,
{LACL} 2001, Le Croisic, France, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2099},
pages = {245--260},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48199-0\_15},
doi = {10.1007/3-540-48199-0\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lacl/Stabler01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecal/TealAST99,
author = {Tracy K. Teal and
Daniel Albro and
Edward P. Stabler and
Charles E. Taylor},
editor = {Dario Floreano and
Jean{-}Daniel Nicoud and
Francesco Mondada},
title = {Compression and Adaptation},
booktitle = {Advances in Artificial Life, 5th European Conference, ECAL'99, Lausanne,
Switzerland, September 13-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1674},
pages = {709--719},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48304-7\_93},
doi = {10.1007/3-540-48304-7\_93},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/ecal/TealAST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tag/SzalaiS98,
author = {Temese Szalai and
Edward P. Stabler},
editor = {Anne Abeill{\'{e}} and
Tilman Becker and
Giorgio Satta and
K. Vijay{-}Shanker},
title = {Formal analyses of the Hungarian verbal complex},
booktitle = {Proceedings of the Fourth International Workshop on Tree Adjoining
Grammars and Related Frameworks, {TAG+} 1998, University of Pennsylvania,
USA, August 1998},
pages = {168--171},
publisher = {Institute for Research in Cognitive Science},
year = {1998},
url = {https://aclanthology.org/W98-0140/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tag/SzalaiS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/Stabler96,
author = {Edward P. Stabler},
editor = {Christian Retor{\'{e}}},
title = {Derivational Minimalism},
booktitle = {Logical Aspects of Computational Linguistics, First International
Conference, {LACL} '96, Nancy, France, September 23-25, 1996, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1328},
pages = {68--95},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0052152},
doi = {10.1007/BFB0052152},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lacl/Stabler96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/WangS95a,
author = {Jiang Chau Wang and
Edward P. Stabler},
title = {Collective Test Generation and Test Set Compaction},
booktitle = {1995 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
1995, Seattle, Washington, USA, April 30 - May 3, 1995},
pages = {2008--2011},
publisher = {{IEEE}},
year = {1995},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/WangS95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ParasuramSC94,
author = {Yegnashankar Parasuram and
Edward P. Stabler and
Shiu{-}Kai Chin},
title = {Parallel implementation of {BDD} Algorithms using a Distributed Shared
Memory},
booktitle = {27th Annual Hawaii International Conference on System Sciences (HICSS-27),
January 4-7, 1994, Maui, Hawaii, {USA}},
pages = {16--25},
publisher = {{IEEE} Computer Society},
year = {1994},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/ParasuramSC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Stabler93,
author = {Edward P. Stabler Jr.},
title = {Parsing as Non-Horn Deduction},
journal = {Artif. Intell.},
volume = {63},
number = {1-2},
pages = {225--264},
year = {1993},
url = {https://doi.org/10.1016/0004-3702(93)90018-7},
doi = {10.1016/0004-3702(93)90018-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Stabler93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcs/KabakciogluS91,
author = {A. Mete Kabak{\c{c}}ioglu and
Edward P. Stabler},
title = {Symbolic Simulation for the Verification of Temporal Logic Specifications
about Sequential Designs},
journal = {Int. J. Comput. Simul.},
volume = {1},
number = {3},
year = {1991},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcs/KabakciogluS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/muc/DahlgrenLWMS91,
author = {Kathleen Dahlgren and
Carol Lord and
Hajime Wada and
Joyce P. McDowell and
Edward P. Stabler},
title = {{ITP} Interpretext system: {MUC-3} test results and analysis},
booktitle = {Proceedings of the 3rd Conference on Message Understanding, {MUC}
1991, San Diego, California, USA, May 21-23, 1991},
pages = {79--83},
publisher = {{ACL}},
year = {1991},
url = {https://doi.org/10.3115/1071958.1071970},
doi = {10.3115/1071958.1071970},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/muc/DahlgrenLWMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/muc/DahlgrenLWMS91a,
author = {Kathleen Dahlgren and
Carol Lord and
Hajime Wada and
Joyce P. McDowell and
Edward P. Stabler},
title = {{ITP:} description of the Interpretext system as used for {MUC-3}},
booktitle = {Proceedings of the 3rd Conference on Message Understanding, {MUC}
1991, San Diego, California, USA, May 21-23, 1991},
pages = {163--170},
publisher = {{ACL}},
year = {1991},
url = {https://doi.org/10.3115/1071958.1071986},
doi = {10.3115/1071958.1071986},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/muc/DahlgrenLWMS91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/WangS91,
author = {X. Wang and
Edward P. Stabler},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {Formalization of {VHDL} Synthesis Procedure in Higher-Order Logic},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {106--120},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Wed, 17 Apr 2002 08:13:51 +0200},
biburl = {https://dblp.org/rec/conf/tphol/WangS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Stabler90,
author = {Edward P. Stabler Jr.},
title = {Representing Knowledge with Theories about Theories},
journal = {J. Log. Program.},
volume = {9},
number = {1},
pages = {105--138},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90035-4},
doi = {10.1016/0743-1066(90)90035-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Stabler90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ChinS90,
author = {Shiu{-}Kai Chin and
Edward P. Stabler},
title = {Synthesis of arithmetic hardware using hardware metafunctions},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {9},
number = {8},
pages = {793--803},
year = {1990},
url = {https://doi.org/10.1109/43.57787},
doi = {10.1109/43.57787},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ChinS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/DahlgrenMS89,
author = {Kathleen Dahlgren and
Joyce P. McDowell and
Edward P. Stabler Jr.},
title = {Knowledge Representation for Commonsense Reasoning with Text},
journal = {Comput. Linguistics},
volume = {15},
number = {3},
pages = {149--170},
year = {1989},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/DahlgrenMS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Stabler89,
author = {Edward P. Stabler Jr.},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Syntactic Equality in Knowledge Representation and Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {459--466},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/Stabler89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/ChinSG88,
author = {Shiu{-}Kai Chin and
Edward P. Stabler and
Kevin J. Greene},
title = {Using higher order logic and functional languages to synthesize correct
hardware},
booktitle = {1988 Internation Conference on Computer Languages, October 9-13, 1988,
Miami, Florida, {USA}},
pages = {396--403},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/ICCL.1988.13089},
doi = {10.1109/ICCL.1988.13089},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/ChinSG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/Stabler87,
author = {Edward P. Stabler Jr.},
title = {Restricting Logic Grammars with Government-Binding Theory},
journal = {Comput. Linguistics},
volume = {13},
number = {1-2},
pages = {1--10},
year = {1987},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/Stabler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/StablerB87,
author = {Edward P. Stabler and
Haluk Bingol},
editor = {A. O'Neill and
D. Thomas},
title = {Boolean Comparison by Simulation},
booktitle = {Proceedings of the 24th {ACM/IEEE} Design Automation Conference. Miami
Beach, FL, USA, June 28 - July 1, 1987},
pages = {584--587},
publisher = {{IEEE} Computer Society Press / {ACM}},
year = {1987},
url = {https://doi.org/10.1145/37888.37979},
doi = {10.1145/37888.37979},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/StablerB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlulp/Stabler87,
author = {Edward P. Stabler Jr.},
editor = {Ver{\'{o}}nica Dahl and
Patrick Saint{-}Dizier},
title = {Parsing with Explicit Representations of Syntactic Constraints},
booktitle = {Natural Language Understanding and Logic Programming, II, Proceedings
of the Second International Workshop on Natural Language Understanding
and Logic Programming, Vancouver, Canada, 17-19 August, 1987},
pages = {15--27},
publisher = {North-Holland},
year = {1987},
timestamp = {Mon, 29 Jul 2019 11:58:22 +0200},
biburl = {https://dblp.org/rec/conf/nlulp/Stabler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlulp/DahlLMSS87,
author = {Ver{\'{o}}nica Dahl and
Robert Levine and
Hideo Miyoshi and
Patrick Saint{-}Dizier and
Edward P. Stabler Jr.},
editor = {Ver{\'{o}}nica Dahl and
Patrick Saint{-}Dizier},
title = {Logic Grammar and Linguistic Theories (Panel Session)},
booktitle = {Natural Language Understanding and Logic Programming, II, Proceedings
of the Second International Workshop on Natural Language Understanding
and Logic Programming, Vancouver, Canada, 17-19 August, 1987},
pages = {335--345},
publisher = {North-Holland},
year = {1987},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nlulp/DahlLMSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Stabler86,
author = {Edward P. Stabler Jr.},
editor = {Tom Kehler and
Stanley J. Rosenschein},
title = {Restricting Logic Grammars},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 2: Engineering},
pages = {1048--1052},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-172.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Stabler86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/PitchumaniS85,
author = {Vijay Pitchumani and
Edward P. Stabler},
title = {Verification of Register Transfer Level Parallel Control Sequences},
journal = {{IEEE} Trans. Computers},
volume = {34},
number = {8},
pages = {761--765},
year = {1985},
url = {https://doi.org/10.1109/TC.1985.1676625},
doi = {10.1109/TC.1985.1676625},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/PitchumaniS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HorstmannS84,
author = {Paul W. Horstmann and
Edward P. Stabler},
editor = {Patricia H. Lambert and
Hillel Ofek and
Lawrence A. O'Neill and
Pat O. Pistilli and
Paul Losleben and
J. Daniel Nash and
Dennis W. Shaklee and
Bryan T. Preas and
Harvey N. Lerman},
title = {Computer aided design {(CAD)} using logic programming},
booktitle = {Proceedings of the 21st Design Automation Conference, {DAC} '84, Albuquerque,
New Mexico, June 25-27, 1984},
pages = {144--151},
publisher = {{ACM/IEEE}},
year = {1984},
url = {http://dl.acm.org/citation.cfm?id=800789},
timestamp = {Thu, 12 Aug 2021 08:58:02 +0200},
biburl = {https://dblp.org/rec/conf/dac/HorstmannS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/PitchumaniS83,
author = {Vijay Pitchumani and
Edward P. Stabler},
title = {An Inductive Assertion Method for Register Transfer Level Design Verification},
journal = {{IEEE} Trans. Computers},
volume = {32},
number = {12},
pages = {1073--1080},
year = {1983},
url = {https://doi.org/10.1109/TC.1983.1676167},
doi = {10.1109/TC.1983.1676167},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/PitchumaniS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Stabler83,
author = {Edward P. Stabler Jr.},
editor = {Michael R. Genesereth},
title = {Deterministic and Bottom-Up Parsing in Prolog},
booktitle = {Proceedings of the National Conference on Artificial Intelligence,
Washington, D.C., USA, August 22-26, 1983},
pages = {383--386},
publisher = {{AAAI} Press},
year = {1983},
url = {http://www.aaai.org/Library/AAAI/1983/aaai83-046.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Stabler83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PitchumaniS82,
author = {Vijay Pitchumani and
Edward P. Stabler},
editor = {James S. Crabbe and
Charles E. Radke and
Hillel Ofek},
title = {A formal method for computer design verification},
booktitle = {Proceedings of the 19th Design Automation Conference, {DAC} '82, Las
Vegas, Nevada, USA, June 14-16, 1982},
pages = {809--814},
publisher = {{ACM/IEEE}},
year = {1982},
url = {https://doi.org/10.1145/800263.809294},
doi = {10.1145/800263.809294},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PitchumaniS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/StablerKK79,
author = {Edward P. Stabler and
Victor M. Kureichik and
Valery A. Kalashnikov},
editor = {David W. Hightower},
title = {Placement algorithm by partitioning for optimum rectangular placement},
booktitle = {Proceedings of the 16th Design Automation Conference, {DAC} '79, San
Diego, California, USA, June 25-27, 1979},
pages = {24--25},
publisher = {{ACM}},
year = {1979},
url = {http://dl.acm.org/citation.cfm?id=811686},
timestamp = {Thu, 01 Mar 2012 18:20:57 +0100},
biburl = {https://dblp.org/rec/conf/dac/StablerKK79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagamore/Stabler74,
author = {Edward P. Stabler},
editor = {Tse{-}Yun Feng},
title = {Mixed Mode Arithmetic for {STARAN}},
booktitle = {Parallel Processing, Proceedings of the Sagamore Computer Conference,
Sagamore, Adirondack Mountains, NY, USA, August 20-23, 1974},
series = {Lecture Notes in Computer Science},
volume = {24},
pages = {228--229},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07135-0\_124},
doi = {10.1007/3-540-07135-0\_124},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sagamore/Stabler74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Stabler70,
author = {Edward P. Stabler},
title = {Microprogram Transformations},
journal = {{IEEE} Trans. Computers},
volume = {19},
number = {10},
pages = {908--916},
year = {1970},
url = {https://doi.org/10.1109/T-C.1970.222798},
doi = {10.1109/T-C.1970.222798},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Stabler70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Stabler70a,
author = {Edward P. Stabler},
title = {System Description Languages},
journal = {{IEEE} Trans. Computers},
volume = {19},
number = {12},
pages = {1160--1173},
year = {1970},
url = {https://doi.org/10.1109/T-C.1970.222855},
doi = {10.1109/T-C.1970.222855},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Stabler70a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Stabler65,
author = {Edward P. Stabler},
title = {Threshold gate network synthesis},
booktitle = {6th Annual Symposium on Switching Circuit Theory and Logical Design,
Ann Arbor, Michigan, USA, October 6-8, 1965},
pages = {5--11},
publisher = {{IEEE} Computer Society},
year = {1965},
url = {https://doi.org/10.1109/FOCS.1965.32},
doi = {10.1109/FOCS.1965.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Stabler65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aieeire/Stabler59,
author = {Edward P. Stabler},
editor = {R. R. Johnson},
title = {Square-loop magnetic logic circuits},
booktitle = {Papers presented at the the 1959 western joint computer conference,
{IRE-AIEE-ACM} 1959 (Western), San Francisco, California, USA, March
3-5, 1959},
pages = {47--54},
publisher = {{ACM}},
year = {1959},
url = {https://doi.org/10.1145/1457838.1457844},
doi = {10.1145/1457838.1457844},
timestamp = {Thu, 22 Apr 2021 12:46:05 +0200},
biburl = {https://dblp.org/rec/conf/aieeire/Stabler59.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Stabler56,
author = {Edward P. Stabler},
title = {Circuit realization of binary functions using threshold devices},
booktitle = {Proceedings of the 11th {ACM} national meeting, {ACM} 1956, {USA}},
pages = {134--137},
publisher = {{ACM}},
year = {1956},
url = {https://doi.org/10.1145/800258.808968},
doi = {10.1145/800258.808968},
timestamp = {Fri, 16 Apr 2021 12:47:44 +0200},
biburl = {https://dblp.org/rec/conf/acm/Stabler56.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 05:45 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:
