Citation Impact

Citing Papers

MulVAL: a logic-based network security analyzer
2005 Standout
The myth of language universals: Language diversity and its importance for cognitive science
2009 Standout
Direct, Atom Efficient, and Halide‐Free Syntheses of Azolium Azolate Energetic Ionic Liquids and Their Eutectic Mixtures, and Method for Determining Eutectic Composition
2008
Phloroglucinol compounds of natural origin
2006 Standout
Essential oils: their antibacterial properties and potential applications in foods—a review
2004 Standout
Ion-exchange resins: carrying drug delivery forward
2001
Resiniferatoxin, a phorbol-related diterpene, acts as an ultrapotent analog of capsaicin, the irritant constituent in red pepper
1989 Standout
Synthesis, antimicrobial and antioxidant activities of substituted pyrazoles, isoxazoles, pyrimidine and thioxopyrimidine derivatives
2009
Pharmaceutical and medicinal significance of sulfur (SVI)-Containing motifs for drug discovery: A critical review
2018 Standout
Quinoline, quinazoline and acridonealkaloids
2007 Standout
Risk assessment of the mycotoxin zearalenone
1987 Standout
Capsaicin: Identification, Nomenclature, and Pharmacotherapy
1993
Enhanced adenylate cyclase activity of turkey erythrocytes following treatment with β-adrenergic receptor antagonists
1984 StandoutNobel
Die Phloroglucide von drei Dryopteris‐Arten von den Azoren sowie zwei Arten von Madeira und den Kanarischen Inseln zum Vergleich
1975
A theory of timed automata
1994 Standout
Phytochemistry of the genus Piper
1997 Standout
Azole-Based Energetic Salts
2011 Standout
Acute effects of 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine on dopamine metabolism in mouse and rat striatum
1985 StandoutNobel
Trans‐N‐Deoxyribosylase: Purification by Affinity Chromatography and Characterization
1975
Acute toxicity of capsaicin in several animal species
1980
Effects of capsaicin on central monoaminergic mechanisms in the rat
1986 StandoutNobel
Total Synthesis of α-Pyrone Meroterpenoids, Novel Bioactive Microbial Metabolites
2005 StandoutNobel
Needle volatiles from five Pinus species growing in Greece
2001
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
2007 Standout
The analysis of essential oils and extracts (oleoresins) from seasonings ‐ A critical review
1977
Symbolic model checking: 1020 States and beyond
1992 Standout
Proving is convincing and explaining
1993 Standout
Use of clays as drug delivery systems: Possibilities and limitations
2006 Standout
The synthesis of macrocyclic lactones
1977 Standout
Studien zum Vorgang der Wasserstoffübertragung, XII: Hydrierende Spaltung von Sulfonen mit Tetramethylammonium als Elektronenüberträger
1965
Structure revision of a minor alkaloid from Broussonetia zeylanica
1990
Vanilloid (Capsaicin) Receptors and Mechanisms
1999 Standout
A Formal [3 + 3] Cycloaddition Approach to Natural‐Product Synthesis
2004
Aural Pattern Recognition Experiments and the Subregular Hierarchy
2011
Collaboration Processes: Inside the Black Box
2006 Standout
Complexity and expressive power of logic programming
2001
Plant Products as Antimicrobial Agents
1999 Standout
Comparative evaluation of 11 essential oils of different origin as functional antioxidants, antiradicals and antimicrobials in foods
2004 Standout
The model checker SPIN
1997 Standout
Neurochemical and behavioral effects of systematic and intranigral administration of N-methyl-4-phenyl-1,2,3,6-tetrahydropyridine in the rat
1984
Theories of automata on ω-tapes: A simplified approach
1974
Synthetic Organic Electrochemical Methods Since 2000: On the Verge of a Renaissance
2017 Standout
Cinnamylidenbutenolide aus Piper sanctum
1971
Survey on IoT security: Challenges and solution using machine learning, artificial intelligence and blockchain technology
2020 Standout
Properties and Synthetic Utility ofN-Substituted Benzotriazoles
1998 Standout
Measurement of hydrophobicity, surface activity, local anaesthesia, and myocardial conduction velocity as quantitative parameters of the non-specific membrane affinity of nine ?-adrenergic blocking agents
1973
Mathematical models for cellular interactions in development I. Filaments with one-sided inputs
1968 Standout
Convenient procedure for the reduction of β-enamino ketones: synthesis of γ-amino alcohols and tetrahydro-1,3-oxazines
1994
DNA N-glycosidases: properties of uracil-DNA glycosidase from Escherichia coli.
1977 StandoutNobel
Antinutritional factors present in plant-derived alternate fish feed ingredients and their effects in fish
2001 Standout
Methods for the automatic construction of error correcting parsers
1980
Capsaicin — A Literature Survey
1982
Total synthesis of (±)-decaline
1973
Potential Value of Plants as Sources of New Antifertility Agents II *
1975
Computational techniques for the verification of hybrid systems
2003
Blockchain based permission delegation and access control in Internet of Things (BACI)
2019
Etude dans la serie des organosilylazoles
1980
A Partial Approach to Model Checking
1994
The Vinylogous Aldol Reaction:  A Valuable, Yet Understated Carbon−Carbon Bond-Forming Maneuver
2000 Standout
Mathematics and Computer Science: Coping with Finiteness
1976 Science
Trispara‐aspidin, ein neues Phloroglucid aus dem Farn Dryopteris remota (A. Br.) Hayek
1970
Algorithmically unsolvable problems for a cell automaton
1965
Recent developments in the chemistry of enaminones
2003 Standout
A new acylphloroglucinol from Dryopteris dickinsii
1972

