Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(41)
N. Shiragami
6
Naoki Kobayashi (小林直樹)
5
Naoshi Tabuchi
3
Hiroaki Honda
3
Manabu Kariya
3
Conferences
(10)
CW
3
PLDI
1
POPL
1
PPDP
1
APLAS
1
Journals
(6)
BIOPROCESS BIOSYST ENG
5
IPL
1
SIGPLAN
1
CHEM ENG COMMUN
1
NUCL INSTRUM METH PHYS RES B
1
Keywords
(86)
Embed
Subscribe
Academic
Authors
Hiroshi Unno
Hiroshi Unno,Tohoku University,Programming Languages,Biomedical Engineering,Graphics
Edit
Hiroshi Unno
Tohoku University
Publications:
22
|
Citations:
66
Fields:
Programming Languages
,
Biomedical Engineering
,
Graphics
View FAQ about top research areas and Fields of study
Collaborated with
41 co-authors
from 1993 to 2010
|
Cited by
172 authors
Cumulative
Annual
Sort by:
Publications
(22)
BibTeX
|
RIS
|
RefWorks
Download
Higher-order multi-parameter tree transducers and recursion schemes for program verification
(
Citations: 11
)
Naoki Kobayashi
,
Naoshi Tabuchi
,
Hiroshi Unno
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 495-508, 2010
Verification of Tree-Processing Programs via Higher-Order Model Checking
(
Citations: 1
)
Hiroshi Unno
,
Naoshi Tabuchi
,
Naoki Kobayashi
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 312-327, 2010
Higher-order multi-parameter tree transducers and recursion schemes for program verification
Naoki Kobayashi
,
Naoshi Tabuchi
,
Hiroshi Unno
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 1, pp. 495-508, 2010
Dependent type inference with interpolants
(
Citations: 4
)
Hiroshi Unno
,
Naoki Kobayashi
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 277-288, 2009
On-Demand Refinement of Dependent Types
(
Citations: 3
)
Hiroshi Unno
,
Naoki Kobayashi
Conference:
Fuji International Symposium on Functional and Logic Programming - FLOPS
, pp. 81-96, 2008
Sort by:
Citations
(66 times by 65 publications)
Symbolic finite state transducers: algorithms and applications
(
Citations: 1
)
Margus Veanes
,
Pieter Hooimeijer
,
Benjamin Livshits
,
David Molnar
,
Nikolaj Bjorner
Journal:
Sigplan Notices - SIGPLAN
, pp. 137-150, 2012
Verifying higher-order functional programs with pattern-matching algebraic data types
(
Citations: 4
)
C.-H. Luke Ong
,
Steven James Ramsay
Journal:
Sigplan Notices - SIGPLAN
, pp. 587-598, 2011
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes
(
Citations: 2
)
Naoki Kobayashi
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 260-274, 2011
Symbolic Tree Transducers
(
Citations: 1
)
Margus Veanes
,
Nikolaj Bjorner
Published in 2011.
Increased bioclogging and corrosion risk by sulfate addition during iodine recovery at a natural gas production plant
Choon-Ping Lim
,
Dan Zhao
,
Yuta Takase
,
Kazuhiko Miyanaga
,
Tomoko Watanabe
,
Yasuyoshi Tomoe
,
Yasunori Tanji
Journal:
Applied Microbiology and Biotechnology - APPL MICROBIOL BIOTECHNOL
, vol. 89, no. 3, pp. 825-834, 2011
Comments