|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 269 occurrences of 152 keywords
|
|
|
Results
Found 1577 publication records. Showing 1575 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Mohammad Amri Zainal, Shafishuhaza Sahlan, Mohamed Sultan Mohamed Ali |
Micromachined Shape-Memory-Alloy Microactuators and Their Application in Biomedical Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Micromachines ![In: Micromachines 6(7), pp. 879-901, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Nora Jaburek, Marion Merklein |
Influence of a retrogression and reaging (RRA)-treatment on the mechanical and microstructural characteristics of the aluminium alloy AlZn4, 5Mg1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prod. Eng. ![In: Prod. Eng. 9(2), pp. 161-166, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Bircan Bugdayci, Ismail Lazoglu |
Temperature and wear analysis in milling of aerospace grade aluminum alloy Al-7050. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prod. Eng. ![In: Prod. Eng. 9(4), pp. 487-494, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Aboubakr Achraf El Ghazi, Mana Taghdiri |
Analyzing Alloy Formulas using an SMT Solver: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.00672, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | S. Sunjai Nakshatharan, K. Dhanalakshmi, D. Josephine Selvarani Ruth |
Fuzzy based sliding surface for shape memory alloy wire actuated classical super-articulated control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 32, pp. 580-589, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jyoti Ranjan Mohanty, T. K. Mahanta, A. Mohanty, D. N. Thatoi |
Prediction of constant amplitude fatigue crack growth life of 2024 T3 Al alloy with R-ratio effect by GP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 26, pp. 428-434, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Shyam Kumar Karna, Ran Vijay Singh, Rajeshwar Sahai |
Analysis of Hardness by Parametric Optimization of Gravity Die Casting for A-356 Aluminium Alloy Using Taguchi Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Mater. Mech. Eng. ![In: Int. J. Manuf. Mater. Mech. Eng. 5(1), pp. 21-34, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Naveed Akhtar, SuJun Wu |
Tensile Fracture in Laser Welding Joints of Al-Cu-Li-Mg-X Alloy Bearing Gaseous Porosity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Mater. Mech. Eng. ![In: Int. J. Manuf. Mater. Mech. Eng. 5(4), pp. 63-79, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Umacharan Singh Yadav, Vinod Yadava |
Experimental modelling and optimisation of process parameters of hole drilling by electrical discharge machining of aerospace titanium alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Technol. Manag. ![In: Int. J. Manuf. Technol. Manag. 29(3/4), pp. 211-234, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kivanç Akça, Atilim Eser, Yeliz Çavusoglu, Elçin Sagirkaya, Murat Cavit Çehreli |
Numerical assessment of bone remodeling around conventionally and early loaded titanium and titanium-zirconium alloy dental implants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Biol. Eng. Comput. ![In: Medical Biol. Eng. Comput. 53(5), pp. 453-462, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Li Yang, Yaocheng Zhang, Chengchao Du, Jun Dai, Ning Zhang |
Effect of aluminum concentration on the microstructure and mechanical properties of Sn-Cu-Al solder alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 55(3-4), pp. 596-601, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yi-Wei Tseng, Fei-Yi Hung, Truan-Sheng Lui, Mei-Yu Chen, Hao-Wen Hsueh |
Effect of annealing on the microstructure and bonding interface properties of Ag-2Pd alloy wire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 55(8), pp. 1256-1261, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Hossein Mahdavifard, Mohd Faizul Mohd Sabri, Dhafer Abdulameer Shnawah, Suhana Mohd Said, Irfan Anjum Badruddin, S. Rozali |
The effect of iron and bismuth addition on the microstructural, mechanical, and thermal properties of Sn-1Ag-0.5Cu solder alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 55(9-10), pp. 1886-1890, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jun Chen 0009, Mahdi Mahfouf, Sidahmed Gaffour |
A new holistic systems approach to the design of heat treated alloy steels using a biologically inspired multi-objective optimisation algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 37, pp. 103-114, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Tarek Bachaga, Rakia Daly, Mohamed Khitouni, Lluisa Escoda, Joan Saurina, Joan Josep Suñol |
Thermal and Structural Analysis of Mn49.3Ni43.7Sn7.0 Heusler Alloy Ribbons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 17(2), pp. 646-657, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kenyu Ling, Hyung Ki Kim, Minyeong Yoo, Sungjoon Lim |
Frequency-Switchable Metamaterial Absorber Injecting Eutectic Gallium-Indium (EGaIn) Liquid Metal Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 15(11), pp. 28154-28165, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Hugo C. de Albuquerque, Cleisson V. Barbosa, Cleiton C. Silva, Elineudo P. de Moura, Pedro Pedrosa Rebouças Filho, João P. Papa, João Manuel R. S. Tavares |
Ultrasonic Sensor Signals and Optimum Path Forest Classifier for the Microstructural Characterization of Thermally-Aged Inconel 625 Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 15(6), pp. 12474-12497, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dawei Li, Pengfei Lv, Jiadeng Zhu, Yao Lu, Chen Chen, Xiangwu Zhang, Qufu Wei |
NiCu Alloy Nanoparticle-Loaded Carbon Nanofibers for Phenolic Biosensor Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 15(11), pp. 29419-29433, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yong Yang, Wei Zhu |
FEM and experiment-based initial residual stress field construction for titanium alloy monolithic component blank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Aided Eng. Technol. ![In: Int. J. Comput. Aided Eng. Technol. 7(4), pp. 481-495, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | A. Thanapaul, S. Ganesh, S. Milan |
Free vibration analysis of shear-deformable Al alloy plates using FEM with first order shear deformation theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Aided Eng. Technol. ![In: Int. J. Comput. Aided Eng. Technol. 7(1), pp. 121-131, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | K. Dhanalakshmi, Mangalanathan Umapathy, Deenadayalan Ezhilarasi |
Sliding mode control of shape memory alloy actuated structure for vibration control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Identif. Control. ![In: Int. J. Model. Identif. Control. 23(2), pp. 121-130, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Pamela Zave |
A practical comparison of Alloy and Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 27(2), pp. 239-253, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jun Lu, Litian Wu |
Study on dynamic model of magnetically controlled shape memory alloy sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Methods Sci. Eng. ![In: J. Comput. Methods Sci. Eng. 15(2), pp. 171-181, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | A. Villoslada, Antonio Flores Caballero, Dorin Sabin Copaci, Dolores Blanco Rojas, Luis Moreno Lorente |
High-displacement flexible Shape Memory Alloy actuator for soft wearable robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 73, pp. 91-101, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jennifer Hannen Wiest, Gregory D. Buckner |
Path optimization and control of a shape memory alloy actuated catheter for endocardial radiofrequency ablation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 65, pp. 88-97, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Manabu Yasui, Satoru Kaneko, Masaharu Takahashi, Takashi Sano, Yasuo Hirabayashi, Takeshi Ozawa, Ryutaro Maeda |
Micro Imprinting for Al Alloy Using Ni-W Electroformed Mold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Technol. ![In: Int. J. Autom. Technol. 9(6), pp. 674-677, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Bartosz Minorowicz, Cezary Jedryczka, Frederik Stefanski, Amadeusz Nowak |
Analysis and Modelling of Magnetic Circuits in Magnetic Shape Memory Alloy Actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Progress in Automation, Robotics and Measuring Techniques ![In: Progress in Automation, Robotics and Measuring Techniques - Control and Automation, pp. 137-145, 2015, Springer, 978-3-319-15795-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Amadeusz Nowak, Bartosz Minorowicz, Frederik Stefanski, Zoran Pandilov |
Characteristics of the Improved Magnetic Shape Memory Alloy Actuator Test Stand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Progress in Automation, Robotics and Measuring Techniques ![In: Progress in Automation, Robotics and Measuring Techniques - Control and Automation, pp. 169-176, 2015, Springer, 978-3-319-15795-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rodrigo M. L. M. Moreira, Ana C. R. Paiva |
A Novel Approach using Alloy in Domain-specific Language Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pp. 157-164, 2015, SciTePress, 978-989-758-083-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jingjing Ji, Kok-Meng Lee, Chun-Yeon Lin, Yang Huang |
An investigation on temperature measurements for machining of titanium alloy using ir imager with physics-based reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIM ![In: IEEE International Conference on Advanced Intelligent Mechatronics, AIM 2015, Busan, South Korea, July 7-11, 2015, pp. 915-920, 2015, IEEE, 978-1-4673-9107-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Savas Dilibal, Erik D. Engeberg |
Finger-like manipulator driven by antagonistic nickel-titanium shape memory alloy actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAR ![In: International Conference on Advanced Robotics, ICAR 2015, Istanbul, Turkey, July 27-31, 2015, pp. 152-157, 2015, IEEE, 978-1-4673-7509-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Daniela Maffiodo, Terenziano Raparelli |
Resistance Feedback of a Shape Memory Alloy Wire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAAD ![In: Advances in Robot Design and Intelligent Control - Proceedings of the 24th International Conference on Robotics in Alpe-Adria-Danube Region, RAAD 2015, Bucharest, Romania, 27-29 May 2015, pp. 97-104, 2015, Springer, 978-3-319-21289-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jun Shintake, Bryan Schubert, Samuel Rosset, Herbert Shea, Dario Floreano |
Variable stiffness actuator for soft robotics using dielectric elastomer and low-melting-point alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015, pp. 1097-1102, 2015, IEEE, 978-1-4799-9994-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Hao Wang 0011, Chang-Jae Park, Gyungsu Byun, Jung Ho Ahn, Nam Sung Kim |
Alloy: Parallel-serial memory channel architecture for single-chip heterogeneous processor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 21st IEEE International Symposium on High Performance Computer Architecture, HPCA 2015, Burlingame, CA, USA, February 7-11, 2015, pp. 296-308, 2015, IEEE Computer Society, 978-1-4799-8930-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Julien Brunel, David Chemouil |
Safety and Security Assessment of Behavioral Properties Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, pp. 251-263, 2015, Springer, 978-3-319-24248-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yasuyuki Shiraishi, Akihiro Yamada, Tomoyuki Yambe, Dai Homma, Shintaro Katahira, Naoki Masaki, Yukihiro Hayatsu, Masatoshi Akiyama, Yoshikatsu Saiki |
Contraction support for the right ventricle by a shape memory alloy fibered artificial myocardium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 10th Asian Control Conference, ASCC 2015, Kota Kinabalu, Malaysia, May 31 - June 3, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-7862-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alaa AbuZaiter, Ee Leen Ng, Mohamed Sultan Mohamed Ali, Suhail Kazi |
Miniature parallel manipulator using TiNiCu shape-memory-alloy microactuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 10th Asian Control Conference, ASCC 2015, Kota Kinabalu, Malaysia, May 31 - June 3, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-7862-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sarah Trabia, Viljar Palmre, Kwang J. Kim |
Development of self-sensing Ionic Polymer-Metal Composite soft robotic actuator integrated with gallium-indium alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URAI ![In: 12th International Conference on Ubiquitous Robots and Ambient Intelligence, URAI 2015, Goyang, South Korea, October 28-30, 2015, pp. 368-369, 2015, IEEE, 978-1-4673-7971-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Auf der Maur, Alessandro Pecchia, Aldo Di Carlo |
Influence of random alloy fluctuations in InGaN/GaN quantum wells on LED efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSI ![In: 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, RTSI 2015, Torino, Italy, September 16-18, 2015, pp. 153-156, 2015, IEEE, 978-1-4673-8167-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Akio Yamano, Atsuhiko Shintani, Tomohiro Ito, Chihiro Nakagawa |
Basic study of power reduction for shape memory alloy actuator drive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015, pp. 4436-4440, 2015, IEEE, 978-1-4799-1762-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Hyung-Il Kim, Min-Woo Han, Wei Wang, Sung-Hyuk Song, Hugo Rodrigue, Sung-Hoon Ahn |
Design and development of bio-mimetic soft robotic hand with shape memory alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: 2015 IEEE International Conference on Robotics and Biomimetics, ROBIO 2015, Zhuhai, China, December 6-9, 2015, pp. 2330-2334, 2015, IEEE, 978-1-4673-9675-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Chi Hsiang Pan, Ying-Bin Wang, Hsin-Ying Pan |
Development of dynamically artificial flowers driven by shape memory alloy and pulse width modulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARSO ![In: 2015 IEEE International Workshop on Advanced Robotics and its Social Impacts, ARSO 2015, Lyon, France, June 30 - July 2, 2015, pp. 1-6, 2015, IEEE, 978-1-4673-8029-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota 0001 |
Verifying Transformations of Java Programs Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, pp. 110-126, 2015, Springer, 978-3-319-29472-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Edyta Hetmaniok, Damian Slota, Adam Zielonka |
Parallel Procedure Based on the Swarm Intelligence for Solving the Two-Dimensional Inverse Problem of Binary Alloy Solidification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM (2) ![In: Parallel Processing and Applied Mathematics - 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II, pp. 287-297, 2015, Springer, 978-3-319-32151-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoliang Wang, Adrian Rutle, Yngve Lamo |
Towards User-Friendly and Efficient Analysis with Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015., pp. 28-37, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Krisada Asawarungsaengkul, Supreecha Yathiphat |
Quality Improvement in a Low Pressure Die Casting Process of Alloy Wheels by Applying Box-Behnken Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaEng ![In: Proceedings of the Second International Conference on Advanced Data and Information Engineering, DaEng 2015, Bali, Indonesia, April 25-26, 2015, pp. 375-382, 2015, Springer, 978-981-13-1797-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | William Coral Cuellar, Claudio Rossi 0001, Irene Perrino Martin |
Bio-inspired Morphing Caudal Fin using Shape Memory Alloy Composites for a Fish-like Robot - Design, Fabrication and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO (2) ![In: ICINCO 2015 - Proceedings of the 12th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Colmar, Alsace, France, 21-23 July, 2015., pp. 336-343, 2015, SciTePress, 978-989-758-123-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Saber Mirzaei, Flavio Esposito |
An Alloy Verification Model for Consensus-Based Auction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: IEEE 35th International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2015, Columbus, OH, USA, June 29 - July 2, 2015, pp. 17-22, 2015, IEEE Computer Society, 978-1-4673-7303-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson 0001 |
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, pp. 609-619, 2015, IEEE Computer Society, 978-1-4799-1934-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yongguang Liu, Nannan Cheng, Wenlei Liu |
Feeding devices of eddy current testing on Titanium Alloy tube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIA ![In: IEEE International Conference on Information and Automation, ICIA 2015, Lijiang, China, August 8-10, 2015, pp. 89-93, 2015, IEEE, 978-1-4673-9104-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jesper Kristensen, Nicholas Zabaras |
Bayesian uncertainty quantification in the evaluation of alloy properties with the cluster expansion method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 185(11), pp. 2885-2892, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Reza Rahimipour, Ali Asghar Tofigh, Ali Mazahery, Mohsen Ostad Shabani |
Strategic developments to improve the optimization performance with efficient optimum solution and produce high wear resistance aluminum-copper alloy matrix composites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 24(7-8), pp. 1531-1538, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ishita Ghosh, Suchandan Kumar Das, Nil Ratan Chakraborty |
An artificial neural network model to characterize porosity defects during solidification of A356 aluminum alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 25(3-4), pp. 653-662, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Tao Fan, Qi Li, Xuhui Wen |
Development of a High Power Density Motor Made of Amorphous Alloy Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 61(9), pp. 4510-4518, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Nazila Nikdel, Parisa Nikdel, Mohammad Ali Badamchizadeh, Iraj Hassanzadeh |
Using Neural Network Model Predictive Control for Controlling Shape Memory Alloy-Based Manipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 61(3), pp. 1394-1401, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | N. D. Ghetiya, K. M. Patel, S. J. Makvana |
Determination of an optimum parametric combination using a tensile strength prediction model for friction stir welded AA8011 aluminium alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Res. ![In: Int. J. Manuf. Res. 9(3), pp. 258-275, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | David W. Rosen |
Multiscale, Heterogeneous Computer Aided Design Representation for Metal Alloy Microstructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 14(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Richard Hood, C. M. Johnson, S. L. Soo, D. K. Aspinwall, C. Sage |
High-speed ball nose end milling of burn-resistant titanium (BuRTi) alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 27(2), pp. 139-147, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Han Wang, Gangbing Song |
Innovative NARX recurrent neural network model for ultra-thin shape memory alloy wire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 134, pp. 289-295, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Jennifer Hannen Wiest, Gregory D. Buckner |
Indirect Intelligent Sliding Mode Control of Antagonistic Shape Memory Alloy Actuators Using Hysteretic Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 22(3), pp. 921-929, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoliang Wang, Fabian Büttner, Yngve Lamo |
Verification of Graph-based Model Transformations Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Saber Mirzaei, Flavio Esposito |
An Alloy Verification Model for Consensus-Based Auction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.5074, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Md. Abdullah Al Mamun 0001, Christian Berger 0001, Jörgen Hansson |
Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.3985, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.2314, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Gurvan Le Guernic |
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSS ![In: Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014., pp. 50-55, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée |
Formal Safety and Security Assessment of an Avionic Architecture with Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSS ![In: Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014., pp. 8-19, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alireza Fathi, Ahmad Mozaffari |
Modeling a shape memory alloy actuator using an evolvable recursive black-box and hybrid heuristic algorithms inspired based on the annual migration of salmons in nature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 14, pp. 229-251, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias |
Dynamite: A tool for the verification of alloy models based on PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 23(2), pp. 20:1-20:37, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Hao-Wen Hsueh, Fei-Yi Hung, Truan-Sheng Lui, Li-Hui Chen 0004, Jun-Kai Chang |
Microstructure, electric flame-off (EFO) characteristics and tensile properties of silver-lanthanum alloy wire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(11), pp. 2564-2569, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Emmanuelle S. Freitas, Wislei R. Osório, José E. Spinelli, Amauri Garcia |
Mechanical and corrosion resistances of a Sn-0.7 wt.%Cu lead-free solder alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(6-7), pp. 1392-1400, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Byung-seung Yim, Jeong-Il Lee, Byung-Hun Lee, Young-Eui Shin, Jong-Min Kim |
An investigation of the reliability of solderable ICA with low-melting-point alloy (LMPA) filler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(12), pp. 2944-2950, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Nor Ilyana Muhd Nordin, Suhana Mohd Said, Roziana Ramli, Mohd Faizul Mohd Sabri, N. M. Sharif, N. A. F. N. M. Arifin, N. N. S. Ibrahim |
Microstructure of Sn-1Ag-0.5Cu solder alloy bearing Fe under salt spray test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(9-10), pp. 2044-2047, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Rui Guo 0003, Liming Gao, Dali Mao, Ming Li, Xu Wang, Zhong Lv, Hope Chiu |
Study of free air ball formation in Ag-8Au-3Pd alloy wire bonding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(11), pp. 2550-2554, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yee-Wen Yen, Ruo-Syun Syu, Chih-Ming Chen 0002, Chien-Chung Jao, Guan-Da Chen |
Interfacial reactions of Sn-58Bi and Sn-0.7Cu lead-free solders with Alloy 42 substrate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(1), pp. 233-238, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Z. Pruszowski, M. Ciez |
The influence of electroless metallization process parameters on basic electric properties of Ni-P alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(1), pp. 200-203, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Karen M. C. Wong, Yee Kai Tian |
Effect of trace platinum additions on the interfacial morphology of Sn-3.8Ag-0.7Cu alloy aged for long hours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(11), pp. 2536-2541, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Bismarck Luiz Silva, Amauri Garcia, José E. Spinelli |
The roles of dendritic spacings and Ag3Sn intermetallics on hardness of the SAC307 solder alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 54(12), pp. 2929-2934, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Vicente Sánchez-Alarcos, Vicente Recarte, José Ignacio Pérez-Landazábal, Eduard Cesari, José Alberto Rodríguez-Velamazán |
Long-Range Atomic Order and Entropy Change at the Martensitic Transformation in a Ni-Mn-In-Co Metamagnetic Shape Memory Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 16(5), pp. 2756-2767, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Pedro José Arrazola, Aitor Kortabarria, Aitor Madariaga, J. A. Esnaola, E. Fernandez, C. Cappellini, Durul Ulutan, Tugrul Özel |
On the machining induced residual stresses in IN718 nickel-based alloy: Experiments and predictions with finite element simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 41, pp. 87-103, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | C. Ezilarasan, V. S. Senthil Kumar, A. Velayudham |
Theoretical predictions and experimental validations on machining the Nimonic C-263 super alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 40, pp. 192-207, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Seung Hee Jeong, Klas Hjort, Zhigang Wu |
Tape Transfer Printing of a Liquid Metal Alloy for Stretchable RF Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 14(9), pp. 16311-16321, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Rajesh Kumar Porwal, Vinod Yadava |
Experimentation and prediction of material removal rate of electrical discharge micromachining of nickel-based super alloy thin sheet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Aided Eng. Technol. ![In: Int. J. Comput. Aided Eng. Technol. 6(1), pp. 62-73, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Elvinia Riccobene, Steve Reeves |
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 94, pp. 67-68, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Benoît Fraikin, Marc Frappier, Richard St-Denis |
Supervisory control theory with Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 94, pp. 217-237, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandar Milicevic, Daniel Jackson 0001 |
Preventing arithmetic overflows in Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 94, pp. 203-216, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Dae Min Kang, Kyoung Do Park, Dai Yeal Lee |
Optimizing Friction Stir Welding of Al 6061 Alloy Using Statistical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 18(5), pp. 752-754, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen |
Matching and Merging Scenarios Automatically with Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers, pp. 100-116, 2014, Springer, 978-3-319-25155-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles |
Automated Composition of Sequence Diagrams via Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pp. 384-391, 2014, SciTePress, 978-989-758-007-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | John P. Swensen, Aaron M. Dollar |
Optimization of parallel spring antagonists for Nitinol shape memory alloy actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pp. 6345-6349, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima 0001, Alexandre L. Correa |
A Method for Verifying the Consistency of Business Rules Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013., pp. 381-386, 2014, Knowledge Systems Institute Graduate School. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov |
Towards a test automation framework for alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 113-116, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Felix Orlando Maria Joseph, Karly Franz, Yaxin Luan, Yan-Jiang Zhao, Naresh V. Datla, Parsaoran Hutapea, Adam Dicker, Yan Yu, Tarun Kanti Podder |
Development of a coordinated controller for robot-assisted shape memory alloy actuated needle for prostate brachytherapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, pp. 357-360, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Shin Nakajima 0001 |
Using Alloy in Introductory Courses of Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers, pp. 97-110, 2014, Springer, 978-3-319-17403-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Thanhtam Ho, Sangyoon Lee |
Analysis and Simulation of a Jumping Robot Actuated by Shape Memory Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014, pp. 1315-1326, 2014, Springer, 978-3-319-08337-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Efthymios Kolyvas, Yannis Koveos, Anthony Tzes |
On the interaction of temperature-sensing, Shape Memory Alloy dynamics, and control design for a bending actuator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 22nd Mediterranean Conference on Control and Automation, Palermo, Italy, June 16-19, 2014, pp. 906-912, 2014, IEEE, 978-1-4799-5900-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.) |
ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ (Case Study) ![Springer, 978-3-319-07511-2 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yamine Aït Ameur, Klaus-Dieter Schewe (eds.) |
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![Springer, 978-3-662-43651-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Riccardo Antonello, Sebastiano Pagani, Roberto Oboe, Marco Branciforte, Maria Celvisia Virzì |
Use of antagonistic shape memory alloy wires in load positioning applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 23rd IEEE International Symposium on Industrial Electronics, ISIE 2014, Istanbul, Turkey, June 1-4, 2014, pp. 287-292, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | A. Villoslada, Antonio Flores Caballero, Dorin Sabin Copaci, Dolores Blanco Rojas, Luis Moreno Lorente |
High-displacement fast-cooling flexible Shape Memory Alloy actuator: Application to an anthropomorphic robotic hand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Humanoids ![In: 14th IEEE-RAS International Conference on Humanoid Robots, Humanoids 2014, Madrid, Spain, November 18-20, 2014, pp. 27-32, 2014, IEEE, 978-1-4799-7174-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz |
Generating JML Specifications from Alloy Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 99-115, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1575 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|