![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Tatsuya Abe 0001
Person information
- affiliation: Chiba Institute of Technology, Japan
Other persons with the same name
- Tatsuya Abe 0002 — Kyushu University, Fukuoka, Japan
- Tatsuya Abe 0003 — Tokyo Institute of Technology, Meguro-ku, Japan
- Tatsuya Abe 0004 — Kitami Institute of Technology, Kitami, Hokkaido, Japan
- Tatsuya Abe 0005 — Hiroshima University, Japan
- Tatsuya Abe 0006 — Hitachi Kokusai Electric Inc, Tokyo, Japan
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]Tatsuya Abe, Daisuke Kimura:
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. FLAP 10(4): 511-530 (2023) - [j7]Tatsuya Abe
, Daisuke Kimura:
A typed lambda-calculus with first-class configurations. J. Log. Comput. 33(7): 1527-1565 (2023) - 2021
- [j6]Tatsuya Abe
, Tasuku Hiraishi:
An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing. J. Inf. Process. 29: 434-448 (2021) - [i2]Tatsuya Abe, Daisuke Kimura:
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction. CoRR abs/2101.12607 (2021) - 2020
- [j5]Makoto Hamana
, Tatsuya Abe
, Kentaro Kikuchi:
Polymorphic computation systems: Theory and practice of confluence with call-by-value. Sci. Comput. Program. 187: 102322 (2020)
2010 – 2019
- 2019
- [c12]Tatsuya Abe
:
A type system for data independence of loop iterations in a directive-based PGAS language. MPLR 2019: 50-62 - 2018
- [j4]Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe
:
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN. J. Inf. Process. 26: 314-326 (2018) - [c11]Tatsuya Abe
:
Local Data Race Freedom with Non-multi-copy Atomicity. SPIN 2018: 196-215 - 2017
- [j3]Tatsuya Abe
, Toshiyuki Maeda:
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations. J. Inf. Process. 25: 244-255 (2017) - [j2]Tomoharu Ugawa, Tatsuya Abe
, Toshiyuki Maeda:
Model checking copy phases of concurrent copying garbage collection with various memory models. Proc. ACM Program. Lang. 1(OOPSLA): 53:1-53:26 (2017) - [j1]Tatsuya Abe
, Toshiyuki Maeda:
A general model checking framework for various memory consistency models. Int. J. Softw. Tools Technol. Transf. 19(5): 623-647 (2017) - [c10]Tatsuya Abe
:
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models. Haifa Verification Conference 2017: 51-66 - [c9]Tatsuya Abe
, Tomoharu Ugawa, Toshiyuki Maeda:
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. VSTTE 2017: 170-190 - 2016
- [c8]Tatsuya Abe
, Toshiyuki Maeda:
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. APLAS 2016: 63-84 - [c7]Tatsuya Abe
, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA 2016: 118-135 - [i1]Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR abs/1608.05893 (2016) - 2014
- [c6]Tatsuya Abe
, Toshiyuki Maeda:
A General Model Checking Framework for Various Memory Consistency Models. IPDPS Workshops 2014: 332-341 - [c5]Tatsuya Abe
, Toshiyuki Maeda:
Optimization of a General Model Checking Framework for Various Memory Consistency Models. PGAS 2014: 14:1-14:10 - 2013
- [c4]Tatsuya Abe
, Toshiyuki Maeda, Mitsuhisa Sato:
Model Checking Stencil Computations Written in a Partitioned Global Address Space Language. IPDPS Workshops 2013: 365-374 - 2012
- [c3]Tatsuya Abe
, Mitsuhisa Sato:
On-the-Fly Synchronization Checking for Interactive Programming in XcalableMP. ICPP Workshops 2012: 29-37 - [c2]Tatsuya Abe
, Mitsuhisa Sato:
Auto-tuning of Numerical Programs by Block Multi-color Ordering Code Generation and Job-Level Parallel Execution. VECPAR 2012: 404-419
2000 – 2009
- 2004
- [c1]Tatsuya Abe
:
A Concurrent System of Multi-ported Processes with Causal Dependency. APLAS 2004: 146-162
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint