首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Preface for special issue on Model Driven Development: Extended versions of selected papers from MODELSWARD 2014
被引:0
|
作者
:
Hammoudi, Slimane
论文数:
0
引用数:
0
h-index:
0
机构:
ESEO, Sch Engn, Angers, France
ESEO, Sch Engn, Angers, France
Hammoudi, Slimane
[
1
]
机构
:
[1]
ESEO, Sch Engn, Angers, France
来源
:
SCIENCE OF COMPUTER PROGRAMMING
|
2015年
/ 113卷
关键词
:
D O I
:
10.1016/j.scico.2015.10.007
中图分类号
:
TP31 [计算机软件];
学科分类号
:
081202 ;
0835 ;
摘要
:
引用
收藏
页码:1 / 2
页数:2
相关论文
共 50 条
[1]
Special Issue of Selected Extended Papers of IJCAR 2014 Preface
Demri, Stephane
论文数:
0
引用数:
0
h-index:
0
机构:
CNRS, LSV, 61 Ave President Wilson, F-94235 Cachan, France
ENS Cachan, 61 Ave President Wilson, F-94235 Cachan, France
CNRS, LSV, 61 Ave President Wilson, F-94235 Cachan, France
Demri, Stephane
Kapur, Deepak
论文数:
0
引用数:
0
h-index:
0
机构:
Univ New Mexico, Dept Comp Sci, Albuquerque, NM 87131 USA
CNRS, LSV, 61 Ave President Wilson, F-94235 Cachan, France
Kapur, Deepak
Weidenbach, Christoph
论文数:
0
引用数:
0
h-index:
0
机构:
Max Planck Inst Informat, Saarland Informat Campus,Bldg E1 4, D-66123 Saarbrucken, Germany
CNRS, LSV, 61 Ave President Wilson, F-94235 Cachan, France
Weidenbach, Christoph
JOURNAL OF AUTOMATED REASONING,
2017,
58
(01)
: 1
-
2
[2]
Preface to SCP special issue with extended selected papers from SBMF 2014
Braga, Christiano
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Fed Fluminense, Niteroi, RJ, Brazil
Univ Fed Fluminense, Niteroi, RJ, Brazil
Braga, Christiano
Marti-Oliet, Narciso
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Complutense Madrid, E-28040 Madrid, Spain
Univ Fed Fluminense, Niteroi, RJ, Brazil
Marti-Oliet, Narciso
SCIENCE OF COMPUTER PROGRAMMING,
2016,
126
: 1
-
2
[3]
Preface - Special Issue on selected and extended papers from FACS 2019 Preface
Jongmans, Sung-Shik
论文数:
0
引用数:
0
h-index:
0
Jongmans, Sung-Shik
Arbab, Farhad
论文数:
0
引用数:
0
h-index:
0
Arbab, Farhad
SCIENCE OF COMPUTER PROGRAMMING,
2022,
218
[4]
Special issue on selected and extended papers from SIMPAR 2016 PREFACE
Kroger, Torsten
论文数:
0
引用数:
0
h-index:
0
Kroger, Torsten
Menon, Samir
论文数:
0
引用数:
0
h-index:
0
Menon, Samir
Mombaur, Katja
论文数:
0
引用数:
0
h-index:
0
Mombaur, Katja
Kurniawati, Hanna
论文数:
0
引用数:
0
h-index:
0
Kurniawati, Hanna
Pavone, Marco
论文数:
0
引用数:
0
h-index:
0
Pavone, Marco
ADVANCED ROBOTICS,
2017,
31
(22)
: 1157
-
1158
[5]
Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Didier Galmiche
论文数:
0
引用数:
0
h-index:
0
机构:
Université de Lorraine,LORIA, CNRS
Didier Galmiche
Stephan Schulz
论文数:
0
引用数:
0
h-index:
0
机构:
Université de Lorraine,LORIA, CNRS
Stephan Schulz
Roberto Sebastiani
论文数:
0
引用数:
0
h-index:
0
机构:
Université de Lorraine,LORIA, CNRS
Roberto Sebastiani
Journal of Automated Reasoning,
2020,
64
: 1165
-
1167
[6]
Preface: Special Issue of Selected Extended Papers from IJCAR 2018
Galmiche, Didier
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Lorraine, CNRS, LORIA, Nancy, France
Univ Lorraine, CNRS, LORIA, Nancy, France
Galmiche, Didier
Schulz, Stephan
论文数:
0
引用数:
0
h-index:
0
机构:
Duale Hsch Baden Wurttemberg Stuttgart, Stuttgart, Germany
Univ Lorraine, CNRS, LORIA, Nancy, France
Schulz, Stephan
Sebastiani, Roberto
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Trento, Dept Informat Engn & Comp Sci, Trento, Italy
Univ Lorraine, CNRS, LORIA, Nancy, France
Sebastiani, Roberto
JOURNAL OF AUTOMATED REASONING,
2020,
64
(07)
: 1165
-
1167
[7]
Preface to Special issue with extended selected papers from FACS 2015
Braga, Christiano
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Fed Fluminense, Niteroi, RJ, Brazil
Univ Fed Fluminense, Niteroi, RJ, Brazil
Braga, Christiano
SCIENCE OF COMPUTER PROGRAMMING,
2017,
146
: 1
-
1
[8]
Preface to the Special Issue of selected papers from ThinFilms2014
Zhang, Sam
论文数:
0
引用数:
0
h-index:
0
Zhang, Sam
Goh, Gregory K. L.
论文数:
0
引用数:
0
h-index:
0
Goh, Gregory K. L.
Chen, Zhong
论文数:
0
引用数:
0
h-index:
0
Chen, Zhong
Chen, Jinju
论文数:
0
引用数:
0
h-index:
0
Chen, Jinju
Liu, Erjia
论文数:
0
引用数:
0
h-index:
0
Liu, Erjia
Li, Lin
论文数:
0
引用数:
0
h-index:
0
Li, Lin
Sun, Lidong
论文数:
0
引用数:
0
h-index:
0
Sun, Lidong
THIN SOLID FILMS,
2015,
584
: 1
-
1
[9]
Preface: Special Issue of Selected Extended Papers of IJCAR 2010
Giesl, Juergen
论文数:
0
引用数:
0
h-index:
0
机构:
Rhein Westfal TH Aachen, LuFG Informat 2, Aachen, Germany
Rhein Westfal TH Aachen, LuFG Informat 2, Aachen, Germany
Giesl, Juergen
Haehnle, Reiner
论文数:
0
引用数:
0
h-index:
0
机构:
Tech Univ Darmstadt, Dept Comp Sci, Darmstadt, Germany
Rhein Westfal TH Aachen, LuFG Informat 2, Aachen, Germany
Haehnle, Reiner
JOURNAL OF AUTOMATED REASONING,
2011,
47
(04)
: 337
-
339
[10]
Preface: Special Issue of Selected Extended Papers of CADE 2019
Fontaine, Pascal
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Liege, Montefiore Inst, Liege, Belgium
Univ Liege, Montefiore Inst, Liege, Belgium
Fontaine, Pascal
JOURNAL OF AUTOMATED REASONING,
2021,
65
(07)
: 891
-
892
←
1
2
3
4
5
→