Teaching Automated Theorem Proving by Example: PyRes 1.2: (System Description)

por Schulz, Stephan, Pease, Adam
Publicado 2020

Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings

por Galmiche, Didier, Schulz, Stephan, Sebastiani, Roberto
Publicado 2018

From π‐Bonded Gallapnictenes to Nucleophilic, Redox‐Active Metal‐Coordinated Pnictanides

por Krüger, Julia, Wölper, Christoph, Schulz, Stephan
Publicado 2020

Synthesis of distibiranes and azadistibiranes by cycloaddition reactions of distibenes with diazomethanes and azides

por Weinert, Hanns M., Wölper, Christoph, Schulz, Stephan
Publicado 2022

Simultaneous synthesis of nanodiamonds and graphene via plasma enhanced chemical vapor deposition (MW PE-CVD) on copper

por Gottlieb, Steven, Wöhrl, Nicolas, Schulz, Stephan, Buck, Volker
Publicado 2016

Synthesis and Reactivity of Heteroleptic Ga‐P‐C Allyl Cation Analogues

por Li, Bin, Wölper, Christoph, Haberhauer, Gebhard, Schulz, Stephan
Publicado 2020

Automated Crystal Structure Determination Has its Pitfalls: Correction to the Crystal Structures of Iodine Azide

por Müller, Ulrich, Ivlev, Sergei, Schulz, Stephan, Wölper, Christoph
Publicado 2021

Selective [2+1+1] Fragmentation of P(4) by heteroleptic Metallasilylenes

por Schoening, Juliane, Gehlhaar, Alexander, Wölper, Christoph, Schulz, Stephan
Publicado 2022

Multi‐Talented Gallaphosphene for Ga−P−Ga Heteroallyl Cation Generation, CO(2) Storage, and C(sp(3))−H Bond Activation

por Sharma, Mahendra K., Wölper, Christoph, Haberhauer, Gebhard, Schulz, Stephan
Publicado 2021

Reversible and Irreversible [2+2] Cycloaddition Reactions of Heteroallenes to a Gallaphosphene

por Sharma, Mahendra K., Wölper, Christoph, Haberhauer, Gebhard, Schulz, Stephan
Publicado 2021

Climate change or irrigated agriculture – what drives the water level decline of Lake Urmia

por Schulz, Stephan, Darehshouri, Sahand, Hassanzadeh, Elmira, Tajrishy, Massoud, Schüth, Christoph
Publicado 2020

Fluorinated β-diketonate complexes M(tfac)(2)(TMEDA) (M = Fe, Ni, Cu, Zn) as precursors for the MOCVD growth of metal and metal oxide thin films

por Stienen, Christian, Grahl, Julian, Wölper, Christoph, Schulz, Stephan, Bendt, Georg
Publicado 2022

Ligand Effects on the Electronic Structure of Heteroleptic Antimony‐Centered Radicals

por Helling, Christoph, Cutsail, George E., Weinert, Hanns, Wölper, Christoph, Schulz, Stephan
Publicado 2020

A Mechanistic Study on Reactions of Group 13 Diyls LM with Cp*SbX(2): From Stibanyl Radicals to Antimony Hydrides

por Helling, Christoph, Wölper, Christoph, Cutsail, George E., Haberhauer, Gebhard, Schulz, Stephan
Publicado 2020

Bis‐Phosphaketenes LM(PCO)(2) (M=Ga, In): A New Class of Reactive Group 13 Metal‐Phosphorus Compounds

por Sharma, Mahendra K., Dhawan, Pratima, Helling, Christoph, Wölper, Christoph, Schulz, Stephan
Publicado 2022

Redox Activity of Noninnocent 2,2′-Bipyridine in Zinc Complexes: An Experimental and Theoretical Study

por Li, Bin, Geoghegan, Blaise L., Wölper, Christoph, Cutsail, George E., Schulz, Stephan
Publicado 2021

Synthesis, structure and bonding nature of heavy dipnictene radical anions

por Weinert, Hanns M., Wölper, Christoph, Haak, Julia, Cutsail, George E., Schulz, Stephan
Publicado 2021

Snapshots of sequential polyphosphide rearrangement upon metallatetrylene addition

por Sun, Xiaofei, Hinz, Alexander, Schulz, Stephan, Zimmermann, Lisa, Scheer, Manfred, Roesky, Peter W.
Publicado 2023

Homoleptic and heteroleptic ketodiiminate zinc complexes for the ROP of cyclic l-lactide

por Glöckler, Eduard, Kapp, Leon, Wölper, Christoph, Schumacher, Marcel, Gröschel, André H., Schulz, Stephan
Publicado 2023

An Introduction to TTCN-3

por Willcock, Colin, Deiß, Thomas, Tobies, Stephan, Keil, Stefan, Engler, Federico, Schulz, Stephan, Wiles, Anthony
Publicado 2011