E-LIB Suche - Ergebnisse für: Lazăr, Bogdan

1

A Catalog of Unintended Software Dependencies in Multi-Ling..:

, In: Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice,

Groot, Tom ; Ochoa Venegas, Lina ; Lazăr, Bogdan. - p. 240-251 , 2024

2

A Catalog of Unintended Software Dependencies in Multi-Ling..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),

Groot, Tom ; Venegas, Lina Ochoa ; Lazar, Bogdan. - p. 240-251 , 2024

Link: https://doi.org/10.1145/..

3

Sliding Mode Observer Based Fuzzy Control for TS Systems:

, In: 2023 IEEE Symposium Series on Computational Intelligence (SSCI),

Lazar, Bogdan ; Lendek, Zsofia - p. 1257-1262 , 2023

Link: https://doi.org/10.1109/..

4

Observer based guaranteed cost control for time-delay TS fu..:

, In: 2022 26th International Conference on System Theory, Control and Computing (ICSTCC),

Lazar, Bogdan ; Lendek, Zsofia - p. 117-122 , 2022

Link: https://doi.org/10.1109/..

5

Verifying Correctness of Smart Contracts with Conditionals:

, In: 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain),

Alhabardi, Fahad ; Lazar, Bogdan ; Setzer, Anton - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

6

Mechanical load distribution along the main cutting edges i..:

Lazar, Mihai-Bogdan ; Xirouchakis, Paul
Journal of Materials Processing Technology. 213 (2013) 2 - p. 245-260 , 2013

Link: https://doi.org/10.1016/..

7

Experimental analysis of drilling fiber reinforced composit..:

Lazar, Mihai-Bogdan ; Xirouchakis, Paul
International Journal of Machine Tools and Manufacture. 51 (2011) 12 - p. 937-946 , 2011

Link: https://doi.org/10.1016/..

8

Verification of Bitcoin Script in Agda Using Weakest Precon..:

Alhabardi, Fahad F ; Beckmann, Arnold ; Lazar, Bogdan.
Is Part Of LIPIcs, Volume 239, 27th International Conference on Types for Proofs and Programs (TYPES 2021). , 2022

Link: https://doi.org/10.4230/..

9

Verification of Bitcoin Script in Agda using Weakest Precon..:

Alhabardi, Fahad F ; Beckmann, Arnold ; Lazar, Bogdan.
http://arxiv.org/abs/2203.03054. , 2022

Link: http://arxiv.org/abs/220..

10

ASML alignment sequence generator:

Lazar, BM Bogdan
http://repository.tue.nl/738944. , 2012

Link: http://repository.tue.nl..

11

Microstructural and Mechanical Properties Analysis of Phosp..:

Lazar, Petru ; Cimpoesu, Nicanor ; Istrate, Bogdan...
Coatings. 14 (2024) 2 - p. 182 , 2024

Link: https://doi.org/10.3390/..

12

Surgical Treatment of Lithiasis of the Main Pancreatic Duct..:

Brebu, Dan ; Prodan-Bărbulescu, Cătălin ; Braicu, Vlad...
Diseases. 12 (2024) 5 - p. 86 , 2024

Link: https://doi.org/10.3390/..

13

To What Extent Does Cardiovascular Risk Classification of P..:

Luca, Silvia Ana ; Bungau, Raluca Malina ; Lazar, Sandra..
Medicina. 60 (2024) 2 - p. 334 , 2024

Link: https://doi.org/10.3390/..

14

Pasture Access Effects on the Welfare of Dairy Cows Housed ..:

Blaga Petrean, Anamaria ; Daina, Sorana ; Borzan, Mihai...
Agriculture. 14 (2024) 2 - p. 179 , 2024

Link: https://doi.org/10.3390/..

15

Associations between Skin Autofluorescence Levels with Card..:

Reurean-Pintilei, Delia ; Pantea Stoian, Anca ; Salmen, Teodor...
Biomedicines. 12 (2024) 4 - p. 890 , 2024

Link: https://doi.org/10.3390/..