logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
E

Ezio Bartocci

technische universitat wien

37H指数
266论文数
4.4K被引数
收录论文 17
发表时间
logo
Hypernode automata超节点自动机
errACTA INFORMATICA
IF0.5
err2025-12-09
err0
errOAAI
errBartocci, Ezio; Chalupa, Marek; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira Da Costa, Ana
err分享
err收藏
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators一种用于检查具有界时态算子的信号时序逻辑可满足性的树形表格
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errMelani, Beatrice; Bartocci, Ezio; Chiari, Michele
err分享
err收藏
Cumulative-Time Signal Temporal Logic
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errChen, Hongkai; Zhang, Zeyu; Roy, Shouvik; Bartocci, Ezio; Smolka, Scott A.; Stoller, Scott; Lin, Shan
err分享
err收藏
Signal Feature Coverage and Testing for CPS Dataflow ModelsCPS数据流模型的信号特征覆盖与测试
errACM Transactions on Software Engineering and Methodology
IF6.2
err2025-08-18
err0
PREAI
errEzio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav
err分享
err收藏
Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control多智能体控制中时空逻辑规范满意度的量化
errIEEE Transactions on Automatic Control
IF7
err2025-08-01
err0
PREAI
errWenliang Liu; Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta
err分享
err收藏
Adaptive testing for specification coverage and refinement in CPS models
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2022-11-01
err2
errOAAI
errBartocci, Ezio; Bloem, Roderick; Maderbacher, Benedikt; Manjunath, Niveditha; Nickovic, Dejan
err分享
err收藏
Enforcing ethical goals over reinforcement-learning policies
errETHICS AND INFORMATION TECHNOLOGY
IF4
err2022-09-29
err5
errOAAI
errNeufeld, Emery A.; Bartocci, Ezio; Ciabattoni, Agata; Governatori, Guido
err分享
err收藏
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
errIEEE INTERNET OF THINGS JOURNAL
IF8.9
err2021-08-01
err0
errOAAI
errMa, Meiyi; Bartocci, Ezio; Lifland, Eli; Stankovic, John A.; Feng, Lu
err分享
err收藏
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
errIEEE ACCESS
IF3.6
err2020-01-01
err5
errOAAI
errShmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka, Scott A.; Zuliani, Paolo
err分享
err收藏
Quantitative Regular Expressions for Arrhythmia Detection
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2019-09-01
err11
errOAAI
errAbbas, Houssam; Rodionova, Alena; Mamouras, Konstantinos; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu
err分享
err收藏
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
errIEEE ACCESS
IF3.6
err2019-01-01
err86
errOAAI
errRatasich, Denise; Khalid, Faiq; Geissler, Florian; Grosu, Radu; Shafique, Muhammad; Bartocci, Ezio
err分享
err收藏
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2018-07-01
err0
PREAI
errBartocci, Ezio; Lio, Pietro; Paoletti, Nicola
err分享
err收藏
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
errIEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
IF5
err2018-03-01
err25
errOAAI
errBartocci, Ezio; Gol, Ebru Aydin; Haghighi, Iman; Belta, Calin
err分享
err收藏
Curvature Analysis of Cardiac Excitation Wavefronts
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2013-03-01
err9
errOAAI
errMurthy, Abhishek; Bartocci, Ezio; Fenton, Flavio H.; Glimm, James; Gray, Richard A.; Cherry, Elizabeth M.; Smolka, Scott A.; Grosu, Radu
err分享
err收藏
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
errCOMMUNICATIONS OF THE ACM
IF12.2
err2009-03-01
err66
errOAAI
errGrosu, Radu; Smolka, Scott A.; Corradini, Flavio; Wasilewska, Anita; Entcheva, Emilia; Bartocci, Ezio
err分享
err收藏
An agent-based multilayer architecture for bioinformatics grids
errIEEE TRANSACTIONS ON NANOBIOSCIENCE
IF4.4
err2007-06-01
err15
PREAI
errBartocci, Ezio; Cacciagrano, Diletta; Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Milanesi, Luciano; Romano, Paolo
err分享
err收藏
Expressionview:: visualization of quantitative trait loci and gene-expression data in Ensembl -: art. no. R77
errGENOME BIOLOGY
IF9.4
err2003-10-10
err20
errOAAI
errFischer, G; Ibrahim, SM; Brockmann, GA; Pahnke, J; Bartocci, E; Thiesen, HJ; Serrano-Fernández, P; Möller, S
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
John A. Stankovic
H 指数: 103 · 论文数: 642
P
Píetro Lió
H 指数: 72 · 论文数: 1.1K
J
James Glimm
H 指数: 63 · 论文数: 622
C
Călin Belta
H 指数: 56 · 论文数: 480
M
Muhammad Shafique
H 指数: 49 · 论文数: 826
查看更多