Maknavicius, G.
Standard Author Listing
with: Bartoli, A.: Internet-of-Things-Based Geotechnical Monitoring Boosted ...
with: Guilhot, D.: Internet-of-Things-Based Geotechnical Monitoring Boosted ...
with: Houtepen, M.: Internet-of-Things-Based Geotechnical Monitoring Boosted...
with: Leemans, G.: Internet-of-Things-Based Geotechnical Monitoring Boosted ...
with: Martinez del Hoyo, T.: Internet-of-Things-Based Geotechnical Monitorin...
with: Metzger, J.S.: Internet-of-Things-Based Geotechnical Monitoring Booste...
with: Ramakrishnan, P.: Internet-of-Things-Based Geotechnical Monitoring Boo...
with: Salzer, J.: Internet-of-Things-Based Geotechnical Monitoring Boosted b...
8 for Maknavicius, G.
Makni, B.
Standard Author Listing
with: Abdelaziz, I.: Learning to Guide a Saturation-Based Theorem Prover
with: Austel, V.: Learning to Guide a Saturation-Based Theorem Prover
with: Cornelio, C.: Learning to Guide a Saturation-Based Theorem Prover
with: Crouse, M.: Learning to Guide a Saturation-Based Theorem Prover
with: Fokoue, A.: Learning to Guide a Saturation-Based Theorem Prover
with: Ikbal, S.: Learning to Guide a Saturation-Based Theorem Prover
with: Kapanipathi, P.: Learning to Guide a Saturation-Based Theorem Prover
with: Makondo, N.: Learning to Guide a Saturation-Based Theorem Prover
with: Srinivas, K.: Learning to Guide a Saturation-Based Theorem Prover
with: Witbrock, M.: Learning to Guide a Saturation-Based Theorem Prover
10 for Makni, B.