Search results for "EXPRESS"

Hits ?▲	Authors	Title	Venue	Year	Link
22	Takuto Yamaguchi, Seiya Miura, Yasuo Kokubun	Demonstration of true-eigenmode propagation in few-mode fibers by selective LP mode excitation and near-field observation [IEICE Electronics Express Vol. 15(2018) No. 10 pp. 20180344].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	Tong Wang, Ye Zhao, Jie Chen	A battery monitoring IC with an isolated communication interface for electric vehicles [IEICE Electronics Express Vol. 15 (2018) No. 12 pp. 20180513].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	Xia Bai, Ming Su, Zhaodong Gao, Yuanan Liu	Erratum: Broadband dual-polarized omnidirectional antenna based on magnetic dipoles [IEICE Electronics Express Vol. 15 (2018) No. 5 pp. 20171149].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	Uisub Shin, Min Ji Cho, Hee Chul Lee	Mismatch-tolerant read-in IC with voltage-drop compensation for infrared scene projectors [IEICE Electronics Express Vol. 15(2018) No. 11 pp. 20180182].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	Xinchang Li, Dawei Xu, Hongyue Zhu, Zhuojun Chen, Zhiqiang Yang, Xinhong Cheng, Yuehui Yu, Wai Tung Ng	A high voltage multiplexer with rail to rail output swing for battery management system applications [IEICE Electronics Express Vol. 14(2017) No. 1 pp. 20161144].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	Tong Wang, Ye Zhao, Jie Chen	A battery monitoring IC with an isolated communication interface for electric vehicles [IEICE Electronics Express Vol. 15(2018) No. 12 pp. 20180513].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	Hongyue Zhu, Dawei Xu, Xinchang Li, Chao Xu, Dengpeng Wu, Xinhong Cheng, XiaoYun Li	An improved noise immune level-shifter via IGBT gate-emitter voltage detection [IEICE Electronics Express Vol. 15(2018) No. 9 pp. 20180293].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	Dongsuk Shin, Hakbeom Jang, Jae W. Lee	Erratum: Energy-efficient heterogeneous memory system for mobile platforms [IEICE Electronics Express Vol. 14 (2017) No. 24 pp. 20171002].	IEICE Electron. Express	2018	DBLP DOI BibTeX RDF
22	James Hoey, Irek Ulidowski, Shoji Yuen	Reversing Parallel Programs with Blocks and Procedures.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
22	Valentina Castiglioni	Trace and Testing Metrics on Nondeterministic Probabilistic Processes.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
22	Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen	Context-Free Session Types for Applied Pi-Calculus.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
22	Kirstin Peters, Uwe Nestmann	On the Distributability of Mobile Ambients.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
22	Doriana Medic, Claudio Antares Mezzina, Iain Phillips 0001, Nobuko Yoshida	A Parametric Framework for Reversible Pi-Calculi.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
22	Jane Hillston, Carla Piazza, Sabina Rossi	Persistent Stochastic Non-Interference.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
22	Chun Tian 0001, Davide Sangiorgi	Unique Solutions of Contractions, CCS, and their HOL Formalisation.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
22	Kirstin Peters, Simone Tini (eds.)	Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017.	EXPRESS/SOS	2017	DBLP BibTeX RDF
22	Tomoyuki Uehara, Kohei Hagiwara, Toshihide Tanigaki, Kenichiro Tsuji, Noriaki Onodera	Erratum: Frequency stabilization of two orthogonally polarized external cavity laser diodes using a novel γ-type optical configuration consist of a phase modulator and a Faraday rotator mirror [IEICE Electronics Express Vol. 11 (2014) No. 10 pp. 20140169].	IEICE Electron. Express	2017	DBLP DOI BibTeX RDF
22	Yong Ye, Yuan Du, Weiliang Jing, Xiaoyun Li, Zhitang Song, Bomy Chen	Erratum: CAM-based retention-aware DRAM (CRA-DRAM) for refresh power reduction [IEICE Electronics Express Vol. 14 (2017) No. 10 pp. 20170053].	IEICE Electron. Express	2017	DBLP DOI BibTeX RDF
22	Yinghui Tian, Yong Hei, Zhizhe Liu, Zhixiong Di, Qi Shen, Zenghui Yu	Erratum: A memory-based FFT processor using modified signal flow graph with novel conflict-free address schemes [IEICE Electronics Express Vol. 14 (2017) No. 15 pp. 20170660].	IEICE Electron. Express	2017	DBLP DOI BibTeX RDF
22	Jong Won Eun, Jae-Hyun Lee	Erratum: A microstrip dual-band bandpass filter using feed line with SIR [IEICE Electronics Express Vol. 14 (2017) No. 4 pp. 20170022].	IEICE Electron. Express	2017	DBLP DOI BibTeX RDF
22	Hyung-Jin Choi, Young-Jae Min, Jaehong Ko, Miseon Han, Youngsun Han	Erratum: Sub-1 V V-I converter-based voltage-controlled oscillator with a linear gain characteristic [IEICE Electronics Express Vol. 14 (2017) No. 15 pp. 20170610].	IEICE Electron. Express	2017	DBLP DOI BibTeX RDF
22	James Ferlez, Rance Cleaveland, Steven I. Marcus	Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
22	Hans Hüttel	Using Session Types for Reasoning About Boundedness in the Pi-Calculus.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
22	Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner	Analysing Mutual Exclusion using Process Algebra with Signals.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
22	James Hoey, Irek Ulidowski, Shoji Yuen	Reversing Imperative Parallel Programs.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
22	Jurriaan Rot	Distributive Laws for Monotone Specifications.	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Bas Luttik, Fei Yang	Sequential Composition in the Presence of Intermediate Termination (Extended Abstract).	EXPRESS/SOS	2017	DBLP DOI BibTeX RDF
22	Daniel Gebler, Kirstin Peters (eds.)	Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
22	Saqib A. Khan, Shi-Jie Wen, Sanghyeon Baeg	Erratum: Assessing alpha-particle-induced SEU sensitivity of flip-chip bonded SRAM using high energy irradiation [IEICE Electronics Express Vol. 13 (2016) No. 17 pp. 20160627].	IEICE Electron. Express	2016	DBLP DOI BibTeX RDF
22	Eduard Baranov, Simon Bliudze	A Note on the Expressiveness of BIP.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
22	Matias David Lee, Bas Luttik	Unique Parallel Decomposition for the Pi-calculus.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
22	Sanjiva Prasad, Lenore D. Zuck	Self-Similarity Breeds Resilience.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
22	Mariangiola Dezani-Ciancaglini, Paola Giannini	Reversible Multiparty Sessions with Checkpoints.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
22	Xian Xu 0001	Higher-order Processes with Parameterization over Names and Processes.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
22	Silvia Crafa, Daniel Gebler (eds.)	Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
22	Chunyu Peng, Youwu Tao, Wenjuan Lu, Zhengping Li, Xinchun Ji, Jinlong Yan, Junning Chen	Erratum: A novel cascade control replica-bitline delay technique for reducing timing process-variation of SRAM sense amplifier [IEICE Electronics Express Vol 12 (2015) No 5 pp 20150102].	IEICE Electron. Express	2015	DBLP DOI BibTeX RDF
22	Chen Li 0015, Sheng Ma, Shenggang Chen, Yang Guo 0003, Peng Wang	Express Ring: a multi-layer and non-blocking NoC architecture.	IEICE Electron. Express	2015	DBLP DOI BibTeX RDF
22	Hu-ung Lee, Seongjin Lee, Jae-woon Kim, Youjip Won	Erratum: Parallelizing SHA-1 [IEICE Electronics Express Vol 12 (2015) No 12 pp 20150371].	IEICE Electron. Express	2015	DBLP DOI BibTeX RDF
22	Xiaomin Shi, Xiaoli Xi	Erratum: A compact dual-mode dual-band bandpass filter design with controllable first passband [IEICE Electronics Express Vol 11 (2014) No 23 pp 20140991].	IEICE Electron. Express	2015	DBLP DOI BibTeX RDF
22	Jun-Hyeok Park, Zenebe Maregn, Young-Jin Kim 0002	Erratum: Color transformation-based dynamic voltage scaling for mobile AMOLED displays [IEICE Electronics Express Vol 12 (2015) No 8 pp 20150239].	IEICE Electron. Express	2015	DBLP DOI BibTeX RDF
22	Pedro R. D'Argenio, Matias David Lee, Daniel Gebler	SOS rule formats for convex and abstract probabilistic bisimulations.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
22	Reuben N. S. Rowe	Encoding the Factorisation Calculus.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
22	Kirstin Peters, Rob J. van Glabbeek	Analysing and Comparing Encodability Criteria.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
22	Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez 0001	On Compensation Primitives as Adaptable Processes.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
22	Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann	Encoding CSP into CCS.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
22	Ornela Dardha, Jorge A. Pérez 0001	Comparing Deadlock-Free Session Typed Processes.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
22	Johannes Borgström, Silvia Crafa (eds.)	Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Masatomo Kawano, Yutaka Arima	Erratum: Binocular range-sensor LSI with improved distance detection precision by coordinated pixel placement [IEICE Electronics Express Vol. 11(2014) No. 19 pp. 20140747].	IEICE Electron. Express	2014	DBLP DOI BibTeX RDF
22	Takanari Minami, Takashi Ohira	Erratum: Unified active Q factor formula for use in noise spectrum estimation from Leeson's and Hajimiri's models [IEICE Electronics Express Vol 10 (2013) No 24 pp 20130806].	IEICE Electron. Express	2014	DBLP DOI BibTeX RDF
22	Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann	Matching in the Pi-Calculus.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Johannes Åman Pohjola, Joachim Parrow	Priorities Without Priorities: Representing Preemption in Psi-Calculi.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Thomas Given-Wilson	On the Expressiveness of Intensional Communication.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Bartek Klin, Beata Nachyla	Distributive Laws and Decidable Properties of SOS Specifications.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Christoph Wagner, Uwe Nestmann	States in Process Calculi.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Daniel Gebler, Simone Tini	Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Simon J. Gay, Nils Gesbert, António Ravara	Session Types as Generic Process Types.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor	Verification of Linear Optical Quantum Computing using Quantum Process Calculus.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
22	Johannes Borgström, Bas Luttik (eds.)	Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Haoran Chen, Lin-An Yang, Xiaoxian Liu, Zhangming Zhu, Jun Luo, Yue Hao	Erratum: The impact of trapping centers on AlGaN/GaN resonant tunneling diode [IEICE Electronics Express Vol 10 (2013) No 19 pp 20130588].	IEICE Electron. Express	2013	DBLP DOI BibTeX RDF
22	Jin-Woo Jung, Yong-Seo Koo, Kwang-Yeob Lee	Erratum: Design of high-reliability LDO with current limiting characteristics with built-in new high tolerance ESD protection circuit [IEICE Electronics Express Vol 10 (2013) No 20 pp 20130516].	IEICE Electron. Express	2013	DBLP DOI BibTeX RDF
22	Iliano Cervesato, Jorge Luis Sacchini	Towards Meta-Reasoning in the Concurrent Logical Framework CLF.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar 0004	A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Youssef Arbach, Kirstin Peters, Uwe Nestmann	Adding Priority to Event Structures.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Pieter J. L. Cuijpers	The categorical limit of a sequence of dynamical systems.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi 0001	Algebraic Meta-Theory of Processes with Data.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir	Meta SOS - A Maude Based SOS Meta-Theory Framework.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Daniel Gebler, Simone Tini	Compositionality of Approximate Bisimulation for Probabilistic Systems.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
22	Bas Luttik, Michel A. Reniers (eds.)	Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012.	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Jae-Ho Nah, Yun-Hye Jung, Woo-Chan Park, Tack-Don Han	Erratum: Efficient ray sorting for the tracing of incoherent rays [IEICE Electronics Express Vol.9 (2012), No 9 pp 849-854].	IEICE Electron. Express	2012	DBLP DOI BibTeX RDF
22	Hui Yang, Shuming Chen, Tiebin Wu, Sheng Liu 0001	Erratum: Control-enhanced power-SIMD [IEICE Electronics Express Vol.9 (2012), No 14 pp 1147-1152].	IEICE Electron. Express	2012	DBLP DOI BibTeX RDF
22	Katsumi Fujii, Toshihide Tosaka, Kaori Fukunaga, Yasushi Matsumoto	Erratum: RF power measurement in D-band using down-converter calibrated by three-mixer method [IEICE Electronics Express Vol.9 (2012), No 13 pp 1096-1101].	IEICE Electron. Express	2012	DBLP DOI BibTeX RDF
22	Jinyoung An, Sangchoon Kim	Erratum: An improved UWB receiver employing generalized normal-Laplacian distribution model [IEICE Electronics Express Vol.8 (2011), No 18 pp 1505-1510].	IEICE Electron. Express	2012	DBLP DOI BibTeX RDF
22	Maciej Gazda, Tim A. C. Willemse	Expressiveness and Completeness in Abstraction	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Gérard Boudol, Gustavo Petri, Bernard P. Serpette	Relaxed Operational Semantics of Concurrent Programming Languages	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Wojciech Czerwinski, Slawomir Lasota 0001	Partially-commutative context-free languages	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Rob J. van Glabbeek	Musings on Encodings and Expressiveness	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot	On the specification of operations on the rational behaviour of systems	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Stephan Mennicke	An Operational Petri Net Semantics for the Join-Calculus	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Matias David Lee, Daniel Gebler, Pedro R. D'Argenio	Tree rules in probabilistic transition system specifications with negative and quantitative premises	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Maxim Strygin, Hayo Thielecke	Operational semantics for signal handling	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Marco Giunti, Catuscia Palamidessi, Frank D. Valencia	Hide and New in the Pi-Calculus	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Piotr Hofman, Patrick Totzke	Approximating Weak Bisimilarity of Basic Parallel Processes	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
22	Bas Luttik, Frank Valencia (eds.)	Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011.	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Ugo Dal Lago, Paolo Di Giamberardino	Soft Session Types	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann	Synchrony vs Causality in the Asynchronous Pi-Calculus	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Damian Nadales Agut, Michel A. Reniers	Linearization of CIF Through SOS	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Read Operators and their Expressiveness in Process Algebras	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Iain Phillips 0001, Irek Ulidowski	A Logic with Reverse Modalities for History-preserving Bisimulations	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Graphical representation of covariant-contravariant modal formulae	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz	Synchrony vs. Causality in Asynchronous Petri Nets	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Ioana Cristescu, Daniel Hirschkoff	Termination in a Pi-calculus with Subtyping	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini	Information Flow Safety in Multiparty Sessions	EXPRESS	2011	DBLP DOI BibTeX RDF
22	Sibylle B. Fröschle, Frank D. Valencia (eds.)	Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010.	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Kuo-Hsing Cheng, Yu-Chang Tsai, Yen-Hsueh Wu, Ying-Fu Lin	A 5-Gb/s Inductorless CMOS Adaptive Equalizer for PCI Express Generation II Applications.	IEEE Trans. Circuits Syst. II Express Briefs	2010	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg	Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Lasse Nielsen, Nobuko Yoshida, Kohei Honda 0001	Multiparty Symmetric Sum Types	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Ugo Dal Lago, Simone Martini 0001, Davide Sangiorgi	Light Logics and Higher-Order Processes	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Gavin Lowe	Models for CSP with availability information	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Peter D. Mosses, Mohammad Reza Mousavi 0001, Michel A. Reniers	Robustness of Equations Under Operational Extensions	EXPRESS	2010	DBLP DOI BibTeX RDF
22	Diego Figueira, Piotr Hofman, Slawomir Lasota 0001	Relating timed and register automata	EXPRESS	2010	DBLP DOI BibTeX RDF