 |
Gabriel Istrate
eAustria Research Institute,
Timisoara, România
Pagina web personală:
http://gabrielistrate.weebly.com/
Trimite un email
Născut(ă) în
1970
Interese:
complexitatea calculului, metode probabiliste in analiza algoritmilor, tranzitii de faza in probleme combinatoriale, bazele matematice ale sistemelor complexe, simularea sistemelor tehnico-sociale, teoria jocurilor, metode combinatoriale si algoritmice in economie si computer networking
Detalii:
Incepand din Septembrie 2010: Universitatea Babes-Bolyai, Cluj, Romania.
Martie 2007-prezent: Cercetator stiintific, Institutul E-Austria, Timisoara, Romania, fellow Marie Curie International Reintegration grant.
Cercetator, Discrete Simulation Science group (CCS-5),Computer and Computational Sciences Division, Los Alamos National Laboratory, Mail Stop M 997, Los Alamos NM 87545. Septembrie 2001 - Februarie 2007.
Director's Fellow (cercetator postdoctoral), Los Alamos National Laboratory, (September 1999-August 2001).
Doctor in Informatica, Department of Computer Science, University of Rochester (1999). Titlul tezei: "Phase transitions in Combinatorial Search Problems. Towards rigorous results".
Licentiat in Matematica, Universitatea Bucuresti (1994)
Publicații relevante:
• Gabriel Istrate. Geometric Properties of Satisfying Assignments of random $epsilon$-1-in-k SAT. International Journal of Computer Mathematics, 86(12), pp. 2029-2039, 2009.
• Gabriel Istrate. On the dynamics of Social Balance on general networks (with an application to XOR-SAT). Fundamenta Informaticae, 91 (2), pp. 341-356, 2009.
• Allon Percus, Gabriel Istrate, Bruno Tavares Gonçalves, Robert Z. Sumi, Stefan Boettcher . The Peculiar Phase Structure of Random Graph Bisection. Journal of Mathematical Physics, 49 (12), p. 125219, 2008.
• Gabriel Istrate. Dissecting the Artificial: The Adversarial Scheduling approach to validating Game-Theoretic models and Social Simulations. In Proceedings of the Fifth Conference of the European Social Simulation Association (ESSA'08), Brescia, Italy, September 1-5. 2008.
• Gabriel Istrate. Stochastic Stability in Schelling's Segregation Model with Contagion. In 5th European Conference on Complex Systems (ECCS'08), Jerusalem, Israel, September 14-19 . 2008.
• Gabriel Istrate. Grammatical Inference and Symbolic Dynamics. In 5th European Conference on Complex Systems (ECCS'08), Jerusalem, Israel, September 14-19, 2008. 2008.
• Gabriel Istrate, Madhav V. Marathe, S. S. Ravi. Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion. In Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (eds.), Proceedings of the Fourth Computability in Europe Conference (CIE'2008), Lecture Notes in Computer Science vol. 5028, pp. 273-282. Springer Verlag, 2008.
• Anders Hansson, Gabriel Istrate. Counting preimages of TCP reordering patterns. Discrete Applied Mathematics, 156(17), pp. 3187-3193, 2008.
• Gabriel Istrate. Satisfying assignments of boolean random Constraint Satisfaction Problems: Clusters and Overlaps. Journal of Universal Computer Science, 13(11), pp. 1655-1670, 2007.
• Cristopher Moore, Gabriel Istrate, Demetrios Demopoulos and Moshe Y. Vardi. A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. Random Structures and Algorithms, 31(2), pp. 173-185, 2007.
• Gabriel Istrate, Anders Hansson, Charles D. Tallman, Leticia Cuellar-Hengartner and Nicolas Hengartner. Towards Generative Activity-based Models for Large-scale Socio-technical Simulations. In D. Sallach, C. Macal and M. North (eds.), Proceedings of The AGENT 2006 Conference " Social Agents. Results and Prospects" , ANL/DIS-06-7, ISBN 0-9679178-7-9, co-sponsored by Argonne National Laboratory and The University of Chicago. 2006.
• Gabriel Istrate, Anders Hansson and Guanhua Yan. Packet Reordering Metrics: Some Methodological Considerations. In Proceedings of the Second International Conference on Networking and Services (ICNS'06), Workshop on Internet Packet Dynamics, San Jose CA. IEEE Computer Society Press, ISBN 0-7695-2622-5, 2006.
• Anders Hansson, Gabriel Istrate and Shiva Prasad Kasiviswanathan. Combinatorics of TCP Reordering. Journal of Combinatorial Optimization, 12 (1-2), pp. 57-70, 2006.
• Gabriel Istrate, Anders Hansson, Madhav V. Marathe, Sunil Thulasidasan and Christopher L. Barrett. Semantic compression of TCP traces. In Proceedings of the IFIP NETWORKING Conference, F. Boavida et al. (editors), pp. 123-135. Lecture Notes in Computer Science, vol. 3976, Springer Verlag, 2006.
• Christopher L. Barrett, Gabriel Istrate, V. S. Anil Kumar, Madhav V. Marathe, Shripad Thite and Sunil Thulasidasan. Strong Edge Coloring for Channel Assignment in Wireless Radio Networks. In Proceedings of the Fourth IEEE International Conference on Pervasive Computing (PERCOMW'06), Workshop on Foundations and Algorithms for Wireless Networking, pp. 106-110. IEEE Computer Society Press, ISBN 0-7695-2520-2, 2006.
• Allon Percus, Gabriel Istrate and Cristopher Moore. When Statistical Physics Meets Computation. In Computational Complexity and Statistical Physics, pp. 3-30. Oxford University Press, Santa Fe Institute Lectures in the Sciences of Complexity, ISBN 019517738X, 2005.
• Allon Percus, Gabriel Istrate and Cristopher Moore (editors). Computational Complexity and Statistical Physics. Oxford University Press, Santa Fe Institute Studies in the Sciences of Complexity, ISBN 019517738X, 2005.
• Gabriel Istrate. Threshold properties of random boolean constraint satisfaction problems. Discrete Applied Mathematics, 153 (1-3), pp. 141-152, 2005.
• Gabriel Istrate, Stephan Boettcher and Allon Percus. Spines of Random Constraint Satisfaction Problems: Definition and Connection with Computational Complexity. Annals of Mathematics and Artificial Intelligence, 44 (4), pp. 353 - 372, 2005.
• Gabriel Istrate. On the satisfiability of random k-Horn formulae. In P. Winkler and J. Nesetril (eds.), " Computational Complexity and Statistical Physics" , pp. 113-136. AMS-DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 2004.
• Leslie A. Goldberg, Catherine Greenhill, Martin Dyer, Gabriel Istrate and Mark Jerrum. The convergence of the Iterated Prisoner's Dilemma game. Combinatorics, Probability and Computing, 11, pp. 135-157, 2002.
• Gabriel Istrate. The Phase Transition in Random Horn satisfiability and its algorithmic implications. Random Structures and Algorithms, vol. 20 no. 4, pp. 483-506, 2002.
• Gabriel Istrate, Madhav V. Marathe and S. S. Ravi. Adversarial models in evolutionary game dynamics. In Proceedings of the Twelfth Annual Symposium on Discrete Algorithms (SODA'01), Washington, DC, USA. 2001.
• Dimitris Achlioptas, Arthur Chtcherba, Gabriel Istrate and Cristopher Moore. The phase transition in 1-in-k SAT and NAE 3SAT. In Proceedings of the Twelfth ACM-SIAM Symposium on Discrete Algorithms (SODA'01), Washington, DC, USA. 2001.
• Gabriel Istrate. Computational Complexity and Phase Transitions. In Proceedings of the 15th I. E. E. E. Conference on Computational Complexity. 2000.
• Russell Bent, Michael Schear, Lane Hemaspaandra and Gabriel Istrate. A Note on Bounded-Weight Error-Correcting Codes. Journal of Universal Computer Science, 5 (12), pp. 817-827, 1999.
• Gabriel Istrate. The Strong Equivalence of ET0L Grammars. Information Processing Letters, 62(4), pp. 171-176, 1997.
• Gabriel Istrate. Counting, Structure Identification and Maximum Consistency for Binary Constraint Satisfaction Problems. In G. Smolka (ed.), Proceedings of the Third International Conference on Principles and Practice of Constraint Programming - CP 1997, Linz, Austria, pp. 136-149. Springer Verlag, Lecture Notes in Computer Science 1330, 1997.
• Gabriel Istrate. Sums of continuous and Darboux functions. Real Analysis Exchange, 20 (2), pp. 842-846, 1995.
• Gabriel Istrate, Gheorghe Paun. Some Combinatorial Properties of Self-reading Sequences. Discrete Applied Mathematics, 55(1), 1994.
• Gabriel Istrate. Self-reading sequences. Discrete Applied Mathematics, 50(2), 1994.
• Gabriel Istrate. On two generalizations of the Darboux property. Real Analysis Exchange, 17(2), pp. 535-544, 1992.
• Cristian Calude, Gabriel Istrate and Marius Zimand. Recursive Baire Classification and Speedable Functions. Zeitschrift fur Mathematical Logik und Grundlagen der Mathematik (now called Mathematical Logic Quarterly), 38(1), pp. 169-178, 1992.
• Cristian Calude and Gabriel Istrate. Determining and Stationary Sets for Some Classes of Partial Recursive Functions. Theoretical Computer Science, 82(1), pp. 151-155, 1991.
Înapoi
|
