bluuebunny/crossref_metadata_2025_split huggingface dataset:
Sulfonated Porous Polymeric Nanofibers as an Efficient Solid Acid Catalyst for the Production of 5‐Hydroxymethylfurfural from Biomass
Authors: Mondal Sujan , Mondal John , Bhaumik Asim 
Published: September 2015

AbstractSustainable supply of energy is one of the biggest challenges today. The conversion of energy from any abundant and renewable resources would be an ideal solution for this ever increasing demand of sustainable energy. Biomass provides a potential energy alternative through the platform chemical 5‐hydroxymethylfurfural (HMF), which is considered as a sustainable source for liquid fuels and commodity chemicals. Herein, we report the synthesis of a nanoporous polytriphenylamine (PPTPA‐1) having high surface area (1437 m2 g−1) by a simple one‐step oxidative polymerization pathway. Upon sulfonation of PPTPA‐1, the sulfonated polymer SPPTPA‐1 showed very high surface acidity and it has been successfully employed as a solid acid catalyst for direct conversion of sugar to HMF. Both PPTPA‐1 and SPPTPA‐1 materials have distinct nanofiber morphologies and they are characterized thoroughly by using powder XRD, FTIR spectroscopy, 13C solid state magic‐angle‐spinning NMR spectrometry, field‐emission scanning electron microscopy, high‐resolution transmission electron microscopy, and N2 sorption techniques. We have optimized the HMF yields by using different carbohydrate sources and estimated the recycling efficiency of the catalyst.
Bimetallic Cu/Pd Catalysts with Bridging Aminopyrimidinyl Phosphines for Decarboxylative Cross‐Coupling Reactions at Moderate Temperature
Authors: Hackenberger Dagmar , Song Bingrui , Grünberg Matthias F. , Farsadpour Saeid , Menges Fabian , Kelm Harald , Groß Cedric , Wolff Timm , Niedner‐Schatteburg Gereon , Thiel Werner R. , Gooßen Lukas J. 
Published: September 2015

AbstractA bimetallic catalyst system is presented that enables the decarboxylative cross‐coupling of triflates with carboxylate salts at only 100 °C, which is 70 °C lower than with previous Cu/Pd‐based systems. The new protocol allows the coupling of a broad range of aryl triflates with various substituted 2‐nitrobenzoates in good to excellent yields. The key feature of the catalyst system is a bidentate P,N‐ligand designed to bridge the Pd and Cu centres and thereby facilitating the rate‐determining transmetalation step. Mass spectrometry (ESI‐MS) studies support the ability of the aminopyrimidinyl phosphine to simultaneously coordinate copper and palladium.
Systematic Investigation of Reaction‐Time Dependence of Three Series of Copper–Lanthanide/Lanthanide Coordination Polymers: Syntheses, Structures, Photoluminescence, and Magnetism
Authors: Zhang Ju‐Wen , Kan Xiao‐Min , Liu Bin‐Qiu , Liu Guo‐Cheng , Tian Ai‐Xiang , Wang Xiu‐Li 
Published: September 2015

AbstractThree series of copper–lanthanide/lanthanide coordination polymers (CPs) LnIIICuIICuI(bct)3(H2O)2 [Ln=La (1), Ce (2), Pr (3), Nd (4), Sm (5), Eu (6), Gd (7), Tb (8), Dy (9), Er (10), Yb (11), and Lu (12), H2bct=2,5‐bis(carboxymethylmercapto)‐1,3,4‐thiadiazole acid], LnIIICuI(bct)2 [Ln=Ce (2 a), Pr (3 a), Nd (4 a), Sm (5 a), Eu (6 a), Gd (7 a), Tb (8 a), Dy (9 a), Er (10 a), Yb (11 a), and Lu (12 a)], and LnIII2(bct)3(H2O)5 [Ln=La (1 b), Ce (2 b), Pr (3 b), Nd (4 b), Sm (5 b), Eu (6 b), Gd (7 b), Tb (8 b), and Dy (9 b)] have been successfully constructed under hydrothermal conditions by modulating the reaction time. Structural characterization has revealed that CPs 1–12 possess a unique one‐dimensional (1D) strip‐shaped structure containing two types of double‐helical chains and a double‐helical channel. CPs 2 a–12 a show a three‐dimensional (3D) framework formed by CuI linking two types of homochiral layers with double‐helical channels. CPs 1 b–9 b exhibit a 3D framework with single‐helical channels. CPs 6 b and 8 b display visible red and green luminescence of the EuIII and TbIII ions, respectively, sensitized by the bct ligand, and microsecond‐level lifetimes. CP 8 b shows a rare magnetic transition between short‐range ferromagnetic ordering at 110 K and long‐range ferromagnetic ordering below 10 K. CPs 9 a and 9 b display field‐induced single‐chain magnet (SCM) and/or single‐molecule magnet (SMM) behaviors, with Ueff values of 51.7 and 36.5 K, respectively.
A Study of the 3,3,3‐Trinitropropyl Unit as a Potential Energetic Building Block
Authors: Axthammer Quirin J. , Krumm Burkhard , Klapötke Thomas M. , Scharf Regina 
Published: September 2015

