掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science
IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Computability and Non-computability Issues in Amorphous Computing
机译:
无定形计算中的可计算性和非可计算性问题
作者:
Jiri Wiedermann
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
2.
The Algorithmic Complexity of k-Domatic Partition of Graphs
机译:
图形k-inatic分区的算法复杂度
作者:
Hongyu Liang
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
3.
On Union-Free and Deterministic Union-Free Languages
机译:
在联合和确定性联合语言上
作者:
Galina Jiraskova
;
Benedek Nagy
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
4.
Probabilistic Inference and Monadic Second Order Logic
机译:
概率推断和Monadic二阶逻辑
作者:
Marijke Hans L. Bodlaender
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
5.
Compositional Abstraction Techniques for Probabilistic Automata
机译:
概率自动机构的组成抽象技术
作者:
Falak Sher
;
Joost-Pieter Katoen
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
6.
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms
机译:
在随机化机制中的最差和平均案例隐私违规
作者:
Michele Boreale
;
Michela Paolini
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
关键词:
Foundations of security;
Quantitative information flow;
Differential privacy;
Utility;
Information theory;
7.
Efficient Algorithms for the MAX k-VERTEX COVER Problem
机译:
最大K-顶点封面问题的高效算法
作者:
Federico Della Croce
;
Vangelis Th. Paschos
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
8.
An Intersection Type System for Deterministic Pushdown Automata
机译:
确定性推动自动机的交叉点型系统
作者:
Takeshi Tsukada
;
Naoki Kobayashi
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
9.
Open Bisimulation for Quantum Processes
机译:
打开量子过程的双刺激
作者:
Yuxin Deng
;
Yuan Feng
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
10.
Proofs as Executions
机译:
证明是执行
作者:
Emmanuel Beffara
;
Virgile Mogbil
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
11.
Weak Bisimulations for Coalgebras over Ordered Functors
机译:
在有序仿函数上薄层泛滥的BICALAGA
作者:
Tomasz Brengos
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
关键词:
Coalgebra;
Bisimulation;
Saturator;
Weak bisimulation;
Weak coinduction;
12.
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
机译:
具有标称正则表达式的无限字母表中语言的表征
作者:
Alexander Kurz
;
Tomoyuki Suzuki
;
Emilio Tuosto
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
13.
Cinderella versus the Wicked Stepmother
机译:
灰姑娘与邪恶的继母
作者:
Marijke Hans L. Bodlaender
;
Cor A. J. Hurkens
;
Vincent J. J. Kusters
;
Frank Staals
;
Gerhard J. Woeginger
;
Hans Zantema
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
14.
On Properties and State Complexity of Deterministic State-Partition Automata
机译:
关于确定性状态分区自动机的性质与状态复杂性
作者:
Galina Jiraskova
;
Tomas Masopust
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
关键词:
Regular languages;
Finite automata;
Descriptional complexity;
Projections;
State-partition automata;
15.
Input-Driven Stack Automata
机译:
输入驱动的堆栈自动机
作者:
Suna Bensch
;
Markus Holzer
;
Martin Kutrib
;
Andreas Malcher
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
16.
Unidirectional Channel Systems Can Be Tested
机译:
可以测试单向通道系统
作者:
Petr Jancar
;
Prateek Karandikar
;
Philippe Schnoebelen
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
17.
Modal Interface Automata
机译:
模态界面自动机
作者:
Gerald Luttgen
;
Walter Vogler
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
18.
A Temporal Logic for Multi-threaded Programs
机译:
多线程程序的时间逻辑
作者:
Salvatore La Torre
;
Margherita Napoli
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
19.
A Modular LTS for Open Reactive Systems
机译:
用于开放式反应系统的模块化LTS
作者:
Fabio Gadducci
;
Giacoma Valentina Monreale
;
Ugo Montanari
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
关键词:
Open reactive systems;
Labelled transitions;
Tile systems;
20.
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words
机译:
无限单词上单数二阶逻辑公理化的模型理论证明
作者:
Colin Riba
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
21.
Static Single Information Form for Abstract Compilation
机译:
抽象汇编的静态单信息表
作者:
Davide Ancona
;
Giovanni Lagorio
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
22.
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
机译:
移动网络随机演出中的广播抽象
作者:
Lei Song
;
Jens Chr. Godskesen
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
23.
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics
机译:
分支和弱分配语义中的独特平行分解
作者:
Bas Luttik
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
24.
Formal Verification of Distributed Algorithms From Pseudo Code to Checked Proofs
机译:
从伪代码到检查证明的分布式算法的正式验证
作者:
Philipp Kufner
;
Uwe Nestmann
;
Christina Rickmann
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
25.
An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus Extended Abstract
机译:
Λμ的基于输出的语义,π-光跳扩展摘要中的显式取代
作者:
Steffen van Bakel
;
Maria Grazia Vigliotti
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
26.
A Context-Free Linear Ordering with an Undecidable First-Order Theory
机译:
无规矩的线性排序,具有不可确定的一阶理论
作者:
Arnaud Carayol
;
Zoltan Esik
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2012年
27.
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions
机译:
Onte函数的敏感性,块敏感度和证书复杂性和读取函数
作者:
Hiroki Morizumi
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
28.
Tropical Two-Way Automata
机译:
热带双向自动机
作者:
Vincent Carnino
;
Sylvain Lombardy
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
29.
The Lazy Matroid Problem
机译:
懒惰的matroid问题
作者:
Laurent Gourves
;
Jerome Monnot
;
Aris T. Pagourtzis
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
关键词:
Approximation algorithms;
Matroids;
Independent dominating set;
30.
Online Scheduling of Unit Length Jobs with Commitment and Penalties
机译:
单位长度与承诺和处罚的在线调度
作者:
Stanley P. Y. Fung
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
31.
Treewidth Computation and Kernelization in the Parallel External Memory Model
机译:
并行外部存储器模型中的树木宽化计算和内核
作者:
Riko Jacob
;
Tobias Lieber
;
Matthias Mnich
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
32.
Subshifts, MSO Logic, and Collapsing Hierarchies
机译:
Subswarts,MSO逻辑和折叠层次结构
作者:
Ilkka Torma
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
关键词:
Subshift;
MSO logic;
Quantifier alternation;
33.
Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks
机译:
在点对点网络中将大型文件流式传输的完美管制
作者:
Fei Chen
;
Xiaowei Wu
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
34.
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults
机译:
零抑制的二进制判决图有弹性索引故障
作者:
Anna Bernasconi
;
Valentina Ciriani
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
35.
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
机译:
小型λ - 微积分中的多项式和指数复杂性等级
作者:
Patrick Baillot
;
Erika De Benedetti
;
Simona Ronchi Della Rocca
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
关键词:
Implicit computational complexity;
Linear logic;
Lambda-calculus;
36.
Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm
机译:
快速非算法矩阵乘法通过弗罗维拉斯德算法的嘲弄
作者:
Jiri Wiedermann
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
37.
Primal Infon Logic with Conjunctions as Sets
机译:
原始InnoN逻辑与套装配合
作者:
Carlos Cotrini
;
Yuri Gurevich
;
Ori Lahav
;
Artem Melentyev
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
38.
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic
机译:
使用高阶模态Fixpoint Logic捕获Bisimulation-Invariant复杂性类
作者:
Martin Lange
;
Etienne Lozes
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
39.
The Inhabitation Problem for Non-idempotent Intersection Types
机译:
非幂态交叉路口类型的居住问题
作者:
Antonio Bucciarelli
;
Delia Kesner
;
Simona Ronchi Della Rocca
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
40.
Specifying and Verifying Properties of Space
机译:
指定和验证空间的属性
作者:
Vincenzo Ciancia
;
Diego Latella
;
Michele Loreti
;
Mieke Massink
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
41.
On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs
机译:
在二角形图中的部分顶点封面和预算的最大覆盖问题
作者:
Bugra Caskurlu
;
Vahan Mkrtchyan
;
Ojas Parekh
;
K. Subramani
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
关键词:
Bipartite graph;
Vertex cover problem;
Partial vertex cover problem;
Budgeted maximum coverage problem;
42.
Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions
机译:
并非所有多值的部分CFL功能都通过单值函数来精制
作者:
Tomoyuki Yamakami
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
关键词:
Multi-valued partial function;
CFL function;
NFA function;
Refinement;
Pushdown automaton;
Context-free language;
Stack history;
43.
Quantitative Types for the Linear Substitution Calculus
机译:
线性替代微积分的定量类型
作者:
Delia Kesner
;
Daniel Ventura
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
44.
Towards a Coalgebraic Chomsky Hierarchy
机译:
走向契机乔姆斯基等级
作者:
Sergey Goncharov
;
Stefan Milius
;
Alexandra Silva
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
45.
Looking at Separation Algebras with Boolean BI-eyes
机译:
用布尔双眼看分离代数
作者:
Dominique Larchey-Wendling
;
Didier Galmiche
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
46.
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
机译:
基于基础布拉斯的通用分区细化算法和加权自动机的实例化
作者:
Barbara Konig
;
Sebastian Kupper
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
47.
A Hoare-Like Calculus Using the SROIQ~σ Logic on Transformations of Graphs
机译:
使用Sriiq〜Σ逻辑在图形转换上的HOARE的微积分
作者:
Jon Hael Brenas
;
Rachid Echahed
;
Martin Strecker
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
关键词:
Description Logic;
Graph Transformation;
Programming Language Semantics;
Tableau Calculus;
48.
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
机译:
从Display Calculi到Deep嵌套搜索Calculi:正面为全直觉线性逻辑
作者:
Jeremy E. Dawson
;
Ranald Clouston
;
Rajeev Gore
;
Alwen Tiu
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
49.
Termination Analysis for Graph Transformation Systems
机译:
图形转换系统的终止分析
作者:
H. J. Sander Bruggink
;
Barbara Konig
;
Hans Zantema
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
50.
The Shortest Path Game: Complexity and Algorithms
机译:
最短的路径游戏:复杂性和算法
作者:
Andreas Darmann
;
Ulrich Pferschy
;
Joachim Schauer
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
关键词:
Shortest path problem;
Game theory;
Computational complexity;
Cactus graph;
51.
Parametric LTL on Markov Chains
机译:
马尔可夫链上的参数LTL
作者:
Souymodip Chakraborty
;
Joost-Pieter Katoen
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
52.
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
机译:
迭代基地攻击动态逻辑的强大完整性
作者:
Helle Hvid Hansen
;
Clemens Kupke
;
Raul Andres Leal
会议名称:
《IFIP TC1/WG 2.2 International Conference on Theoretical Computer Science》
|
2014年
意见反馈
回到顶部
回到首页