23.SOFSEM 1996：捷克共和国米洛维
基思·杰弗里 
, 雅罗斯拉夫·克拉尔 , 米罗斯拉夫·巴托塞克 :
SOFSEM’96：信息学理论与实践，第23届信息学理论和实践当前趋势研讨会，捷克共和国米洛维，1996年11月23日至30日，会议记录。 计算机科学课堂讲稿 1175, 施普林格 1996 ，十亿 3-540-61994-1
受邀论文
基础知识：
里卡多·A·贝扎·叶茨 :
字符串匹配算法的统一视图。 1-15 弗里德海姆·梅耶（Friedhem Meyer auf der Heide） , 克里斯蒂安·谢德勒 :
并行系统中的通信。 16-33
分布式并行计算
文尼·卡希尔 :
Tigger对象支持操作系统框架概述。 34-55 帕斯卡·德尚布克斯 , 丹尼尔·哈吉蒙特 , 雅克·莫西埃 , 泽维尔·罗塞特·德皮纳 :
Arias分布式共享内存：概述。 56-73 简·克莱因登斯 , Frantisek Plásil公司 , 彼得·图马 :
CORBA和对象服务。 74-93
AI和控制系统
数据库和电子文档
雅罗斯拉夫·波科恩 :
异构环境中的数据库语义。 125-142 肯尼斯·罗宾逊 , 达米安·麦克·兰德尔 :
商业案例处理-基本原理、调查和趋势。 143-160 阿诺·西贝斯 :
数据挖掘和KESO项目。 161-177
科学计算与可视化
编程与软件工程
马克·范登·布兰德 , 保罗·克林特 , 克里斯·弗霍夫 :
系统改造的核心技术。 235-254 阿里·德布鲁因 , 维姆·皮杰尔斯 :
游戏树搜索趋势。 255-274 杰里米·迪克 , 杰尔·卢贝萨克 :
VDM的可视化方法。 275-284 哈雷尔 :
状态图：过去、现在和未来（摘要）。 285 谢·库滕 :
可扩展容错。 286-306
已投稿论文
帕特里齐亚·阿西雷利 , 斯蒂芬妮娅·格内西 , 玛丽亚·克里斯蒂娜·罗西 :
对并发系统规范的演绎数据库支持。 309-316 大卫·贝德纳雷克 , 彼得·梅尔塔 , 大卫·奥伯德扎莱克 , 雅库布·雅戈布 , 菲利普·扎沃拉尔 :
T4系统中的进程间通信。 317-326 伊丽莎·贝尔蒂诺 , 多纳泰拉·卡斯泰利 , 费德里卡·维塔莱 :
OMT方法中状态图的形式化表示。 327-334 瓦斯科·布拉特卡 , 彼得·赫特林 :
可行的真正随机存取机器。 335-342 克里斯蒂娜·德卡斯特罗 :
多时相关系数据库的时态转换函数。 343-350 卡洛·盖比索 , 恩里科·纳德利 , 吉多·普罗埃蒂 :
集合并与交集问题的输出敏感解。 351-358 安娜·甘宾 , 斯拉沃米尔·拉索塔 :
关于多级互连网络的语义。 359-368 贾良翰 :
决策树、知识规则和一些相关的数据挖掘算法。 369-376 安东·库塞拉 :
多项式时间中规范BPA和规范BPP过程的正则性是可决定的。 377-392 萨尔瓦多·卢卡斯 , 哈维尔·奥利弗 :
并行过程微积分的一个新建议。 385-392 马西莫·马尔奇奥里 :
视觉语言规范：多重集作为第一类公民。 393-400 Frantisek先生 , 马丁·普拉特克 , 约格·沃格尔 :
通过重写重新启动Automata。 401-408 米罗斯拉夫·罗兹洛兹尼克 , 兹德内克·斯特拉科斯 , 米罗斯拉夫·图马 :
正交性在GMRES方法中的作用。 409-416 鲁彻奇卡 :
高效的树模式统一。 417-424 彼得·舒尔茨 :
无功系统规范的轻量级形式主义。 425-432 邵建华 :
报警数据分析中的知识发现。 433-440 基里·西马 :
阿姨的问题：圆桌会议。 441-450 伊万娜·沃夫索娃 :
用于最佳模式搜索的七头龙。 451-458 托马斯·沃纳 , 瓦克拉夫·拉瓦克 , 亚历斯·莱昂纳迪斯 , 托马斯·帕伊德拉 :
为基于图像的表示选择参考视图。 459-466 珍妮斯·泽洛夫尼克 :
识别图形产品和束。 467-474 约翰·杰斯卡 , 兹德内克·克拉托奇维尔（Zdenek Kratochvíl） :
基于遗传算法的汽车控制模糊规则库的创建。 475-482 奥拉夫·祖昆夫特 :
移动和主动数据库系统的事务模型。 483-490