AbstractCompared with the well‐established 2,2,2‐trinitroethyl group in the chemistry of energetic materials, the 3,3,3‐trinitropropyl group is less investigated regarding its chemical and energetic properties. Thus, investigations on the syntheses of several compounds containing the 3,3,3‐trinitropropyl group were performed and their properties compared with the 2,2,2‐trinitroethyl group. All materials were thoroughly characterized, including single‐crystal X‐ray diffraction studies. The thermal stabilities were examined using differential thermal analysis (DSC) and the sensitivities towards impact, friction, and electrostatic discharge were tested using a drop hammer, a friction tester, and an electrical discharge device. The energies of formation were calculated and several detonation parameters such as the velocity of detonation and the propulsion performance were estimated with the program package EXPLO5.
Efficient Hole Transporting Materials with Two or Four N,N‐Di(4‐methoxyphenyl)aminophenyl Arms on an Ethene Unit for Perovskite Solar Cells
Authors: Choi Hyeju , Do Kwangseok , Park Sojin , Yu Jong‐Sung , Ko Jaejung 
Published: September 2015

AbstractNovel steric bulky hole transporting materials (HTMs) with two or four N,N‐di(4‐methoxyphenyl)aminophenyl units have been synthesized. When the EtheneTTPA was used as a hole transporting material in perovskite solar cell, the power conversion efficiency afforded 12.77 % under AM 1.5 G illumination, which is comparable to the widely used spiro‐OMeTAD based solar cell (13.28 %).
ChemInform Abstract: Structure and Physical Properties of RE2AgGe3 (RE: Ce, Pr, Nd) Compounds.
Authors: Sarkar Sumanta , Mumbaraddi Dundappa , Halappa Pramod , Kalsi Deepti , Rayaprol Sudhindra , Peter Sebastian C. 
Published: September 2015

AbstractThe title compounds are prepared by repeated arc melting of the elements.
ChemInform Abstract: A New Polyborate Anion, [B7O9(OH)6]3‐: Self Assembly, XRD and Thermal Properties of s‐fac‐[Co(dien)2] [B7O9(OH)6]·9H2O.
Authors: Altahan Mohammed A. , Beckett Michael A. , Coles Simon J. , Horton Peter N. 
Published: September 2015

AbstractThe new compound s‐fac‐[Co(dien)2] [B7O9(OH)6]·9H2O (dien: HN(CH2CH2NH2)2) is prepared from an aqueous mixture of B(OH)3 and [Co(dien)2][OH]3 (obtained by anion exchange from [Co(dien)2]Cl3) in a ratio of 10:1 (room temperature, 3 h, 35% yield).
ChemInform Abstract: Organocatalytic Enantioselective Conjugate Addition of 3‐Fluorooxindoles to Vinyl Sulfone.
Authors: Kim Yi Seul , Kwon Su Jin , Kim Dae Young 
Published: September 2015

AbstractHighly efficient catalytic enantioselective conjugate addition reactions of 3‐fluorooxindoles to activated vinyl sulfone (II) is achieved using a binaphthyl‐modified bifunctional urea catalyst bearing both central and axial chiral elements.
ChemInform Abstract: Hydrogenation of Nitroarenes with Palladium Nanoparticles Stabilized by Alkyne Derivatives in Homogeneous Phase.
Authors: Arai Noriyoshi , Onodera Nozomi , Dekita Atsushi , Hori Junichi , Ohkuma Takeshi 
Published: September 2015

