Search Results - "LENGYEL, LÁSZLÓ"
-
1
Highly efficient thermal cyclization reactions of alkylidene esters in continuous flow to give aromatic/heteroaromatic derivatives
Published in Tetrahedron letters (15-02-2012)“…Intramolecular thermal cyclization and benzannulation reactions of the Gould–Jacobs and Conrad–Limpach types were performed in a designed continuous flow…”
Get full text
Journal Article -
2
SensorHUB: An IoT Driver Framework for Supporting Sensor Networks and Data Analysis
Published in International journal of distributed sensor networks (01-01-2015)“…The Internet of Things (IoT) is transforming the surrounding everyday physical objects into an ecosystem of information that enriches our everyday life. The…”
Get full text
Journal Article -
3
Synthesis of Condensed Heterocycles by the Gould–Jacobs Reaction in a Novel Three-Mode Pyrolysis Reactor
Published in Organic process research & development (20-03-2015)“…In the present paper we report the synthesis of condensed pyrimidone heterocycles (including novel ones) prepared by the Gould–Jacobs reaction using an…”
Get full text
Journal Article -
4
In-line particle size measurement based on image analysis in a fully continuous granule manufacturing line for rapid process understanding and development
Published in International journal of pharmaceutics (25-01-2022)“…[Display omitted] The present paper serves as a demonstration how an in-line PAT tool can be used for rapid and efficient process development in a fully…”
Get full text
Journal Article -
5
Meta3: a code generator framework for domain-specific languages
Published in Software and systems modeling (01-08-2019)“…In software development, domain-specific languages (DSLs) are often applied for specific or repetitive tasks. For executable DSLs, a model interpreter can be…”
Get full text
Journal Article -
6
Videometric mass flow control: A new method for real-time measurement and feedback control of powder micro-feeding based on image analysis
Published in International journal of pharmaceutics (30-04-2020)“…[Display omitted] The present paper reports the first monitoring and control of ultra-low dose powder feeding using a camera image-based mass flow measurement…”
Get full text
Journal Article -
7
Open issues in model transformations for multimodal applications
Published in Journal on multimodal user interfaces (01-12-2015)“…Multimodal human–computer interaction refers to the interaction with the virtual and physical environment through natural modes of communication. Multimodal…”
Get full text
Journal Article -
8
Formal specification and analysis of functional properties of graph rewriting-based model transformation
Published in Software testing, verification & reliability (01-08-2013)“…SUMMARY Model processing programs are regularly used when working with models or synthetizing the code from them; therefore, their verification has become an…”
Get full text
Journal Article -
9
Detecting subgraph isomorphism with MapReduce
Published in The Journal of supercomputing (01-05-2017)“…In recent years, the MapReduce framework has become one of the most popular parallel computing platforms for processing big data. MapReduce is used by…”
Get full text
Journal Article -
10
Test-driven verification/validation of model transformations
Published in Frontiers of information technology & electronic engineering (01-02-2015)“…Why is it important to verify/validate model transformations? The motivation is to improve the quality of the trans- formations, and therefore the quality of…”
Get full text
Journal Article -
11
Sziklakolostorok a Dnyeszter mentén. Útirajz Moldova kolostorairól - Rocky Monasteries along the Dniester
Published in Belvedere meridionale (01-03-2014)“…I would like to invite you to a short trip to a mysterious country, to the land of historical Bessarabia which is called Moldova today. We are going to visit…”
Get full text
Journal Article -
12
Az ortodox kolostor mint önfenntartó ökológiai rendszer. Élet Besszarábia szerzetesi közösségeiben - The Ortodox Monastery as a Self-sustaining Ecological System-Life in the Monastic Communities of Bessarabia
Published in Belvedere meridionale (01-03-2014)“…I have visited monasteries in Moldovaten times between 2004 and 2013. In this paper, I would like to present my experiences that I have gained there. I am…”
Get full text
Journal Article -
13
Quality Assured Model-Driven Requirements Engineering and Software Development
Published in Computer journal (01-11-2015)“…Software development requires adequate methods for requirements engineering, design, development, testing and maintenance. The more complex the system is, the…”
Get full text
Journal Article -
14
Towards Automated, Formal Verification of Model Transformations
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01-04-2010)“…Verification of models and model processing programs are inevitable in real-world model-based software development. Model transformation developers are…”
Get full text
Conference Proceeding -
15
Regioselective Catalytic Alkylation of N-Heterocycles in Continuous Flow
Published in Journal of flow chemistry (01-06-2016)“…A novel method for C—H functionalization of heteroaromatic rings by using continuous-flow reactors is reported. Direct alkylation reactions were investigated…”
Get full text
Journal Article -
16
Supporting domain-specific model patterns with metamodeling
Published in Software and systems modeling (01-09-2009)“…Metamodeling is a widely applied technique in the field of graphical languages to create highly configurable modeling environments. These environments support…”
Get full text
Journal Article -
17
Software Product Lines-based development
Published in 2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI) (01-01-2011)“…Software Product Lines enable the development of a domain-specific set of similar systems. They rely on the predictable reuse of assets and components. Systems…”
Get full text
Conference Proceeding -
18
Ensuring software quality by formal modeling
Published in 2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI) (01-01-2011)“…Software quality is always the target of disagreement between developers and users because of its subjective nature. The problem with software quality is the…”
Get full text
Conference Proceeding -
19
Towards Formal Analysis of Multi-paradigm Model Transformations
Published in Simulation (San Diego, Calif.) (01-07-2010)“…The Multi-Paradigm Modeling (MPM) approach of model-based development emphasizes the specification of a system by multiple models. We use transformations to…”
Get full text
Journal Article -
20
Stepwise aromatic nucleophilic substitution in continuous flow. Synthesis of an unsymmetrically substituted 3,5-diamino-benzonitrile library
Published in Molecular diversity (01-08-2011)“…Aromatic or heteroaromatic ring precursors with 2–3 identical functionalities are often used in sequential derivatization depending on the reactivity…”
Get full text
Journal Article