dblp:芭芭拉·利斯科夫 https://dblp.org/pid/l/BarbaraLiskov.html dblp个人页面RSS提要 2024年4月25日星期四05:42:20+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.pngdblp:芭芭拉·利斯科夫https://dblp.org/pid/l/BarbaraLiskov.html14451 在竞争的主内存多核交易中保持乐观的机会。https://doi.org/10.1007/s00778-021-00719-9,,,,:
在竞争的主内存多核交易中保持乐观的机会。 VLDB J。 31(6):1239-1261()]]>https://dblp.org/rec/journals/vldb/HuangQKLS222022年1月1日星期六00:00:00+0100 跨中国交易和对抗性商业。https://doi.org/10.1007/s00778-021-00686-1,,:
跨中国交易和对抗性商业。 VLDB J。 31(6):1291-1309()]]>https://dblp.org/rec/journals/vldb/HerlihyLS222022年1月1日星期六00:00:00+0100 对计算机科学职业生涯的思考。https://doi.org/10.1145/3514221.3523274:
对计算机科学职业生涯的思考。 SIGMOD会议 :1]]>https://dblp.org/rec/conf/sigmod/Liskov222022年1月1日星期六00:00:00+0100 从Viewstamp复制到区块链。https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_5:
从Viewstamped复制到区块链。 FMCAD公司 :1]]>https://dblp.org/rec/conf/fmcad/Liskov212021年1月1日，星期五00:00:00+0100 有争议的主存多核事务中的乐观机会。http://www.vldb.org/pvldb/vol13/p629-huang.pdf,,,,:
有争议的主存多核事务中的乐观机会。 程序。荷兰VLDB。 13(5):629-642()]]>https://dblp.org/rec/journals/pvldb/HuangQKLS202020年1月1日，星期三00:00:00+0100 跨中国交易和对抗性商业。http://www.vldb.org/pvldb/vol13/p100-herlihy.pdf,,:
跨中国交易和对抗性商业。 程序。荷兰VLDB。 13(2):100-113()]]>https://dblp.org/rec/journals/pvldb/HerliySL192019年1月1日星期二00:00:00+0100 主旨：多核编程。https://doi.org/10.1145/3297858.3304078:
主旨：多核编程。 ASPLOS公司 :1]]>https://dblp.org/rec/conf/asplos/Liskov192019年1月1日星期二00:00:00+0100 跨中国交易和对抗性商业。http://arxiv.org/abs/1905.09743,,:
跨中国交易和对抗性商业。 CoRR公司 abs/1905.09743()]]>https://dblp.org/rec/journals/corr/abs-1905-097432019年1月1日星期二00:00:00+0100 乐观并发控制中时间戳粒度的影响。http://arxiv.org/abs/1811.04967,,,,:
乐观并发控制中时间戳粒度的影响。 CoRR公司 abs/1811.04967()]]>https://dblp.org/rec/journals/corr/abs-1811-049672018年1月1日星期一00:00:00+0100 用于更快并发代码的类型软件事务。https://doi.org/10.1145/2901318.2901348,,,,,,:
用于更快并发代码的类型软件事务。 欧洲系统 :31:1-31:16]]>https://dblp.org/rec/conf/eurosys/HermanIHTKLS162016年1月1日，星期五00:00:00+0100 接受对安全隧道异常的指责。https://doi.org/10.1145/2908080.2908086,,,,:
接受对安全隧道例外的指责。 PLDI公司 :281-295]]>https://dblp.org/rec/conf/pldi/ShangSBLM162016年1月1日，星期五00:00:00+0100 轻量级、灵活的面向对象泛型。https://doi.org/10.1145/2737924.2738008,,,,:
轻量级、灵活的面向对象泛型。 PLDI公司 :436-445]]>https://dblp.org/rec/conf/pldi/ShangLSLM152015年1月1日星期四00:00:00+0100 关于系统语言和抽象的观点。https://doi.org/10.1145/2830903.2830906:
关于系统语言和抽象的观点。 SOSP历史日 :5:1-5:25]]>https://dblp.org/rec/conf/sosp/Liskov152015年1月1日星期四00:00:00+0100 通过多核并行实现快速持久性和恢复的快速数据库。https://www.usenix.org/conference/osdi14/technical-sessions/presentation/zheng_wenting,,,:
通过多核并行实现快速持久性和恢复的快速数据库。 OSDI公司 :465-477]]>https://dblp.org/rec/conf/osdi/ZhengTKL142014年1月1日星期三00:00:00+0100 伯克利数据库的模块化和高效的过去状态系统。https://www.usenix.org/conference/atc14/technical-sessions/presentation/shall,,:
伯克利数据库的模块化和高效的过去状态系统。 USENIX年度技术会议 :157-168]]>https://dblp.org/rec/conf/usenix/ShaullSL142014年1月1日星期三00:00:00+0100 IFDB：数据库的分散信息流控制。https://doi.org/10.1145/2465351.2465357,:
IFDB：数据库的分散信息流控制。 欧洲系统 :43-56]]>https://dblp.org/rec/conf/eurosys/SchultzL132013年1月1日星期二00:00:00+0100 多核内存数据库中的快速事务。https://doi.org/10.1145/2517349.2522713,,,,:
多核内存数据库中的快速事务。 SOSP（标准操作程序） :18-32]]>https://dblp.org/rec/conf/sosp/TuZKLM132013年1月1日星期二00:00:00+0100 大规模可靠存储系统的自动重新配置。https://doi.org/10.109/TDSC.2010.52,,,,:
大型可靠存储系统的自动重新配置。 IEEE传输。可靠的安全。计算。 9(2):145-158()]]>https://dblp.org/rec/journals/tdsc/RodriguesLCLS122012年1月1日星期日00:00:00+0100 编程语言：过去的成就和未来的挑战。https://doi.org/10.1145/2322176.2322188,,,:
编程语言：过去的成就和未来的挑战。 ACM转向 :12:1]]>https://dblp.org/rec/conf/acm/GrahamALW122012年1月1日，星期日00:00:00+0100 主题演讲：为转向机编程。https://doi.org/10.1145/2402676.2402687:
主题演讲：为转向机编程。 HILT公司 :23-24]]>https://dblp.org/rec/conf/sigada/Liskov122012年1月1日，星期日00:00:00+0100 风神可用信息流控制抽象。https://www.usenix.org/conference/atc12/technical-sessions/presentation/cheng,,,,,,,,:
风神可用信息流控制抽象。 USENIX年度技术会议 :139-151]]>https://dblp.org/rec/conf/usenix/ChengPSBCCSL122012年1月1日，星期日00:00:00+0100 Granola：低端分布式事务协调。https://www.usenix.org/conference/atc12/technical-sessions/presentation/cowling,:
Granola：低端分布式事务协调。 USENIX年度技术会议 :223-235]]>https://dblp.org/rec/conf/usenix/CowlingL122012年1月1日，星期日00:00:00+0100 MPSS：移动主动秘密共享。https://doi.org/10.1145/1880022.1880028,,:
MPSS：移动主动秘密共享。 ACM事务处理。信息系统。安全。 13(4):34:1-34:32()]]>https://dblp.org/rec/journals/tissec/SchultzLL102010年1月1日，星期五00:00:00+0100 应用程序数据缓存中的事务一致性和自动管理。http://www.usenix.org/events/osdi10/tech/full_papers/Ports.pdf,,,,:
应用程序数据缓存中的事务一致性和自动管理。 OSDI公司 :279-292]]>https://dblp.org/rec/conf/osdi/PortsCZML102010年1月1日，星期五00:00:00+0100 从可视复制到拜占庭容错。https://doi.org/10.1007/978-3-642-11294-2_7:
从可视复制到拜占庭容错。 复制 :121-149]]>https://dblp.org/rec/conf/replication/Liskov102010年1月1日，星期五00:00:00+0100 抽象的力量-（受邀讲座摘要）。https://doi.org/10.1007/978-3-642-15763-9_2:
抽象的力量-（特邀讲座摘要）。 磁盘 :三]]>https://dblp.org/rec/conf/wdag/Liskov102010年1月1日，星期五00:00:00+0100 对等覆盖的完整信息查找。https://doi.org/10.109/TPDS.2008.222,,,:
对等覆盖的完整信息查找。 IEEE传输。并行分布式系统。 20(9):1339-1351()]]>https://dblp.org/rec/journals/tpds/FonsecaRGL092009年1月1日星期四00:00:00+0100 通过客户端推测容忍复制状态机中的延迟。http://www.usenix.org/events/nsdi09/tech/full_papers/wester/wester.pdf,,,,,:
通过客户端推测容忍复制状态机中的延迟。 NSDI公司 :245至260]]>https://dblp.org/rec/conf/nsdi/WesterCNCFL092009年1月1日星期四00:00:00+0100 人口普查：大型分布式系统的位置软件成员管理。https://www.usenix.org/conference/usenix-09/census-location-aware-membership-management-large-scale-distributed-systems,,,,:
人口普查：大型分布式系统的位置软件成员管理。 USENIX年度技术会议 ]]>https://dblp.org/rec/conf/usenix/CowlingPLPG092009年1月1日星期四00:00:00+0100 移动主动式秘密共享。https://doi.org/10.1145/1400751.1400856,,:
移动主动式秘密共享。 PODC公司 :458]]>https://dblp.org/rec/conf/podc/SchultzLL082008年1月1日星期二00:00:00+0100 地理布线的贪婪虚拟坐标。https://doi.org/10.109/ICNP.2007.4375838,,:
地理布线的贪婪虚拟坐标。 ICNP公司 :71-80]]>https://dblp.org/rec/conf/icnp/LongLM072007年1月1日星期一00:00:00+0100 使用提交障碍调度容忍事务处理系统中的拜占庭错误。https://doi.org/10.1145/1294261.1294268,,,:
使用提交障碍调度容忍事务处理系统中的拜占庭错误。 SOSP（标准操作程序） :59-72]]>https://dblp.org/rec/conf/sosp/VandiverBLM072007年1月1日星期一00:00:00+0100 MapJAX：异步Web应用程序的数据结构抽象。http://www.usenix.org/events/usenix07/tech/myers.html,,,:
MapJAX：异步Web应用程序的数据结构抽象。 USENIX年度技术会议 :101-114年]]>https://dblp.org/rec/conf/usenix/MyersCCL072007年1月1日星期一00:00:00+0100 EpiChord：将Chord查找算法与反应式路由状态管理并行化。https://doi.org/10.1016/j.comcom.2005.10.002,,:
EpiChord：将Chord查找算法与反应式路由状态管理并行化。 计算。Commun公司。 29(9):1243-1259()]]>https://dblp.org/rec/journals/comcom/LeongLD062006年1月1日，星期日00:00:00+0100 分布式系统的模块化软件升级。https://doi.org/10.1007/11785477_26,,:
分布式系统的模块化软件升级。 ECOOP公司 :452-476]]>https://dblp.org/rec/conf/ecop/AjmaniLS062006年1月1日，星期日00:00:00+0100 在法定人数制度中容忍拜占庭错误客户。https://doi.org/10.109/ICDCS.2006.83,:
在法定人数制度中容忍拜占庭错误客户。 ICDCS系统 :34]]>https://dblp.org/rec/conf/icdcs/LiskovR062006年1月1日，星期日00:00:00+0100 无平面化地理布线。http://www.usenix.org/events/nsdi06/tech/leong.html,,:
没有平面化的地理路线。 NSDI公司 ]]>https://dblp.org/rec/conf/nsdi/L昂LM062006年1月1日，星期日00:00:00+0100 HQ复制：拜占庭容错的混合仲裁协议。http://www.usenix.org/events/osdi06/tech/cowling.html,,,,:
HQ复制：拜占庭容错的混合仲裁协议。 OSDI公司 :177-190]]>https://dblp.org/rec/conf/osdi/CowlingMLRS062006年1月1日，星期日00:00:00+0100 路径向量面布线：具有局部面信息的地理布线。https://doi.org/10.109/ICNP.2005.32,,:
路径向量面布线：具有局部面信息的地理布线。 ICNP公司 :147-158]]>https://dblp.org/rec/conf/icnp/LeongML052005年1月1日星期六00:00:00+0100 DHT中的高可用性：擦除编码与复制。https://doi.org/10.1007/11558989_21,:
DHT中的高可用性：擦除编码与复制。 IPTPS公司 :226-239]]>https://dblp.org/rec/conf/iptps/RodriguesL052005年1月1日星期六00:00:00+0100 拜占庭客户无害。https://doi.org/10.1007/11561927_35,:
拜占庭客户无害。 磁盘 :487-489]]>https://dblp.org/rec/conf/wdag/LiskovR052005年1月1日星期六00:00:00+0100 EpiChord：将弦查找算法与反应式路由状态管理并行化。https://doi.org/10.109/ICON.2004.1409145,,:
EpiChord：将弦查找算法与反应式路由状态管理并行化。 偶像 :270-276]]>https://dblp.org/rec/conf/icon/L昂LD042004年1月1日星期四00:00:00+0100 对等覆盖的高效路由。http://www.usenix.org/events/nsdi04/tech/gupta.html,,:
对等覆盖的高效路由。 NSDI公司 :113-126]]>https://dblp.org/rec/conf/nsdi/GuptaLR042004年1月1日星期四00:00:00+0100 TimeLine：分布式对象存储的高性能存档。http://www.usenix.org/events/nsdi04/tech/moh.html,:
TimeLine：分布式对象存储的高性能存档。 NSDI公司 :351-364]]>https://dblp.org/rec/conf/nsdi/MohL042004年1月1日星期四00:00:00+0100 简要声明：可重构拜占庭容错原子存储器。https://doi.org/10.1145/1011767.111847,:
简要声明：可重构拜占庭容错原子存储器。 PODC公司 :386]]>https://dblp.org/rec/conf/podc/罗德里格斯L042004年1月1日星期四00:00:00+0100 事务性文件系统可以很快。https://doi.org/10.1145/1133572.1133592,:
事务性文件系统可以很快。 ACM SIGOPS欧洲研讨会 :5]]>https://dblp.org/rec/conf/sigopsE/LiskovR042004年1月1日星期四00:00:00+0100 基础：使用抽象提高容错能力。https://doi.org/10.1145/859716.859718,,:
基础：使用抽象提高容错能力。 ACM事务处理。计算。系统。 21(三):236-269()]]>https://dblp.org/rec/journals/tocs/CastroRL032003年1月1日，星期三00:00:00+0100 一步查找对等覆盖。https://www.usenix.org/conference/hotos-ix/one-hop-lookups-peer-peer-overlay,,:
一步查找对等覆盖。 热操作系统 :7-12]]>https://dblp.org/rec/conf/hotos/GuptaLR032003年1月1日，星期三00:00:00+0100 调度和仿真：如何升级分布式系统。https://www.usenix.org/conference/hotos-ix/scheduling-and-simulation-how-upgrade-distributed-systems（网址：https://www.usenix.org/conference/hotos-ix/scheduling-and-simulation-how-upgrade-distributed-systems）,,:
调度和仿真：如何升级分布式系统。 热操作系统 :43至48]]>https://dblp.org/rec/conf/hotos/AjmaniLS032003年1月1日，星期三00:00:00+0100 持久对象存储中的延迟模块化升级。https://doi.org/10.1145/949305.949341,,,,:
持久对象存储中的延迟模块化升级。 乌普斯拉 :403-417]]>https://dblp.org/rec/conf/oopsla/BoyapatiLSMR032003年1月1日，星期三00:00:00+0100 对象封装的所有权类型。https://doi.org/10.1145/604131.604156,,:
对象封装的所有权类型。 POPL公司 :213-223]]>https://dblp.org/rec/conf/popl/BoyapatiLS032003年1月1日，星期三00:00:00+0100 实用的拜占庭容错和主动恢复。https://doi.org/10.1145/571637.571640,:
实用的拜占庭容错和主动恢复。 ACM事务处理。计算。系统。 20(4):398-461()]]>https://dblp.org/rec/journals/tocs/CastroL022002年1月1日星期二00:00:00+0100 稳健对等系统的设计。https://doi.org/10.1145/1133373.1133396,,:
稳健对等系统的设计。 ACM SIGOPS欧洲研讨会 :117-124]]>https://dblp.org/rec/conf/sigopsE/罗德里格斯LS022002年1月1日星期二00:00:00+0100 Java程序开发——抽象、规范和面向对象设计。https://dblp.org/pid/l/BarbaraLiskov.html,:
Java程序开发——抽象、规范和面向对象设计。 出版商 ，国际标准图书编号978-0-201-65768-5第I-XIX页，1-443页]]>https://dblp.org/rec/books/daglib/002266522001年1月1日星期一00:00:00+0100 拜占庭容错可以很快实现。https://doi.org/10.109/DSN.2001.941437,:
拜占庭容错可以很快实现。 DSN（DSN） :513-518]]>https://dblp.org/rec/conf/dsn/CastroL01网址2001年1月1日星期一00:00:00+0100 使用抽象提高容错性。https://doi.org/10.109/HOTOS.2001.990057,,:
使用抽象提高容错性。 热操作系统 :27-32]]>https://dblp.org/rec/conf/hotos/CastroRL012001年1月1日星期一00:00:00+0100 基础：使用抽象提高容错性。https://doi.org/10.1145/502034.502037,,:
基础：使用抽象提高容错性。 SOSP（标准操作程序） :15-28]]>https://dblp.org/rec/conf/sosp/罗德里格斯CL012001年1月1日星期一00:00:00+0100 使用分散标签模型保护隐私。https://doi.org/10.1145/363516.363526,:
使用分散标签模型保护隐私。 ACM事务处理。柔和。工程方法。 9(4):410-442()]]>https://dblp.org/rec/journals/tosem/MyersL002000年1月1日星期六00:00:00+0100 通用隔离级别定义。https://doi.org/10.109/ICDE.2000.839388,,:
通用隔离级别定义。 集成电路驱动单元 :67-78]]>https://dblp.org/rec/conf/icde/AdyaLO002000年1月1日星期六00:00:00+0100 拜占庭容错系统中的主动恢复。http://dl.acm.org/citation.cfm？id=1251248,:
拜占庭容错系统中的主动恢复。 OSDI公司 :273-288]]>https://dblp.org/rec/conf/osdi/CastroL002000年1月1日星期六00:00:00+0100 在分布式系统中提供持久对象。https://doi.org/10.1007/3-540-48743-3_11,,,:
在分布式系统中提供持久对象。 ECOOP公司 :230至257]]>https://dblp.org/rec/conf/ecop/LiskovCSA991999年1月1日，星期五00:00:00+0100 实用拜占庭容错。https://dl.acm.org/citation.cfm？id=296824,:
实用拜占庭容错。 OSDI公司 :173-186]]>https://dblp.org/rec/conf/osdi/CastroL991999年1月1日，星期五00:00:00+0100 使用分散标签实现完整、安全的信息流。https://doi.org/10.109/SECPRI.1998.674834,:
使用分散标签实现完整、安全的信息流。 标准普尔 :186-197]]>https://dblp.org/rec/conf/sp/MyersL981998年1月1日星期四00:00:00+0100 通过受控迁移收集循环分布式垃圾。https://doi.org/10.1007/s004460050026,:
通过受控迁移收集循环分布式垃圾。 分布式计算。 10(2):79-86()]]>https://dblp.org/rec/journals/dc/MaheshwariL971997年1月1日，星期三00:00:00+0100 片段重建：在事务存储系统中提供全局缓存一致性。https://doi.org/10.109/ICDCS.1997.597803,,,,:
片段重建：在事务存储系统中提供全局缓存一致性。 ICDCS系统 :2-11]]>https://dblp.org/rec/conf/icdcs/AdyaCLMS971997年1月1日，星期三00:00:00+0100 使用松散同步时钟的延迟一致性。https://doi.org/10.1145/259380.259425,:
使用松散同步时钟的延迟一致性。 PODC公司 :73-82]]>https://dblp.org/rec/conf/podc/AdyaL971997年1月1日，星期三00:00:00+0100 通过回溯收集分布式垃圾循环。https://doi.org/10.1145/259380.259444,:
通过回溯收集分布式垃圾循环。 PODC公司 :239-248]]>https://dblp.org/rec/conf/podc/MaheshwariL971997年1月1日，星期三00:00:00+0100 Java的参数化类型。https://doi.org/10.1145/263699.263714,,:
Java的参数化类型。 POPL公司 :132-145]]>https://dblp.org/rec/conf/popl/BankLM971997年1月1日，星期三00:00:00+0100 大型对象存储的分区垃圾收集。https://doi.org/10.1145/253260.253338,:
大型对象存储的分区垃圾收集。 SIGMOD会议 :313-323]]>https://dblp.org/rec/conf/sigmod/MaheshwariL971997年1月1日，星期三00:00:00+0100 HAC：分布式存储系统的混合自适应缓存。https://doi.org/10.1145/268998.266666,,,:
HAC：分布式存储系统的混合自适应缓存。 SOSP（标准操作程序） :102-115]]>https://dblp.org/rec/conf/sosp/CastroALM971997年1月1日，星期三00:00:00+0100 信息流控制的分散模型。https://doi.org/10.1145/268998.266669,:
信息流控制的分散模型。 SOSP（标准操作程序） :129-142年]]>https://dblp.org/rec/conf/sosp/MyersL971997年1月1日，星期三00:00:00+0100 类型安全的异构共享可以很快实现。https://dblp.org/pid/l/BarbaraLiskov.html,,,:
类型安全的异构共享可以很快实现。 销售时点情报系统 :1-10]]>https://dblp.org/rec/conf/pos/LiskovACZ961996年1月1日星期一00:00:00+0100 碎片重建：一种用于分割缓存存储系统的新缓存一致性方案。https://dblp.org/pid/l/BarbaraLiskov.html,,,:
碎片重建：一种用于分割缓存存储系统的新缓存一致性方案。 销售时点情报系统 :128-139]]>https://dblp.org/rec/conf/pos/ShriraLCA96网址1996年1月1日星期一00:00:00+0100 Thor中持久对象的安全高效共享。https://doi.org/10.1145/233269.233346,,,,,,,,:
Thor中持久对象的安全高效共享。 SIGMOD会议 :318至329]]>https://dblp.org/rec/conf/sigmod/LiskovACDGGMMS961996年1月1日星期一00:00:00+0100 如何扩展事务性存储系统。https://doi.org/10.1145/504450.504474,,,:
如何扩展事务性存储系统。 ACM SIGOPS欧洲研讨会 :121-127]]>https://dblp.org/rec/conf/sigopsE/ShrraLCA961996年1月1日星期一00:00:00+0100 子类型与Where子句：约束参数多态性。https://doi.org/10.1145/217838.217852,,,:
子类型与Where子句：约束参数多态性。 乌普斯拉 :156-168]]>https://dblp.org/rec/conf/oopsla/DayGLM951995年1月1日，星期日00:00:00+0100 使用启发式控制迁移来收集循环分布式垃圾。https://doi.org/10.1145/224964.224971,:
使用启发式控制迁移来收集循环分布式垃圾。 PODC公司 :57-63]]>https://dblp.org/rec/conf/podc/MaheshwariL951995年1月1日，星期日00:00:00+0100 使用松散同步时钟的高效乐观并发控制。https://doi.org/10.1145/223784.223787,,,:
使用松散同步时钟的高效乐观并发控制。 SIGMOD会议 :23至34]]>https://dblp.org/rec/conf/sigmod/AdyaGLM951995年1月1日，星期日00:00:00+0100 使用修改的对象缓冲区提高面向对象数据库的写入性能。https://doi.org/10.1145/24056/225834,,:
使用修改的对象缓冲区提高面向对象数据库的写入性能。 SOSP（标准操作程序） :235]]>https://dblp.org/rec/conf/sosp/GhemawatKL951995年1月1日，星期日00:00:00+0100 规范及其在定义子类型中的使用。https://doi.org/10.1007/3-540-60271-2_124,:
规范及其在定义子类型中的使用。 ZUM公司 :245-263]]>https://dblp.org/rec/conf/zum/LiskovW951995年1月1日，星期日00:00:00+0100 亚型的行为概念。https://doi.org/10.1145/197320.197383,:
亚型的行为概念。 ACM事务处理。程序。语言系统。 16(6):1811-1841()]]>https://dblp.org/rec/journals/toplas/LiskovW941994年1月1日星期六00:00:00+0100 使用成批期货减少跨域呼叫开销。https://doi.org/10.1145/191080.191133,:
使用成批期货减少跨域呼叫开销。 乌普斯拉 :341-354]]>https://dblp.org/rec/conf/oopsla/BogleL941994年1月1日星期六00:00:00+0100 客户端-服务器面向对象数据库中的容错分布式垃圾收集。https://doi.org/10.109/PDIS.1994.331710,:
客户端-服务器面向对象数据库中的容错分布式垃圾收集。 项目开发信息系统 :239-248]]>https://dblp.org/rec/conf/pdis/MaheshwariL941994年1月1日星期六00:00:00+0100 Thor面向对象数据库系统中的断开操作。https://doi.org/10.109/WMCSA.1994.21,,,:
Thor面向对象数据库系统中的断开操作。 WMCSA公司 :51-56]]>https://dblp.org/rec/conf/wmcsa/GruberKLS941994年1月1日星期六00:00:00+0100 分布式系统中同步时钟的实际应用。https://doi.org/10.1007/BF02242709:
分布式系统中同步时钟的实际应用。 分布式计算。 6(4):211-219()]]>https://dblp.org/rec/journals/dc/Liskov931993年1月1日，星期五00:00:00+0100 Thor中对远程移动对象的引用。https://doi.org/10.1145/176454.176500,,,:
Thor中对远程移动对象的引用。 洛普拉斯 2(1-4):115-126()]]>https://dblp.org/rec/journals/loplas/DayLMM931993年1月1日，星期五00:00:00+0100 子类型关系的新定义。https://doi.org/10.1007/3-540-47910-4_8,:
子类型关系的新定义。 ECOOP公司 :118-141]]>https://dblp.org/rec/conf/ecop/LiskovW931993年1月1日星期五00:00:00+0100 CLU的历史。https://doi.org/10.1145/154766.155367:
CLU的历史。 HOPL预印本 :133-147]]>https://dblp.org/rec/conf/hopl/Liskov931993年1月1日，星期五00:00:00+0100 规范及其在定义子类型中的使用。https://doi.org/10.1145/165854.165863,:
规范及其在定义子类型中的使用。 乌普斯拉 :16-28]]>https://dblp.org/rec/conf/oopsla/LiskovW931993年1月1日，星期五00:00:00+0100 第十四届ACM操作系统原理研讨会论文集，SOSP 1993，格罗夫公园酒店和乡村俱乐部，美国北卡罗来纳州阿什维尔，1993年12月5-8日。https://doi.org/10.1145/168619,:
第十四届ACM操作系统原理研讨会论文集，SOSP 1993，格罗夫公园酒店和乡村俱乐部，美国北卡罗来纳州阿什维尔，1993年12月5-8日。 ACM公司 ，国际标准图书编号0-89791-632-8 [目录]]]>https://dblp.org/rec/conf/sosp/19931993年1月1日，星期五00:00:00+0100 使用延迟复制提供高可用性。https://doi.org/10.1145/138873.138877,,,:
使用延迟复制提供高可用性。 ACM事务处理。计算。系统。 10(4):360-391()]]>https://dblp.org/rec/journals/tocs/LadinLSG921992年1月1日，星期三00:00:00+0100 分布式堆的垃圾收集。https://doi.org/10.109/ICDCS.1992.235116,:
分布式堆的垃圾收集。 ICDCS系统 :708-715]]>https://dblp.org/rec/conf/icdcs/LadinL921992年1月1日，星期三00:00:00+0100 Thor中的分布式对象管理。https://dblp.org/pid/l/BarbaraLiskov.html,,:
Thor中的分布式对象管理。 IWDOM公司 :79-91]]>https://dblp.org/rec/conf/oodbs/LiskovDS921992年1月1日，星期三00:00:00+0100 竖琴的高效恢复。https://dblp.org/pid/l/BarbaraLiskov.html,,,,:
竖琴的高效恢复。 复制数据管理研讨会 :104-106]]>https://dblp.org/rec/conf/wmrd/LiskovGGJS921992年1月1日，星期三00:00:00+0100 延迟复制：利用分布式服务的语义（扩展抽象）。https://doi.org/10.1145/122140.122144,,:
延迟复制：利用分布式服务的语义（扩展抽象）。 ACM SIGOPS操作。系统。版次。 25(1):49-55()]]>https://dblp.org/rec/journals/sigops/LadinLS911991年1月1日星期二00:00:00+0100 复制的Unic文件系统。https://doi.org/10.1145/122140.122146,,,:
复制的Unic文件系统。 ACM SIGOPS操作。系统。版次。 25(1):60-64()]]>https://dblp.org/rec/journals/sigops/LiskovGJS911991年1月1日星期二00:00:00+0100 基于同步时钟的高效即时消息。https://doi.org/10.1145/103720.103722,,:
基于同步时钟的高效即时消息。 ACM事务处理。计算。系统。 9(2):125至142()]]>https://dblp.org/rec/journals/tocs/LiskovSW911991年1月1日星期二00:00:00+0100 分布式系统中同步时钟的实际应用。https://doi.org/10.1145/12600.112601:
分布式系统中同步时钟的实际应用。 PODC公司 :1-9]]>https://dblp.org/rec/conf/podc/Liskov911991年1月1日星期二00:00:00+0100 竖琴文件系统中的复制。https://doi.org/10.1145/121121121169网址,,,,,:
竖琴文件系统中的复制。 SOSP（标准操作程序） :226-238]]>https://dblp.org/rec/conf/sosp/LiskovGGJSW911991年1月1日星期二00:00:00+0100 延迟复制：利用分布式服务的语义。https://doi.org/10.1145/93385.93399,,:
延迟复制：利用分布式服务的语义。 PODC公司 :43-57]]>https://dblp.org/rec/conf/podc/LadinLS901990年1月1日星期一00:00:00+0100 系统实现I-简介。https://dblp.org/pid/l/BarbaraLiskov.html:
系统实现I-简介。 销售时点情报系统 :87-88]]>https://dblp.org/rec/conf/pos/Liskov901990年1月1日星期一00:00:00+0100 用于异构分布式系统的高可用对象存储库。https://dblp.org/pid/l/BarbaraLiskov.html,,,:
用于异构分布式系统的高可用对象存储库。 销售时点情报系统 :255-266]]>https://dblp.org/rec/conf/pos/LiskovJGS901990年1月1日星期一00:00:00+0100 基于同步时钟的高效最多一次消息。https://doi.org/10.1145/99508.99530,,:
基于同步时钟的高效即时消息。 SIGCOMM公司 :41-49]]>https://dblp.org/rec/conf/sigcomm/LiskovSW901990年1月1日星期一00:00:00+0100 延迟复制：利用分布式服务的语义。https://doi.org/10.1145/504136.504138,,:
延迟复制：利用分布式服务的语义。 ACM SIGOPS欧洲研讨会 ]]>https://dblp.org/rec/conf/sigopsE/LadinLS901990年1月1日星期一00:00:00+0100 复制的Unix文件系统。https://doi.org/10.1145/504136.504140,,,:
复制的Unix文件系统。 ACM SIGOPS欧洲研讨会 ]]>https://dblp.org/rec/conf/sigopsE/LiskovGJS901990年1月1日星期一00:00:00+0100 复制的Unix文件系统。https://dblp.org/pid/l/BarbaraLiskov.html,,,:
复制的Unix文件系统。 复制数据管理研讨会 :11-14]]>https://dblp.org/rec/conf/wmrd/LiskovGJS901990年1月1日星期一00:00:00+0100 延迟复制：利用分布式服务的语义。https://dblp.org/pid/l/BarbaraLiskov.html,,:
延迟复制：利用分布式服务的语义。 复制数据管理研讨会 :31-34]]>https://dblp.org/rec/conf/wmrd/LadinLS901990年1月1日星期一00:00:00+0100 Linda的容错分布式实现的设计。https://doi.org/10.109/FTCS.1989.105566,:
Linda的容错分布式实现的设计。 FTCS（飞行时间控制系统） :199-206]]>https://dblp.org/rec/conf/ftcs/XuL891989年1月1日，星期日00:00:00+0100 基于同步时钟的高效即时消息。https://doi.org/10.109/WWOS.1989.109271,,:
基于同步时钟的高效即时消息。 世界野生动物保护组织 :73-81]]>https://dblp.org/rec/conf/hotos/LiskovSW891989年1月1日，星期日00:00:00+0100 原子垃圾收集：管理稳定堆。https://doi.org/10.1145/67544.66928,,:
原子垃圾收集：管理稳定堆。 SIGMOD会议 :15-25]]>https://dblp.org/rec/conf/sigmod/KolodnerLW891989年1月1日，星期日00:00:00+0100 构建高可用服务的技术。https://doi.org/10.1007/BF01762124,,:
构建高可用服务的技术。 算法 三:393-420()]]>https://dblp.org/rec/journals/algorithmica/LadinLS881988年1月1日星期五00:00:00+0100 Argus中的分布式编程。https://doi.org/10.1145/42392.42399:
Argus中的分布式编程。 公社。ACM公司 31(三):300-312()]]>https://dblp.org/rec/journals/cacm/Liskov881988年1月1日，星期五00:00:00+0100 承诺：分布式系统中高效异步过程调用的语言支持。https://doi.org/10.1145/53990.54016,:
承诺：分布式系统中高效异步过程调用的语言支持。 PLDI公司 :260-267]]>https://dblp.org/rec/conf/pldi/LiskovS881988年1月1日，星期五00:00:00+0100 查看戳复制：通用主副本。https://doi.org/10.1145/62546.62549,:
查看戳复制：通用主副本。 PODC公司 :8-17]]>https://dblp.org/rec/conf/podc/OkiL881988年1月1日，星期五00:00:00+0100 主题演讲-数据抽象和层次结构。https://doi.org/10.1145/62138.62141:
主题演讲-数据抽象和层次结构。 OOPSLA补遗 :17-34]]>https://dblp.org/rec/conf/oopsla/Liskov871987年1月1日星期四00:00:00+0100 Argus的实施。https://doi.org/10.1145/41457.37514,,,:
Argus的实施。 SOSP（标准操作程序） :111-122]]>https://dblp.org/rec/conf/sosp/LiskovCJS871987年1月1日星期四00:00:00+0100 分布式程序规范。https://doi.org/10.1007/BF01786229,:
分布式程序规范。 分布式计算。 1(2):102-118()]]>https://dblp.org/rec/journals/dc/LiskovW861986年1月1日，星期三00:00:00+0100 阿古斯。https://doi.org/10.1007/BFb0042329:
阿古斯。 容错分布式计算 :108-114]]>https://dblp.org/rec/conf/ftdc/Liskov861986年1月1日，星期三00:00:00+0100 高可用分布式服务和容错分布式垃圾收集。https://doi.org/10.1145/10590.10593,:
高可用分布式服务和容错分布式垃圾回收。 PODC公司 :29-39]]>https://dblp.org/rec/conf/podc/LiskovL861986年1月1日，星期三00:00:00+0100 分布式计算语言中静态进程结构同步通信的局限性。https://doi.org/10.1145/512644.512658,,:
分布式计算语言中静态进程结构同步通信的局限性。 POPL公司 :150-159]]>https://dblp.org/rec/conf/popl/LiskovHG861986年1月1日，星期三00:00:00+0100 弹性原子数据类型的实现。https://doi.org/10.1145/3318.3319,:
弹性原子数据类型的实现。 ACM事务处理。程序。语言系统。 7(2):244-269()]]>https://dblp.org/rec/journals/toplas/WeihlL851985年1月1日星期二00:00:00+0100 支持原子操作的可靠对象存储。https://doi.org/10.1145/323647.323642,,:
支持原子操作的可靠对象存储。 SOSP（标准操作程序） :147-159]]>https://dblp.org/rec/conf/sosp/OkiLS851985年1月1日，星期二00:00:00+0100 分布式系统：规范的方法和工具，高级课程，1984年4月3日至12日和1985年4月16日至25日，德国慕尼黑。https://doi.org/10.1007/3-540-15216-4,,,,,,:
《分布式系统：规范的方法和工具》，高级课程，1984年4月3日至12日和1985年4月16日至25日，德国慕尼黑。 计算机科学课堂讲稿190,施普林格 ，国际标准图书编号3-540-15216-4 [目录]]]>https://dblp.org/rec/conf/ac/1984ds1985年1月1日星期二00:00:00+0100 80年代的编程语言问题：SIGPLAN’83：软件系统编程语言问题研讨会。https://doi.org/10.1145/988241.988243,,,,,:
80年代的编程语言问题：SIGPLAN’83：软件系统编程语言问题研讨会。 ACM SIGPLAN通知 19(8):51-61()]]>https://dblp.org/rec/journals/sigplan/RoweDFLLW841984年1月1日，星期日00:00:00+0100 阿古斯语言和系统。https://doi.org/10.1007/3-540-15216-4_17:
阿古斯语言和系统。 高级课程：分布式系统 :343-430]]>https://dblp.org/rec/conf/ac/Liskov841984年1月1日星期日00:00:00+0100 守护者和行动：对健壮的分布式程序的语言支持。https://doi.org/10.1145/2166.357215,:
守护者和行动：对健壮的分布式程序的语言支持。 ACM事务处理。程序。语言系统。 5(三):381-404()]]>https://dblp.org/rec/journals/toplas/LiskovS831983年1月1日星期六00:00:00+0100 分布式程序的发布过程和通信结构。https://dblp.org/pid/l/BarbaraLiskov.html,:
分布式程序的发布过程和通信结构。 分布式软件和数据库系统可靠性研讨会 :123-132]]>https://dblp.org/rec/conf/srds/LiskovH831983年1月1日星期六00:00:00+0100 弹性原子数据类型的规范和实现。https://doi.org/10.1145/800226.806851,:
弹性原子数据类型的规范和实现。 SIGPLAN（SIGPLAN） :53-64]]>https://dblp.org/rec/journals/sigplan/WeihlL831983年1月1日星期六00:00:00+0100 抽象数据类型的值传输方法。https://doi.org/10.1145/69622.357182,:
抽象数据类型的值传输方法。 ACM事务处理。程序。语言系统。 4(4):527-551()]]>https://dblp.org/rec/journals/toplas/HerlihyL821982年1月1日，星期五00:00:00+0100 分布式程序的语言支持。https://doi.org/10.109/TSE.1982.235250:
分布式程序的语言支持。 IEEE传输。软件工程。 8(三):203-210()]]>https://dblp.org/rec/journals/tse/Liskov821982年1月1日，星期五00:00:00+0100 守护者和行动：对健壮的分布式程序的语言支持。https://doi.org/10.1145/582153.582155,:
守护者和行动：对健壮的分布式程序的语言支持。 POPL公司 :7年至19年]]>https://dblp.org/rec/conf/popl/LiskovS821982年1月1日，星期五00:00:00+0100 CLU参考手册。https://doi.org/10.1007/BFb0035014,,,,,,:
CLU参考手册。 计算机科学课堂讲稿114,施普林格 ，国际标准图书编号3-540-10836-X型]]>https://dblp.org/rec/books/sp/Liskov811981年1月1日星期四00:00:00+0100 分布式计算基本问题研讨会报告，加利福尼亚州法尔布鲁克，1980年12月。https://dblp.org/pid/l/BarbaraLiskov.html:
分布式计算基本问题研讨会报告，加利福尼亚州法尔布鲁克，1980年12月。 ACM SIGOPS操作。系统。版次。 15(三):9-38()]]>https://dblp.org/rec/journals/sigops/Liskov811981年1月1日星期四00:00:00+0100 CLU中的异常处理。https://doi.org/10.109/TSE.1979.230191,:
CLU中的异常处理。 IEEE传输。软件工程。 5(6):546-558()]]>https://dblp.org/rec/journals/tse/LiskovS791979年1月1日星期一00:00:00+0100 使用抽象的模块化程序构造。https://doi.org/10.1007/3-540-10007-5_43:
使用抽象的模块化程序构造。 抽象软件规范 :354-389]]>https://dblp.org/rec/conf/ac/Liskov791979年1月1日，星期一00:00:00+0100 分布式计算的基本体。https://doi.org/10.1145/800215.806567:
分布式计算的基本体。 SOSP（标准操作程序） :33-42]]>https://dblp.org/rec/conf/sosp/Liskov791979年1月1日，星期一00:00:00+0100 表示数据访问约束的语言扩展。https://doi.org/10.1145/359488.359493,:
表示数据访问约束的语言扩展。 公社。ACM公司 21(5):358-367()]]>https://dblp.org/rec/journals/cacm/JonesL781978年1月1日，星期日00:00:00+0100 实施CLU的方面。https://doi.org/10.1145/800127.804079,,:
实施CLU的方面。 ACM年会（1） :123-129]]>https://dblp.org/rec/conf/acm/AtkinsonLS781978年1月1日，星期日00:00:00+0100 DBMS研究与计算机科学其他学科的交叉（小组讨论）。https://doi.org/10.1145/800127.804121,,,,:
DBMS研究与计算机科学其他学科的交叉（小组讨论）。 ACM年会（1） :325]]>https://dblp.org/rec/conf/acm/BhargavaKLMU78网址1978年1月1日星期日00:00:00+0100 编程方法研究的实际益处（演示摘要）。https://dblp.org/pid/l/BarbaraLiskov.html:
编程方法研究的实际益处（演示摘要）。 AFIPS全国计算机会议 :666]]>https://dblp.org/rec/conf/afips/Liskov781978年1月1日，星期日00:00:00+0100 问答环节的成绩单。https://doi.org/10.1145/800025.1198363:
问答环节的成绩单。 HOPL公司 :195-196]]>https://dblp.org/rec/conf/hopl/Liskov781978年1月1日，星期日00:00:00+0100 提交的所有问题的全文。https://doi.org/10.1145/800025.1198364:
提交的所有问题的全文。 HOPL公司 :196-197]]>https://dblp.org/rec/conf/hopl/Liskov78a1978年1月1日，星期日00:00:00+0100 约翰·麦卡锡传记。https://doi.org/10.1145/800025.1198365:
约翰·麦卡锡传记。 HOPL公司 :197]]>https://dblp.org/rec/conf/hopl/Liskov78b1978年1月1日，星期日00:00:00+0100 问答环节记录。https://doi.org/10.1145/800025.1198388:
问答环节的成绩单。 HOPL公司 :435-436]]>https://dblp.org/rec/conf/hopl/Liskov78c1978年1月1日，星期日00:00:00+0100 提交的所有问题的全文。https://doi.org/10.1145/800025.1198389:
提交的所有问题的全文。 啤酒花 :436-437]]>https://dblp.org/rec/conf/hopl/Liskov78d1978年1月1日，星期日00:00:00+0100 杰弗里·戈登传记。https://doi.org/10.1145/800025.1198390:
杰弗里·戈登传记。 HOPL公司 :437]]>https://dblp.org/rec/conf/hopl/Liskov78e1978年1月1日，星期日00:00:00+0100 问答环节的成绩单。https://doi.org/10.1145/800025.1198395:
问答环节的成绩单。 HOPL公司 :490]]>https://dblp.org/rec/conf/hopl/Liskov78f1978年1月1日，星期日00:00:00+0100 提交的所有问题的全文。https://doi.org/10.1145/800025.1198396:
提交的所有问题的全文。 HOPL公司 :491]]>https://dblp.org/rec/conf/hopl/Liskov78g1978年1月1日，星期日00:00:00+0100 Kristen Nygaard传记。https://doi.org/10.1145/800025.1198397:
Kristen Nygaard传记。 啤酒花 :492]]>https://dblp.org/rec/conf/hopl/Liskov78h1978年1月1日，星期日00:00:00+0100 Ole-Johan Dahl传记。https://doi.org/10.1145/800025.1198398:
Ole-Johan Dahl传记。 HOPL公司 :493]]>https://dblp.org/rec/conf/hopl/Liskov78i1978年1月1日，星期日00:00:00+0100 CLU中的抽象机制。https://doi.org/10.1145/359763.359789,,,:
CLU中的抽象机制。 公社。ACM公司 20(8):564-576()]]>https://dblp.org/rec/journals/cacm/LiskovSAS771977年1月1日星期六00:00:00+0100 用于控制共享数据访问的语言扩展。https://doi.org/10.109/TSE.1976.233833,:
用于控制共享数据访问的语言扩展。 IEEE传输。软件工程。 2(4):277-285()]]>https://dblp.org/rec/journals/tse/JonesL761976年1月1日星期四00:00:00+0100 控制共享数据访问的语言扩展（摘要）。http://dl.acm.org/citation.cfm？id=807680,:
控制共享数据访问的语言扩展（摘要）。 ICSE公司 :235]]>https://dblp.org/rec/conf/icse/JonesL761976年1月1日星期四00:00:00+0100 数据类型和程序正确性。https://doi.org/10.1145/987305.987309:
数据类型和程序正确性。 ACM SIGPLAN通知 10(7):16-17()]]>https://dblp.org/rec/journals/sigplan/Liskov751975年1月1日，星期三00:00:00+0100 数据抽象规范技术。https://doi.org/10.109/TSE.1975.6312816,:
数据抽象规范技术。 IEEE传输。软件工程。 1(1):7-19()]]>https://dblp.org/rec/journals/tse/LiskovZ751975年1月1日，星期三00:00:00+0100 数据类型和程序正确性。https://doi.org/10.1145/1499949.150002:
数据类型和程序正确性。 AFIPS全国计算机会议 :285-286]]>https://dblp.org/rec/conf/afips/Liskov751975年1月1日，星期三00:00:00+0100 数据抽象的规范技术。https://doi.org/10.1145/800027.808426,:
数据抽象的规范技术。 可靠的软件 :72-87]]>https://dblp.org/rec/conf/relsoft/LiskovZ751975年1月1日，星期三00:00:00+0100 使用抽象数据类型编程。https://doi.org/10.1145/800233807045,:
使用抽象数据类型编程。 SIGPLAN高级语言研讨会 :50-59]]>https://dblp.org/rec/journals/sigplan/LiskovZ741974年1月1日星期二00:00:00+0100 结构化编程会议报告。https://doi.org/10.1145/80021.808267,:
关于结构化方案拟订的会议报告。 SIGPLAN-SIGOPS接口会议 :5-10]]>https://dblp.org/rec/conf/sigplan/FreiburghouseL731973年1月1日星期一00:00:00+0100 SPIL：一种用于构建可靠系统软件的语言。https://doi.org/10.1145/80021.808292,:
SPIL：一种用于构建可靠系统软件的语言。 SIGPLAN-SIGOPS接口会议 :100-103]]>https://dblp.org/rec/conf/sigplan/LiskovS731973年1月1日星期一00:00:00+0100 Venus操作系统的设计。https://doi.org/10.1145/361268.361272:
Venus操作系统的设计。 公社。ACM公司 15(三):144-149()]]>https://dblp.org/rec/journals/cacm/Liskov721972年1月1日星期六00:00:00+0100 可靠软件系统的设计方法。https://doi.org/10.1145/1479992.1480018:
可靠软件系统的设计方法。 AFIPS秋季联合计算会议（1） :191-199]]>https://dblp.org/rec/conf/afips/Liskov721972年1月1日星期六00:00:00+0100 Venus操作系统的设计。https://doi.org/10.1145/800212.806493:
Venus操作系统的设计。 SOSP（标准操作程序） :11-16]]>https://dblp.org/rec/conf/sosp/Liskov711971年1月1日星期五00:00:00+0100