Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(724)
T. Tsuboyama
18
Thomas E. Browder
18
K. Trabelsi
17
Masashi Hazumi
15
H. Ishino (石野宏和)
14
Conferences
(13)
OOPSLA
4
APLAS
3
ECOOP
3
SAC
2
ECOOP(Workshop)
2
Journals
(23)
NUCL INSTRUM METH PHYS RES A
9
IANDC
4
TOPLAS
4
SIGPLAN
4
IEEE TRANS NUCL SCI
4
Keywords
(151)
Embed
Subscribe
Academic
Authors
Atsushi Igarashi
Edit
Atsushi Igarashi (五十嵐淳)
Kyoto University
Publications: 96
|
Citations: 1264
|
G-Index: 35
|
H-Index: 14
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
724 co-authors
from 1989 to 2011
; Cited by
1195 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(96)
BibTeX
|
RIS
|
RefWorks
Download
Polymorphic Contracts
João Filipe Belo
,
Michael Greenberg
,
Atsushi Igarashi
,
Benjamin C. Pierce
Conference:
European Symposium on Programming - ESOP
, pp. 18-37, 2011
ContextFJ: a minimal core calculus for context-oriented programming
Robert Hirschfeld
,
Atsushi Igarashi
,
Hidehiko Masuhara
Published in 2011.
Type relaxed weaving
(
Citations: 1
)
Hidehiko Masuhara
,
Atsushi Igarashi
,
Manabu Toyama
Conference:
Aspect-Oriented Software Development - AOSD
, pp. 121-132, 2010
A Logical Foundation for Environment Classifiers
(
Citations: 1
)
Takeshi Tsukada
,
Atsushi Igarashi
Journal:
Logical Methods in Computer Science - LMCS
, vol. 6, no. 4:8, 2010
surface isochrone mapping in patients with previous myocardial infarction Detection of local abnormalities in ventricular activation sequence by body
K Ikeda
,
I Kubota
,
A Igarashi
,
M Yamaki
,
K Tsuiki
,
S Yasui
Published in 2010.
Order by:
Citations
(1264 times by 931 publications)
Semantics of transactional memory and automatic mutual exclusion
(
Citations: 49
)
Andrew Birrell
,
Tim Harris
,
Michael Isard
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, vol. 33, no. 1, pp. 1-50, 2011
Compositional type-checking for delta-oriented programming
(
Citations: 4
)
Ina Schaefer
,
Lorenzo Bettini
,
Ferruccio Damiani
Conference:
Aspect-Oriented Software Development - AOSD
, pp. 43-56, 2011
simpA: An agent-oriented approach for programming concurrent applications on top of Java
(
Citations: 3
)
Alessandro Ricci
,
Mirko Viroli
,
Giulio Piancastelli
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 1, pp. 37-62, 2011
Verifying higher-order functional programs with pattern-matching algebraic data types
(
Citations: 1
)
C.-H. Luke Ong
,
Steven James Ramsay
Published in 2011.
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
(
Citations: 1
)
Johan Dovland
,
Einar Broch Johnsen
,
Olaf Owe
,
Martin Steffen
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 10, pp. 915-941, 2011
Comments