学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Erlang Workshop
Conference
年发文量
研究主题
论文（216）
排序
时间
引用
1
Towards Exact Semantic Equivalence of Erlang BEAM Constructs: Lessons from Advanced Emulation and Decompilation.
Gregory Morse
,
Melinda Tóth
2026
引用
AI阅读
加入学术空间
2
Modern Erlang Teaching from Code Refactoring to Actor System Verification
Sergey M. Staroletov
2026
引用
AI阅读
加入学术空间
3
Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study
Albert Schimpf
,
Stefan Wehr
,
Annette Bieniusa
2026
引用
AI阅读
加入学术空间
4
Actor Capabilities for Controlled Actor Interactions (Keynote)
Colin S. Gordon
2026
引用
AI阅读
加入学术空间
5
Green Benchmarking of BEAM Languages
Youssef Gharbi
,
István Bozó
,
Melinda Tóth
2026
引用
AI阅读
加入学术空间
立即登录
，查看全部 216 篇论文
高被引作者
作者
引用
发文
Thomas Arts
279
14
Konstantinos (Kostis) Sagonas
268
20
John Hughes
208
7
Ulf Thomas Wiger
169
4
Joakim Johansson
146
1
Lars-Ake Fredlund
112
14
Hans Svensson
105
9
Thorsten Schütt
90
1
Florian Schintke
90
1
Alexander Reinefeld
90
1
高产作者
作者
引用
发文
Konstantinos (Kostis) Sagonas
268
20
Thomas Arts
279
14
Lars-Ake Fredlund
112
14
Clara Benac Earle
78
12
Melinda Toth
65
11
Laura M. Castro
74
10
Daniel Horpacsi
61
9
Hans Svensson
105
9
Phil W. Trinder
32
8
Viktoria Fordos
42
8
相关期刊
Abstract State Machines, Alloy, B, TLA, VDM, and Z
European Conference on Object-Oriented Programming
Software Language Engineering
ACM-SIGACT Symposium on Principles of Programming Languages
Integrated Formal Methods
International Federated Conference on Distributed Computing Techniques
Programming based on Actors, Agents, and Decentralized Control
Formal Aspects of Component Software
International Conference on Formal Techniques for Distributed Objects, Components, and Systems
International Symposium on Haskell