AbstractThe title process allows the conversion of a series of nitroarenes to the corresponding aryl amines with high chemoselectivity.
ChemInform Abstract: Reversal of Enantioselective Friedel—Crafts C3‐Alkylation of Pyrrole by Slightly Tuning the Amide Units of N,N′‐Dioxide Ligands.
Authors: Zhang Yulong , Yang Na , Liu Xiaohua , Guo Jing , Zhang Xiying , Lin Lili , Hu Changwei , Feng Xiaoming 
Published: September 2015

AbstractThe enantioselectivity of the alkylation products can be inverted by simply changing the substitution pattern at the aryl group of the chiral ligands.
ChemInform Abstract: Practical Iron‐ and Cobalt‐Catalyzed Cross‐Coupling Reactions Between N‐Heterocyclic Halides and Aryl or Heteroaryl Magnesium Reagents.
Authors: Kuzmina Olesya M. , Steib Andreas K. , Fernandez Sarah , Boudot Willy , Markiewicz John T. , Knochel Paul 
Published: September 2015

AbstractThe title reaction is applied to pyridyl, pyrimidinyl, and 1,3,5‐triazoyl halides and a variety of arylmagnesium halides.
ChemInform Abstract: Diastereoselective and Enantioselective Silylation of 2‐Arylcyclohexanols.
Authors: Wang Li , Akhani Ravish K. , Wiskur Sheryl L. 
Published: September 2015

AbstractThe kinetic resolution proceeds best in the presence of silyl chloride (II) and is selective for trans diastereomers.
ChemInform Abstract: Amine‐Promoted Asymmetric [4 + 2] Cycloadditions of α‐Acetoxymethyl Allenoate and Dual Activated Alkenes: Stereoselective Synthesis of Poly‐Substituted Cyclohexenes.
Authors: Cheng Mian , Liu Jian‐Kang , Tong Xiaofeng , Tian Ping 
Published: September 2015

AbstractThe allenic ester (I) reacts with (S)‐benzylmorpholine (BMP) to generate a chiral diene intermediate which readily undergoes Diels—Alder reactions with acrylic nitriles (II) to offer functionalized cyclohexenes (III) after hydrolytic cleavage of the chiral secondary amine auxiliary.
ChemInform Abstract: Practical Methylenation Reaction for Aldehydes and Ketones Using New Julia‐Type Reagents.
Authors: Ando Kaori , Kobayashi Takahisa , Uchida Nariaki 
Published: September 2015

AbstractNew Julia‐type reagents [e.g. (II)] are synthesized and used to prepare terminal alkenes [e.g. (III)] in high yields under mild and practical conditions.
ChemInform Abstract: FeCl3‐Catalyzed Selective Acylation of Amines with 1,3‐Diketones via C—C Bond Cleavage.
Authors: Wang Sinan , Yu Yang , Chen Xuyun , Zhu Haipan , Du Peile , Liu Guohua , Lou Liguang , Li Hao , Wang Wei 
Published: September 2015

AbstractThe acylation reaction tolerates aromatic and aliphatic amines and proceeds with high selectivity towards amines over hydroxy functionalities.
ChemInform Abstract: Synthesis of Vinyl Sulfoxides Using Sulfinyl Chlorides and Olefins.
Authors: Ding Xiancai , Wen Jianming , Wang Jianqiang , Yu Jun , Li Jing‐Hua 
Published: September 2015

AbstractDepending on the molar ratios and reaction conditions, the reaction of olefins with sulfinyl chlorides (II) or (VII) affords vinyl sulfoxides (VIII) or vinyl sulfones (III) or (V).
ChemInform Abstract: Nanoparticulate Copper(II) Oxide Catalyzed Synthesis of Guanidine Derivatives and Their Conversion into Functionalized Iminoguanidines.
Authors: Yavari Issa , Sodagar Esmat , Nematpour Manijeh , Askarian‐Amiri Mohammad 
Published: September 2015

AbstractA simple multicomponent approach for the synthesis of a novel class of iminoguanidine derivatives involving a nano‐copper(II) catalyzed tandem reaction of anilines, di(cyclo)alkylcarbodiimides, sulfonyl azides, and terminal alkynes is developed.
ChemInform Abstract: Formal Base‐Free Homolytic Aromatic Substitutions via Photoredox Catalysis.
Authors: Gomes Filipe , Narbonne Vanessa , Blanchard Florent , Maestri Giovanni , Malacria Max 
Published: September 2015

