Showing 1–20 of 84 results
/ Date/ Name
Jul 30, 2016Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version)Oct 31, 2016Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space ModelingApr 4, 2019Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State SpaceApr 12, 2019Boost the Impact of Continuous Formal Verification in IndustryMar 21, 2023Some results of fixed point of non-expansive mappings on asymmetric spacesSep 12, 2012The Cayley-Dickson process for dialgebrasMar 12, 2012Spontaneous leptonic CP violation and nonzero $θ_{13}$Aug 20, 2009Constraints on leptogenesis from a symmetry viewpointMar 16, 2010Magnetized color flavor locked state and compact starsSep 10, 2008A Simple Quintessence ModelDec 8, 2020Minimal inverse-seesaw mechanism with Abelian flavour symmetriesAug 26, 2002Flavor-dependent CP violation and electroweak baryogenesis in supersymmetric theoriesFeb 4, 2002Leptogenesis, CP violation and neutrino data: What can we learn?Nov 26, 1996Behaviour of the Absorptive Part of the W Electromagnetic VertexApr 30, 1996A light stop and electroweak baryogenesisMay 8, 2003Polychromatic Grand UnificationSep 27, 1993Anyon in External Electromagnetic Field: Hamiltonian and Lagrangian FormulationsJun 5, 2024Minimal U(1) two-Higgs-doublet models for quark and lepton flavourFeb 10, 2009Anomaly-free constraints in neutrino seesaw modelsNov 20, 2019Quantum magnetic collapse of a partially bosonized npe-gas: Implications for astrophysical jets