Works of J Büchi being referenced

[Sulfones with hypnotic and analgesic action].
1954
[Chemical constitution, chemical reactivity and effect of various homologues of the local anesthetic series].
1967
Synthese und pharmakologische Wirkung einiger Homologen der Isopelletierine
1962
Regular canonical systems
1964
Ion Exchange: Technical Applications of Ion Exchange
1956
Die Konstitution des Jamaicins
1958
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35.
1964
Weak Second‐Order Arithmetic and Finite Automata
1960
Dünnschicht- und säulenchromatographische trennung der capsaicinoide aus der droge
1973
Synthese und pharmakologische Wirkung einiger Pyrazolone und Pyrazole
1955
2. Mitt. studien über die inhaltsstoffe von capsicum quantitative gaschromatographische bestimmung einzelner homologe und analoge von capsaicinoid-gemischen natürlicher herkunft und des pelargonsäurevanillylamids als verfälschung
1971
Decision methods in the theory of ordinals
1965
Solving sequential conditions by finite-state strategies
1969
Über die Inhaltsstoffe von Piscidia eryfhrina L
1957
Synthese und pharmakologische Wirkung einiger Thiosemicarbazone von 8‐Hydroxychinolin‐Derivaten
1956
Synthèse et action de quelques anesthésiques locaux dérivés de la procaïne
1960
Composition of gum turpentines of pinus halepensis and pinus brutia grown in greece
1964
[Gas chromatographic separation of natural capsacinoid mixture and identification using mass and NMR spectrum analysis. 1. Substances of Capsicum].
1972
Über Farn‐Inhaltsstoffe. II. Mitteilung. Über Inhaltsstoffe von Dryopteris austriaca (Jacq.) Woynar. Isolierung von Desaspidin
1957
Turing-machines and the Entscheidungsproblem
1962
[Research on a reference substance for determination of melting temperature after Ph. Helv. VI and Ph. Eur. I. 1. General information on crystals, melting and definition of melting point].
1974
Über neue 3,5‐Dioxo‐pyrazolidine
1953
Über Farn‐Inhaltsstoffe III. Die Struktur von Aspidin
1957
Synthese und analgetische Wirkung einiger 1‐Methyl‐4‐phenyl‐piperidin‐(4)‐alkylsulfone. 1. Mitteilung
1952
Rankless by CCL
2026