AbstractBlue LED‐induced reaction between aryldiazonium salts and arenes to biaryls proceeds with some interesting regioselective features depending on the substitution patterns of both reaction partners as well as the use of additives (e.g., K2CO3).
ChemInform Abstract: Metal‐Free Oxidative Spirocyclization of Alkynes with Sulfonylhydrazides Leading to 3‐Sulfonated Azaspiro[4,5]trienones.
Authors: Wen Jiangwei , Wei Wei , Xue Shengnan , Yang Daoshan , Lou Yu , Gao Chaoyang , Wang Hua 
Published: September 2015

AbstractThe tandem process for the preparation of the biologically important scaffolds includes sulfonylation of the alkyne substrates, ipso‐carbocyclization, dearomatization, hydration and oxidation.
ChemInform Abstract: Synthesis of Bis‐spiropyrans Based on 6,8‐Diformyl‐5,7‐dihydroxy‐4‐methylcoumarin and Photochromic Properties Thereof.
Authors: Nikolaeva Olga G. , Karlutova Olga Yu. , Cheprasov Alexander S. , Metelitsa Anatoly V. , Dorogan Igor V. , Dubonosov Alexander D. , Bren' Vladimir A. 
Published: September 2015

AbstractThe reaction of coumarin derivative (I) with indolium perchlorates of type (II) or (IV) yields bis‐spiropyrans of type (III) or the corresponding merocyanine forms of type (V).
ChemInform Abstract: Palladium—NHC Catalyzed Formation of Cyclopenta[b]benzofurans and Their Subsequent Modification.
Authors: Demerzhan Silviya , Gilbertson Scott R. 
Published: September 2015

AbstractThe transformation of recently reported cyclopenta[b]benzofurans (I), (VIII), and (XII) having bis‐esters substituted hydrazino side chains is developed to give products of type (VII), (XI) and (XIII) with potential biological activity.
ChemInform Abstract: Intramolecular Carbolithiation of Heterosubstituted Alkynes: An Experimental and Theoretical Study.
Authors: Lhermet Rudy , Ahmad Maha , Hauduc Clemence , Fressigne Catherine , Durandetti Muriel , Maddaluno Jacques 
Published: September 2015

AbstractLithiation of 2‐iodophenyl‐propargylethers (I) results in a 5‐exo‐dig cyclization to yield products (II) selectively.
ChemInform Abstract: N‐Boc‐Glycine‐Assisted Indium‐Mediated Allylation Reaction: A Sustainable Approach.
Authors: Vemula Sandeep Reddy , Kumar Dinesh , Cook Gregory R. 
Published: September 2015

AbstractAn unprecedented improvement in the reaction rate is observed during the In‐mediated allylation of isatins (I) with allyl bromide (II) in the presence of N‐Boc‐glycine.
ChemInform Abstract: A Regioselective Facile Synthesis of Furo[3,4‐b]carbazolones: Application to the Total Synthesis of Mafaicheenamine E and Claulansine D.
Authors: Mal Dipakranjan , Roy Joyeeta 
Published: September 2015

AbstractUsing a chemoselective reductive cyclization procedure, naphto[2,3‐c]furanone (V) and furo[3,4‐b]carbazolones (VIII) become accessible.
ChemInform Abstract: Synthesis of Diverse Di‐ to Penta‐Substituted 1,2‐Dihydropyridine Derivatives from Gold(I)‐Catalyzed Intramolecular Addition of Tertiary Enamides to Alkynes.
Authors: Zhang Xingyi , Xu Xin‐Ming , Zhao Liang , You Jingsong , Zhu Jieping , Wang Mei‐Xiang 
Published: September 2015

AbstractThe 6‐endo‐dig cyclization of 3‐aza‐1,5‐enynes provides a wide variety of 1,2‐dihydropyridine derivatives in high yields.
ChemInform Abstract: Asymmetric Syntheses of 3,4‐Disubstituted Tetrahydroquinoline Derivatives Using (+)‐Sparteine‐Mediated Electrophilic Substitution.
Authors: Choi Yun Soo , Kang Kyoung Hee , Park Yong Sun 
Published: September 2015

AbstractA novel methodology for the asymmetric synthesis of trans‐3,4‐diaryl‐substituted tetrahydroquinolines via sparteine‐assisted stereoselective lithiation of o‐substituted N‐pivaloylanilines (I), kinetic resolution of epoxides in substitution and a stereospecific Mitsunobu cyclization is developed.
ChemInform Abstract: Organocatalytic Asymmetric C—H Vinylation and Arylation of N‐Acyl Tetrahydroisoquinolines.
Authors: Liu Xigong , Sun Shutao , Meng Zhilin , Lou Hongxiang , Liu Lei 
Published: September 2015

AbstractThe metal‐free process can be applied to a broad spectrum of substrates to produce the target compounds with excellent enantioselectivity.
ChemInform Abstract: The Ruegheimer—Burrows Reaction Revisited: Facile Preparation of 4‐Alkylisoquinolines and 3,5‐Dialkylpyridines from (Partially) Saturated Amines.
Authors: Platonova Alena Yu. , Seidel Daniel 
Published: September 2015

AbstractReinvestigation of the title reaction reveals that benzoic acid efficiently promotes condensation of amines, such as piperidine and quinolines, with aromatic aldehydes, resulting in amine β‐functionalization and aromatization.
ChemInform Abstract: Preparation of Substituted Phenanthridines from the Coupling of Aryldiazonium Salts with Nitriles: A Metal Free Approach.
Authors: Ramanathan Mani , Liu Shiuh‐Tzung 
Published: September 2015

AbstractThe procedure can be applied to various substituted aryldiazonium tetrafluoroborates and aliphatic or aromatic nitriles.
ChemInform Abstract: Solvent‐Free Synthesis of Novel Benzodiazepine Derivatives by a Three‐Component Base‐Catalyzed Reaction of Isatoic Anhydride, a Primary Amine and Chloroacetyl Chloride.
Authors: Seydey Mohsen Khalilpour , Rezaei Zahra , Homami Seyed Saied 
Published: September 2015

AbstractPoly(dimethylaminoethyl acrylamide)‐modified magnetic iron oxide nanoparticles are used as a catalyst in a three‐component two‐step synthesis of benzodiazepine derivatives of type (IV).
ChemInform Abstract: Synthesis and Cytotoxic Activity of [Benzo[b][1,4]oxazepino[7,6,5‐de]quinolin‐2‐yl]‐1,3‐tropolones.
Authors: Bang Duong Nghia , Sayapin Yurii A. , Lam Hoang , Duc Nguyen Dang , Komissarov Vitaly N. 
Published: September 2015

AbstractThree title compounds of type (VIII) or (IX) are prepared, and the inhibitory activity of (IV) and (VIII) against epithelial and breast cancer cells is determined with (VIII) showing the best results.
ChemInform Abstract: Novel 2,6‐Disubstituted Phenylboronic Compounds — Synthesis, Crystal Structures, Solution Behavior and Reactivity.
Authors: Adamczyk‐Wozniak Agnieszka , Ejsmont Krzysztof , Gierczyk Blazej , Kaczorowska Ewa , Matuszewska Alicja , Schroeder Grzegorz , Sporzynski Andrzej , Zarychta Bartosz 
Published: September 2015

AbstractReductive cyclization of 2,6‐diformylbenzeneboronic acid gives a (hydroxymethyl)benzoxaborole.
ChemInform Abstract: Chemoselective Silylative Reduction of Conjugated Nitriles under Metal‐Free Catalytic Conditions: β‐Silyl Amines and Enamines.
Authors: Gandhamsetty Narasimhulu , Park Juhyeon , Jeong Jinseong , Park Sung‐Woo , Park Sehoon , Chang Sukbok 
Published: September 2015

AbstractIn the presence of excess diphenyl and triphenyl silane acryl nitriles are reduced to silyl amines and N‐disilyl enamines.
ChemInform Abstract: Non‐Aqueous Metathesis as a General Approach to Prepare Nanodispersed Materials: Case Study of Scheelites.
Authors: Afanasiev Pavel 
Published: September 2015

AbstractMetathesis of precursor salts in non‐aqueous liquids as a general approach to the preparation of inorganic nanoparticles is demonstrated by the synthesis of scheelites AMO4 (A: Ba, Sr, Ca; M: Mo, W).
Reuse of Air for Return Activated Sludge Pumping in Submerged Membrane Bioreactors
Authors: Starke Christina , Bérubé Pierre R. 
Published: September 2015

AbstractThe reuse of air added for gas sparging to airlift return activated sludge (RAS) in a membrane bioreactor (MBR) was investigated. Numerical modeling suggests that the RAS conveyance requirements in an MBR could be met for systems with a treatment capacity of ≤3.8 · 106 L d−1, and potentially for larger MBRs, depending on the system design (i.e., U‐shaped rather than linear systems). Pilot scale validation confirmed that airlift could be used to meet the RAS conveyance requirements. Optimal conditions were obtained for pilot scale systems with square air collectors, intermediate/large air collector angles, greater depth of submergence and individual tubing to redirect the airlifted flow. Implementation of airlift RAS conveyance in small to intermediate size MBRs can results in a reduction of approximately 20 % in operating costs.
Discovery of Quinoline‐Derived Trifluoromethyl Alcohols, Determination of Their in vivo Toxicity and Anticancer Activity in a Zebrafish Embryo Model
Authors: Sittaramane Vinoth , Padgett Jihan , Salter Philip , Williams Ashley , Luke Shauntelle , McCall Rebecca , Arambula Jonathan F. , Graves Vincent B. , Blocker Mark , Van Leuven David , Bowe Keturah , Heimberger Julia , Cade Hannah C. , Immaneni Supriya , Shaikh Abid 
Published: September 2015

AbstractIn this study the rational design, synthesis, and anticancer activity of quinoline‐derived trifluoromethyl alcohols were evaluated. Members of this novel class of trifluoromethyl alcohols were identified as potent growth inhibitors in a zebrafish embryo model. Synthesis of these compounds was carried out with an sp3‐C−H functionalization strategy of methyl quinolines with trifluoromethyl ketones. A zebrafish embryo model was also used to explore the toxicity of ethyl 4,4,4‐trifluoro‐3‐hydroxy‐3‐(quinolin‐2‐ylmethyl)butanoate (1), 2‐benzyl‐1,1,1‐trifluoro‐3‐(quinolin‐2‐yl)propan‐2‐ol (2), and trifluoro‐3‐(isoquinolin‐1‐yl)‐2‐(thiophen‐2‐yl)propan‐2‐ol (3). Compounds 2 and 3 were found to be more toxic than compound 1; apoptotic staining assays indicated that compound 3 causes increased cell death. In vitro cell proliferation assays showed that compound 2, with an LC50 value of 14.14 μm, has more potent anticancer activity than cisplatin. This novel class of inhibitors provides a new direction in the discovery of effective anticancer agents.
Application kernels: HPC resources performance monitoring and variance analysis
Authors: Simakov Nikolay A. , White Joseph P. , DeLeon Robert L. , Ghadersohi Amin , Furlani Thomas R. , Jones Matthew D. , Gallo Steven M. , Patra Abani K. 
Published: September 2015

SummaryApplication kernels are computationally lightweight benchmarks or applications run repeatedly on high performance computing (HPC) clusters in order to track the Quality of Service (QoS) provided to the users. They have been successful in detecting a variety of hardware and software issues, some severe, that have subsequently been corrected, resulting in improved system performance and throughput. In this work, the application kernels performance monitoring module of eXtreme Data Metrics on Demand (XDMoD) is described. Through the XDMoD framework, the application kernels have been run repetitively on the Texas Advanced Computing Center's Stampede and Lonestar4 clusters for a total of over 14,000 jobs. This provides a body of data on the HPC clusters operation that can be used to statistically analyze how the application performance, as measured by metrics such as execution time and communication bandwidth, is affected by the cluster's workload. We discuss metric distributions, carry out regression and correlation analyses, and use a PCA study to describe the variance and relate the variance to factors such as the spatial distribution of the application in the cluster. Ultimately, these types of analyses can be used to improve the application kernel mechanism, which in turn results in improved QoS of the HPC infrastructure that is delivered to the end users. Copyright © 2015 John Wiley & Sons, Ltd.
Distributed CTL model checking using MapReduce: theory and practice
Authors: Bellettini Carlo , Camilli Matteo , Capra Lorenzo , Monga Mattia 
Published: September 2015

SummaryThe recent extensive availability of ‘cloud’ computing platforms is very appealing for the formal verification community. In fact, these platforms represent a great opportunity to run massively parallel jobs and analyze ‘big data’ problems, although classical formal verification tools and techniques must undergo a deep technological transformation to take advantage of the available powerful architectures. A distributed approach to verification of computation tree logic formulas on very large state spaces is described. The approach exploits and integrates our parametric state–space builder, designed to ease the adoption of ‘big data’ platforms. The whole framework adopts a MAPREDUCEapproach as the core computational model and can be tailored to different modeling formalisms. This paper includes proofs of correctness, a short theoretical discussion about complexity, and reports a practical experience with some benchmarking Petri net models. The outcomes of several tests are presented, thus showing the convenience of the proposed approach. Copyright © 2015 John Wiley & Sons, Ltd.